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