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

public class AggregationLiteral<R,T>
extends AbstractCallLiteral

Constructor Summary

Constructors

Constructor	Description
AggregationLiteral(DataVariable<R> resultVariable, Aggregator<R,T> aggregator, DataVariable<T> inputVariable, Constraint target, List<Variable> arguments)

Method Summary

Modifier and Type	Method	Description
protected Literal	doSubstitute(Substitution substitution, List<Variable> substitutedArguments)
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, Literal other)
Aggregator<R,T>	getAggregator()
DataVariable<T>	getInputVariable()
Set<Variable>	getInputVariables(Set<? extends Variable> positiveVariablesInClause)
Set<Variable>	getOutputVariables()
DataVariable<R>	getResultVariable()
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)
Literal	reduce()
String	toString()
AbstractCallLiteral	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

Methods inherited from class java.lang.Object

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

Constructor Details

AggregationLiteral

public AggregationLiteral(DataVariable<R> resultVariable,
 Aggregator<R,T> aggregator,
 DataVariable<T> inputVariable,
 Constraint target,
 List<Variable> arguments)

Method Details

getResultVariable

public DataVariable<R> getResultVariable()

getInputVariable

public DataVariable<T> getInputVariable()

getAggregator

public Aggregator<R,T> getAggregator()

getOutputVariables

public Set<Variable> getOutputVariables()

getInputVariables

public Set<Variable> getInputVariables(Set<? extends Variable> positiveVariablesInClause)

Specified by:

getInputVariables in interface Literal

Overrides:

getInputVariables in class AbstractCallLiteral

reduce

public Literal reduce()

doSubstitute

protected Literal doSubstitute(Substitution substitution,
 List<Variable> substitutedArguments)

Specified by:

doSubstitute in class AbstractCallLiteral

withArguments

public AbstractCallLiteral withArguments(Constraint newTarget,
 List<Variable> newArguments)

Specified by:

withArguments in class AbstractCallLiteral

equalsWithSubstitution

public boolean equalsWithSubstitution(LiteralEqualityHelper helper,
 Literal other)

Specified by:

equalsWithSubstitution in interface Literal

Overrides:

equalsWithSubstitution in class AbstractCallLiteral

hashCodeWithSubstitution

public int hashCodeWithSubstitution(LiteralHashCodeHelper helper)

Specified by:

hashCodeWithSubstitution in interface Literal

Overrides:

hashCodeWithSubstitution in class AbstractCallLiteral

toString

public String toString()

Overrides:

toString in class Object