Package tools.refinery.logic.dnf
Class RelationalQuery
- All Implemented Interfaces:
AnyQuery
-
Method Summary
Modifier and TypeMethodDescriptionint
arity()
call
(CallPolarity polarity, List<NodeVariable> arguments) call
(CallPolarity polarity, NodeVariable... arguments) call
(NodeVariable... arguments) callTransitive
(NodeVariable left, NodeVariable right) count
(List<NodeVariable> arguments) count
(NodeVariable... arguments) protected RelationalQuery
withDnfInternal
(Dnf newDnf)
-
Method Details
-
arity
public int arity() -
valueType
-
defaultValue
- Specified by:
defaultValue
in classQuery<Boolean>
-
withDnfInternal
- Specified by:
withDnfInternal
in classQuery<Boolean>
-
withDnf
-
call
-
call
-
call
-
callTransitive
-
count
-
count
-