Package tools.refinery.logic.literal

Class LeftJoinLiteral<T>

java.lang.Object

tools.refinery.logic.literal.AbstractLiteral

tools.refinery.logic.literal.AbstractCallLiteral

tools.refinery.logic.literal.LeftJoinLiteral<T>

All Implemented Interfaces:

Literal

public class LeftJoinLiteral<T>
extends AbstractCallLiteral

Constructor Summary

Constructors

Constructor	Description
LeftJoinLiteral(DataVariable<T> resultVariable, DataVariable<T> placeholderVariable, T defaultValue, 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)
T	getDefaultValue()
Set<Variable>	getInputVariables(Set<? extends Variable> positiveVariablesInClause)
Set<Variable>	getOutputVariables()
DataVariable<T>	getPlaceholderVariable()
Set<Variable>	getPrivateVariables(Set<? extends Variable> positiveVariablesInClause)
DataVariable<T>	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, 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

LeftJoinLiteral

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

Method Details

getResultVariable

public DataVariable<T> getResultVariable()

getPlaceholderVariable

public DataVariable<T> getPlaceholderVariable()

getDefaultValue

public T getDefaultValue()

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

getPrivateVariables

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

Specified by:

getPrivateVariables in interface Literal

Overrides:

getPrivateVariables 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