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
-
Method Summary
Modifier and TypeMethodDescriptionboolean
equalsWithSubstitution
(LiteralEqualityHelper helper, Literal other) getInputVariables
(Set<? extends Variable> positiveVariablesInClause) getLeft()
getPrivateVariables
(Set<? extends Variable> positiveVariablesInClause) getRight()
int
boolean
negate()
reduce()
substitute
(Substitution substitution) toString()
Methods inherited from class tools.refinery.logic.literal.AbstractLiteral
equals, hashCode
-
Constructor Details
-
EquivalenceLiteral
-
-
Method Details
-
isPositive
public boolean isPositive() -
getLeft
-
getRight
-
getOutputVariables
- Specified by:
getOutputVariables
in interfaceLiteral
-
getInputVariables
- Specified by:
getInputVariables
in interfaceLiteral
-
getPrivateVariables
- Specified by:
getPrivateVariables
in interfaceLiteral
-
negate
- Specified by:
negate
in interfaceCanNegate<EquivalenceLiteral>
-
substitute
- Specified by:
substitute
in interfaceLiteral
-
reduce
-
equalsWithSubstitution
- Specified by:
equalsWithSubstitution
in interfaceLiteral
- Overrides:
equalsWithSubstitution
in classAbstractLiteral
-
hashCodeWithSubstitution
- Specified by:
hashCodeWithSubstitution
in interfaceLiteral
- Overrides:
hashCodeWithSubstitution
in classAbstractLiteral
-
toString
-