Class RelationalQuery

java.lang.Object

tools.refinery.logic.dnf.Query<Boolean>

tools.refinery.logic.dnf.RelationalQuery

All Implemented Interfaces:

AnyQuery

public final class RelationalQuery
extends Query<Boolean>

Method Summary

Modifier and Type	Method	Description
int	arity()
CallLiteral	call(CallPolarity polarity, List<NodeVariable> arguments)
CallLiteral	call(CallPolarity polarity, NodeVariable... arguments)
CallLiteral	call(NodeVariable... arguments)
CallLiteral	callTransitive(NodeVariable left, NodeVariable right)
Term<Integer>	count(List<NodeVariable> arguments)
Term<Integer>	count(NodeVariable... arguments)
Boolean	defaultValue()
Class<Boolean>	valueType()
RelationalQuery	withDnf(Dnf newDnf)
protected RelationalQuery	withDnfInternal(Dnf newDnf)

Methods inherited from class Query

builder, builder, equals, getDnf, hashCode, name, of, of, of, of, of, of, of, of, of, of, of, of, of, of, of, of, of, of, of, of, toString

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Details

arity

public int arity()

valueType

public Class<Boolean> valueType()

Specified by:

valueType in interface AnyQuery

Specified by:

valueType in class Query<Boolean>

defaultValue

public Boolean defaultValue()

Specified by:

defaultValue in class Query<Boolean>

withDnfInternal

protected RelationalQuery withDnfInternal(Dnf newDnf)

Specified by:

withDnfInternal in class Query<Boolean>

withDnf

public RelationalQuery withDnf(Dnf newDnf)

Overrides:

withDnf in class Query<Boolean>

call

public CallLiteral call(CallPolarity polarity,
 List<NodeVariable> arguments)

call

public CallLiteral call(CallPolarity polarity,
 NodeVariable... arguments)

call

public CallLiteral call(NodeVariable... arguments)

callTransitive

public CallLiteral callTransitive(NodeVariable left,
 NodeVariable right)

count

public Term<Integer> count(List<NodeVariable> arguments)

count

public Term<Integer> count(NodeVariable... arguments)