Package tools.refinery.logic
Interface Constraint
- All Known Implementing Classes:
Dnf
public interface Constraint
-
Method Summary
Modifier and TypeMethodDescriptiondefault <R,
T> AssignedValue <R> aggregateBy
(DataVariable<T> inputVariable, Aggregator<R, T> aggregator, List<Variable> arguments) default <R,
T> AssignedValue <R> aggregateBy
(DataVariable<T> inputVariable, Aggregator<R, T> aggregator, Variable... arguments) default int
arity()
default CallLiteral
call
(CallPolarity polarity, List<Variable> arguments) default CallLiteral
call
(CallPolarity polarity, Variable... arguments) default CallLiteral
default CallLiteral
callTransitive
(NodeVariable left, NodeVariable right) default AssignedValue
<Integer> default AssignedValue
<Integer> default boolean
equals
(LiteralEqualityHelper helper, Constraint other) default Reduction
default boolean
invalidIndex
(int i) default <T> AssignedValue
<T> leftJoinBy
(DataVariable<T> placeholderVariable, T defaultValue, List<Variable> arguments) default <T> AssignedValue
<T> leftJoinBy
(DataVariable<T> inputVariable, T defaultValue, Variable... arguments) name()
default String
-
Method Details
-
name
String name() -
getParameters
-
arity
default int arity() -
invalidIndex
default boolean invalidIndex(int i) -
getReduction
-
equals
-
toReferenceString
-
call
-
call
-
call
-
callTransitive
-
count
-
count
-
aggregateBy
default <R,T> AssignedValue<R> aggregateBy(DataVariable<T> inputVariable, Aggregator<R, T> aggregator, List<Variable> arguments) -
aggregateBy
default <R,T> AssignedValue<R> aggregateBy(DataVariable<T> inputVariable, Aggregator<R, T> aggregator, Variable... arguments) -
leftJoinBy
default <T> AssignedValue<T> leftJoinBy(DataVariable<T> placeholderVariable, T defaultValue, List<Variable> arguments) -
leftJoinBy
default <T> AssignedValue<T> leftJoinBy(DataVariable<T> inputVariable, T defaultValue, Variable... arguments)
-