Package tools.refinery.logic.term

Class AbstractCallTerm<T>

java.lang.Object

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

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

All Implemented Interfaces:

AnyTerm, Term<T>

Direct Known Subclasses:

AggregationTerm, CountTerm, LeftJoinTerm

public abstract class AbstractCallTerm<T>
extends AbstractTerm<T>

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AbstractCallTerm(Class<T> type, Constraint target, List<Variable> arguments)

Method Summary

Modifier and Type	Method	Description
protected abstract Term<T>	doSubstitute(Substitution substitution, List<Variable> substitutedArguments)
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, AnyTerm other)
T	evaluate(Valuation valuation)
List<Variable>	getArguments()
protected Set<Variable>	getArgumentsOfDirection(ParameterDirection direction)
Set<Variable>	getInputVariables(Set<? extends Variable> positiveVariablesInClause)
Set<Variable>	getPrivateVariables(Set<? extends Variable> positiveVariablesInClause)
Constraint	getTarget()
Set<Variable>	getVariables()
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)
Term<T>	rewriteSubTerms(TermRewriter termRewriter)
Term<T>	substitute(Substitution substitution)
abstract Term<T>	withArguments(Constraint newTarget, List<Variable> newArguments)
Term<T>	withTarget(Constraint newTarget)

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

equals, getType, hashCode

Methods inherited from class java.lang.Object

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

Methods inherited from interface tools.refinery.logic.term.AnyTerm

asType

Methods inherited from interface tools.refinery.logic.term.Term

reduce

Constructor Details

AbstractCallTerm

protected AbstractCallTerm(Class<T> type,
 Constraint target,
 List<Variable> arguments)

Method Details

getTarget

public Constraint getTarget()

getArguments

public List<Variable> getArguments()

getArgumentsOfDirection

protected Set<Variable> getArgumentsOfDirection(ParameterDirection direction)

evaluate

public T evaluate(Valuation valuation)

rewriteSubTerms

public Term<T> rewriteSubTerms(TermRewriter termRewriter)

substitute

public Term<T> substitute(Substitution substitution)

doSubstitute

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

withTarget

public Term<T> withTarget(Constraint newTarget)

withArguments

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

getVariables

public Set<Variable> getVariables()

getInputVariables

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

getPrivateVariables

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

equalsWithSubstitution

public boolean equalsWithSubstitution(LiteralEqualityHelper helper,
 AnyTerm other)

Specified by:

equalsWithSubstitution in interface AnyTerm

Overrides:

equalsWithSubstitution in class AbstractTerm<T>

hashCodeWithSubstitution

public int hashCodeWithSubstitution(LiteralHashCodeHelper helper)

Specified by:

hashCodeWithSubstitution in interface AnyTerm

Overrides:

hashCodeWithSubstitution in class AbstractTerm<T>