Package tools.refinery.logic.literal
Class AggregationLiteral<R,T>
java.lang.Object
tools.refinery.logic.literal.AbstractLiteral
tools.refinery.logic.literal.AbstractCallLiteral
tools.refinery.logic.literal.AggregationLiteral<R,T>
- All Implemented Interfaces:
Literal
-
Constructor Summary
ConstructorDescriptionAggregationLiteral
(DataVariable<R> resultVariable, Aggregator<R, T> aggregator, DataVariable<T> inputVariable, Constraint target, List<Variable> arguments) -
Method Summary
Modifier and TypeMethodDescriptionprotected Literal
doSubstitute
(Substitution substitution, List<Variable> substitutedArguments) boolean
equalsWithSubstitution
(LiteralEqualityHelper helper, Literal other) Aggregator
<R, T> getInputVariables
(Set<? extends Variable> positiveVariablesInClause) int
reduce()
toString()
withArguments
(Constraint newTarget, List<Variable> newArguments) Methods inherited from class tools.refinery.logic.literal.AbstractCallLiteral
getArguments, getArgumentsOfDirection, getPrivateVariables, getTarget, substitute, withTarget
Methods inherited from class tools.refinery.logic.literal.AbstractLiteral
equals, hashCode
-
Constructor Details
-
AggregationLiteral
public AggregationLiteral(DataVariable<R> resultVariable, Aggregator<R, T> aggregator, DataVariable<T> inputVariable, Constraint target, List<Variable> arguments)
-
-
Method Details
-
getResultVariable
-
getInputVariable
-
getAggregator
-
getOutputVariables
-
getInputVariables
- Specified by:
getInputVariables
in interfaceLiteral
- Overrides:
getInputVariables
in classAbstractCallLiteral
-
reduce
-
doSubstitute
- Specified by:
doSubstitute
in classAbstractCallLiteral
-
withArguments
- Specified by:
withArguments
in classAbstractCallLiteral
-
equalsWithSubstitution
- Specified by:
equalsWithSubstitution
in interfaceLiteral
- Overrides:
equalsWithSubstitution
in classAbstractCallLiteral
-
hashCodeWithSubstitution
- Specified by:
hashCodeWithSubstitution
in interfaceLiteral
- Overrides:
hashCodeWithSubstitution
in classAbstractCallLiteral
-
toString
-