Package tools.refinery.logic.literal

Class AssignLiteral<T>

java.lang.Object

tools.refinery.logic.literal.AbstractLiteral

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

All Implemented Interfaces:

Literal

public class AssignLiteral<T>
extends AbstractLiteral

Constructor Summary

Constructors

Constructor	Description
AssignLiteral(DataVariable<T> variable, Term<T> term)

Method Summary

Modifier and Type	Method	Description
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, Literal other)
Set<Variable>	getInputVariables(Set<? extends Variable> positiveVariablesInClause)
Set<Variable>	getOutputVariables()
Set<Variable>	getPrivateVariables(Set<? extends Variable> positiveVariablesInClause)
Term<T>	getTerm()
DataVariable<T>	getVariable()
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)
Literal	substitute(Substitution substitution)
String	toString()

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

Methods inherited from interface tools.refinery.logic.literal.Literal

reduce

Constructor Details

AssignLiteral

public AssignLiteral(DataVariable<T> variable,
 Term<T> term)

Method Details

getVariable

public DataVariable<T> getVariable()

getTerm

public Term<T> getTerm()

getOutputVariables

public Set<Variable> getOutputVariables()

getInputVariables

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

getPrivateVariables

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

substitute

public Literal substitute(Substitution substitution)

equalsWithSubstitution

public boolean equalsWithSubstitution(LiteralEqualityHelper helper,
 Literal other)

Specified by:

equalsWithSubstitution in interface Literal

Overrides:

equalsWithSubstitution in class AbstractLiteral

hashCodeWithSubstitution

public int hashCodeWithSubstitution(LiteralHashCodeHelper helper)

Specified by:

hashCodeWithSubstitution in interface Literal

Overrides:

hashCodeWithSubstitution in class AbstractLiteral

toString

public String toString()

Overrides:

toString in class Object