Package tools.refinery.logic.literal
Class CheckLiteral
java.lang.Object
tools.refinery.logic.literal.AbstractLiteral
tools.refinery.logic.literal.CheckLiteral
- All Implemented Interfaces:
CanNegate<CheckLiteral>
,Literal
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
equalsWithSubstitution
(LiteralEqualityHelper helper, Literal other) getInputVariables
(Set<? extends Variable> positiveVariablesInClause) getPrivateVariables
(Set<? extends Variable> positiveVariablesInClause) getTerm()
int
negate()
reduce()
substitute
(Substitution substitution) toString()
Methods inherited from class tools.refinery.logic.literal.AbstractLiteral
equals, hashCode
-
Constructor Details
-
CheckLiteral
-
-
Method Details
-
getTerm
-
getOutputVariables
- Specified by:
getOutputVariables
in interfaceLiteral
-
getInputVariables
- Specified by:
getInputVariables
in interfaceLiteral
-
getPrivateVariables
- Specified by:
getPrivateVariables
in interfaceLiteral
-
substitute
- Specified by:
substitute
in interfaceLiteral
-
negate
- Specified by:
negate
in interfaceCanNegate<CheckLiteral>
-
equalsWithSubstitution
- Specified by:
equalsWithSubstitution
in interfaceLiteral
- Overrides:
equalsWithSubstitution
in classAbstractLiteral
-
hashCodeWithSubstitution
- Specified by:
hashCodeWithSubstitution
in interfaceLiteral
- Overrides:
hashCodeWithSubstitution
in classAbstractLiteral
-
reduce
-
toString
-