Class PartialAggregationTerm<A extends AbstractValue<A,C>, C, A2 extends AbstractValue<A2,C2>, C2>

java.lang.Object

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

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

tools.refinery.store.reasoning.literal.PartialCallTerm<A>

tools.refinery.store.reasoning.literal.PartialAggregationTerm<A,C,A2,C2>

All Implemented Interfaces:

AnyTerm, Term<A>, PartialTerm<A>

public class PartialAggregationTerm<A extends AbstractValue<A,C>, C, A2 extends AbstractValue<A2,C2>, C2>
extends PartialCallTerm<A>

Constructor Summary

Constructors

Constructor	Description
PartialAggregationTerm(PartialAggregator<A,C,A2,C2> aggregator, Constraint target, List<Variable> arguments, Term<A2> body)

Method Summary

Modifier and Type	Method	Description
protected Term<A>	doSubstitute(Substitution substitution, List<Variable> substitutedArguments)
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, AnyTerm other)
PartialAggregator<A,C,A2,C2>	getAggregator()
Term<A2>	getBody()
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)
Term<A>	rewriteSubTerms(TermRewriter termRewriter)
Term<A>	substitute(Substitution substitution)
String	toString()
Term<A>	withArguments(Constraint newTarget, List<Variable> newArguments)
Term<A>	withBody(Term<A2> newBody)

Methods inherited from class PartialCallTerm

getConcreteness, orElseConcreteness

Methods inherited from class AbstractCallTerm

evaluate, getArguments, getArgumentsOfDirection, getInputVariables, getPrivateVariables, getTarget, getVariables, withTarget

Methods inherited from class AbstractTerm

equals, getType, hashCode

Methods inherited from class Object

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

Methods inherited from interface AnyTerm

asType, getInputVariables, getPrivateVariables, getVariables

Methods inherited from interface Term

evaluate, getType, reduce

Constructor Details

PartialAggregationTerm

public PartialAggregationTerm(PartialAggregator<A,C,A2,C2> aggregator,
 Constraint target,
 List<Variable> arguments,
 Term<A2> body)

Method Details

getAggregator

public PartialAggregator<A,C,A2,C2> getAggregator()

getBody

public Term<A2> getBody()

doSubstitute

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

Specified by:

doSubstitute in class AbstractCallTerm<A extends AbstractValue<A,C>>

withArguments

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

Specified by:

withArguments in class AbstractCallTerm<A extends AbstractValue<A,C>>

equalsWithSubstitution

public boolean equalsWithSubstitution(LiteralEqualityHelper helper,
 AnyTerm other)

Specified by:

equalsWithSubstitution in interface AnyTerm

Overrides:

equalsWithSubstitution in class AbstractCallTerm<A extends AbstractValue<A,C>>

hashCodeWithSubstitution

public int hashCodeWithSubstitution(LiteralHashCodeHelper helper)

Specified by:

hashCodeWithSubstitution in interface AnyTerm

Overrides:

hashCodeWithSubstitution in class AbstractCallTerm<A extends AbstractValue<A,C>>

rewriteSubTerms

public Term<A> rewriteSubTerms(TermRewriter termRewriter)

Specified by:

rewriteSubTerms in interface AnyTerm

Specified by:

rewriteSubTerms in interface Term<A extends AbstractValue<A,C>>

Overrides:

rewriteSubTerms in class AbstractCallTerm<A extends AbstractValue<A,C>>

substitute

public Term<A> substitute(Substitution substitution)

Specified by:

substitute in interface AnyTerm

Specified by:

substitute in interface Term<A extends AbstractValue<A,C>>

Overrides:

substitute in class AbstractCallTerm<A extends AbstractValue<A,C>>

withBody

public Term<A> withBody(Term<A2> newBody)

toString

public String toString()

Overrides:

toString in class Object