Package tools.refinery.logic

Interface Constraint

All Known Implementing Classes:

Dnf

public interface Constraint

Method Summary

Modifier and Type	Method	Description
default <R, T> Term<R>	aggregateBy(DataVariable<T> inputVariable, Aggregator<R,T> aggregator, List<Variable> arguments)
default <R, T> Term<R>	aggregateBy(DataVariable<T> inputVariable, Aggregator<R,T> aggregator, Variable... arguments)
default int	arity()
default CallLiteral	call(CallPolarity polarity, List<? extends Variable> arguments)
default CallLiteral	call(CallPolarity polarity, Variable... arguments)
default CallLiteral	call(Variable... arguments)
default CallLiteral	callTransitive(NodeVariable left, NodeVariable right)
default Term<Integer>	count(List<Variable> arguments)
default Term<Integer>	count(Variable... arguments)
default boolean	equals(LiteralEqualityHelper helper, Constraint other)
List<Parameter>	getParameters()
default Reduction	getReduction()
default boolean	invalidIndex(int i)
default <T> Term<T>	leftJoinBy(DataVariable<T> placeholderVariable, T defaultValue, List<Variable> arguments)
default <T> Term<T>	leftJoinBy(DataVariable<T> inputVariable, T defaultValue, Variable... arguments)
String	name()
default String	toReferenceString()

Method Details

name

String name()

getParameters

List<Parameter> getParameters()

arity

default int arity()

invalidIndex

default boolean invalidIndex(int i)

getReduction

default Reduction getReduction()

equals

default boolean equals(LiteralEqualityHelper helper,
 Constraint other)

toReferenceString

default String toReferenceString()

call

default CallLiteral call(CallPolarity polarity,
 List<? extends Variable> arguments)

call

default CallLiteral call(CallPolarity polarity,
 Variable... arguments)

call

default CallLiteral call(Variable... arguments)

callTransitive

default CallLiteral callTransitive(NodeVariable left,
 NodeVariable right)

count

default Term<Integer> count(List<Variable> arguments)

count

default Term<Integer> count(Variable... arguments)

aggregateBy

default <R,
T> Term<R> aggregateBy(DataVariable<T> inputVariable,
 Aggregator<R,T> aggregator,
 List<Variable> arguments)

aggregateBy

default <R,
T> Term<R> aggregateBy(DataVariable<T> inputVariable,
 Aggregator<R,T> aggregator,
 Variable... arguments)

leftJoinBy

default <T> Term<T> leftJoinBy(DataVariable<T> placeholderVariable,
 T defaultValue,
 List<Variable> arguments)

leftJoinBy

default <T> Term<T> leftJoinBy(DataVariable<T> inputVariable,
 T defaultValue,
 Variable... arguments)