Package tools.refinery.logic.term

Class LeftJoinTerm<T>

java.lang.Object

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

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

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

All Implemented Interfaces:

AnyTerm, Term<T>

public class LeftJoinTerm<T>
extends AbstractCallTerm<T>

Constructor Summary

Constructors

Constructor	Description
LeftJoinTerm(DataVariable<T> placeholderVariable, T defaultValue, Constraint target, List<Variable> arguments)

Method Summary

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

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

evaluate, getArguments, getArgumentsOfDirection, 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

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

asType

Constructor Details

LeftJoinTerm

public LeftJoinTerm(DataVariable<T> placeholderVariable,
 T defaultValue,
 Constraint target,
 List<Variable> arguments)

Method Details

getPlaceholderVariable

public DataVariable<T> getPlaceholderVariable()

getDefaultValue

public T getDefaultValue()

doSubstitute

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

Specified by:

doSubstitute in class AbstractCallTerm<T>

reduce

public Term<T> reduce()

withArguments

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

Specified by:

withArguments in class AbstractCallTerm<T>

getInputVariables

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

Specified by:

getInputVariables in interface AnyTerm

Overrides:

getInputVariables in class AbstractCallTerm<T>

getPrivateVariables

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

Specified by:

getPrivateVariables in interface AnyTerm

Overrides:

getPrivateVariables in class AbstractCallTerm<T>

equalsWithSubstitution

public boolean equalsWithSubstitution(LiteralEqualityHelper helper,
 AnyTerm other)

Specified by:

equalsWithSubstitution in interface AnyTerm

Overrides:

equalsWithSubstitution in class AbstractCallTerm<T>

hashCodeWithSubstitution

public int hashCodeWithSubstitution(LiteralHashCodeHelper helper)

Specified by:

hashCodeWithSubstitution in interface AnyTerm

Overrides:

hashCodeWithSubstitution in class AbstractCallTerm<T>

toString

public String toString()

Overrides:

toString in class Object