Package tools.refinery.logic.literal

Class EquivalenceLiteral

java.lang.Object

tools.refinery.logic.literal.AbstractLiteral

tools.refinery.logic.literal.EquivalenceLiteral

All Implemented Interfaces:

CanNegate<EquivalenceLiteral>, Literal

public final class EquivalenceLiteral
extends AbstractLiteral
implements CanNegate<EquivalenceLiteral>

Constructor Summary

Constructors

Constructor	Description
EquivalenceLiteral(boolean positive, Variable left, Variable right)

Method Summary

Modifier and Type	Method	Description
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, Literal other)
Set<Variable>	getInputVariables(Set<? extends Variable> positiveVariablesInClause)
Variable	getLeft()
Set<Variable>	getOutputVariables()
Set<Variable>	getPrivateVariables(Set<? extends Variable> positiveVariablesInClause)
Variable	getRight()
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)
boolean	isPositive()
EquivalenceLiteral	negate()
Literal	reduce()
EquivalenceLiteral	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

Constructor Details

EquivalenceLiteral

public EquivalenceLiteral(boolean positive,
 Variable left,
 Variable right)

Method Details

isPositive

public boolean isPositive()

getLeft

public Variable getLeft()

getRight

public Variable getRight()

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

negate

public EquivalenceLiteral negate()

Specified by:

negate in interface CanNegate<EquivalenceLiteral>

substitute

public EquivalenceLiteral substitute(Substitution substitution)

Specified by:

substitute in interface Literal

reduce

public Literal reduce()

Specified by:

reduce 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