Package tools.refinery.logic.term

Class AggregationTerm<R,T>

java.lang.Object

tools.refinery.logic.term.AbstractTerm<R>

tools.refinery.logic.term.AbstractCallTerm<R>

tools.refinery.logic.term.AggregationTerm<R,T>

All Implemented Interfaces:

AnyTerm, Term<R>

public class AggregationTerm<R,T>
extends AbstractCallTerm<R>

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
protected Term<R>	doSubstitute(Substitution substitution, List<Variable> substitutedArguments)
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, AnyTerm other)
Aggregator<R,T>	getAggregator()
DataVariable<T>	getInputVariable()
Set<Variable>	getInputVariables(Set<? extends Variable> positiveVariablesInClause)
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)
Term<R>	reduce()
String	toString()
Term<R>	withArguments(Constraint newTarget, List<Variable> newArguments)

Methods inherited from class tools.refinery.logic.term.AbstractCallTerm

evaluate, getArguments, getArgumentsOfDirection, getPrivateVariables, getTarget, getVariables, rewriteSubTerms, substitute, withTarget

Methods inherited from class tools.refinery.logic.term.AbstractTerm

equals, getType, hashCode

Methods inherited from class java.lang.Object

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

Constructor Details

AggregationTerm

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

Method Details

getInputVariable

public DataVariable<T> getInputVariable()

getAggregator

public Aggregator<R,T> getAggregator()

doSubstitute

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

Specified by:

doSubstitute in class AbstractCallTerm<R>

withArguments

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

Specified by:

withArguments in class AbstractCallTerm<R>

reduce

public Term<R> reduce()

getInputVariables

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

Specified by:

getInputVariables in interface AnyTerm

Overrides:

getInputVariables in class AbstractCallTerm<R>

equalsWithSubstitution

public boolean equalsWithSubstitution(LiteralEqualityHelper helper,
 AnyTerm other)

Specified by:

equalsWithSubstitution in interface AnyTerm

Overrides:

equalsWithSubstitution in class AbstractCallTerm<R>

hashCodeWithSubstitution

public int hashCodeWithSubstitution(LiteralHashCodeHelper helper)

Specified by:

hashCodeWithSubstitution in interface AnyTerm

Overrides:

hashCodeWithSubstitution in class AbstractCallTerm<R>

toString

public String toString()

Overrides:

toString in class Object