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, TermLiteral<T>

public class AssignLiteral<T>
extends AbstractLiteral
implements TermLiteral<T>

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()
AssignLiteral<T>	withTerm(Term<T> term)

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()

Specified by:

getTerm in interface TermLiteral<T>

withTerm

public AssignLiteral<T> withTerm(Term<T> term)

Specified by:

withTerm in interface TermLiteral<T>

getOutputVariables

public Set<Variable> getOutputVariables()

Specified by:

getOutputVariables in interface Literal

getInputVariables

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

Specified by:

getInputVariables in interface Literal

getPrivateVariables

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

Specified by:

getPrivateVariables in interface Literal

substitute

public Literal substitute(Substitution substitution)

Specified by:

substitute in interface Literal

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