Package tools.refinery.logic.literal
Class AbstractLiteral
java.lang.Object
tools.refinery.logic.literal.AbstractLiteral
- All Implemented Interfaces:
Literal
- Direct Known Subclasses:
AbstractCallLiteral
,AssignLiteral
,CheckLiteral
,ConstantLiteral
,EquivalenceLiteral
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
boolean
equalsWithSubstitution
(LiteralEqualityHelper helper, Literal other) int
hashCode()
int
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface tools.refinery.logic.literal.Literal
getInputVariables, getOutputVariables, getPrivateVariables, reduce, substitute
-
Constructor Details
-
AbstractLiteral
public AbstractLiteral()
-
-
Method Details
-
equalsWithSubstitution
- Specified by:
equalsWithSubstitution
in interfaceLiteral
-
hashCodeWithSubstitution
- Specified by:
hashCodeWithSubstitution
in interfaceLiteral
-
equals
-
hashCode
public int hashCode()
-