Package tools.refinery.logic.literal
Class AbstractCountLiteral<T>
java.lang.Object
tools.refinery.logic.literal.AbstractLiteral
tools.refinery.logic.literal.AbstractCallLiteral
tools.refinery.logic.literal.AbstractCountLiteral<T>
- All Implemented Interfaces:
Literal
- Direct Known Subclasses:
CountLiteral
-
Constructor Summary
ModifierConstructorDescriptionprotected
AbstractCountLiteral
(Class<T> resultType, DataVariable<T> resultVariable, Constraint target, List<Variable> arguments) -
Method Summary
Modifier and TypeMethodDescriptionboolean
equalsWithSubstitution
(LiteralEqualityHelper helper, Literal other) int
protected abstract T
one()
protected abstract String
reduce()
toString()
protected abstract T
zero()
Methods inherited from class tools.refinery.logic.literal.AbstractCallLiteral
doSubstitute, getArguments, getArgumentsOfDirection, getInputVariables, getPrivateVariables, getTarget, substitute, withArguments, withTarget
Methods inherited from class tools.refinery.logic.literal.AbstractLiteral
equals, hashCode
-
Constructor Details
-
AbstractCountLiteral
protected AbstractCountLiteral(Class<T> resultType, DataVariable<T> resultVariable, Constraint target, List<Variable> arguments)
-
-
Method Details
-
getResultType
-
getResultVariable
-
getOutputVariables
-
zero
-
one
-
reduce
-
equalsWithSubstitution
- Specified by:
equalsWithSubstitution
in interfaceLiteral
- Overrides:
equalsWithSubstitution
in classAbstractCallLiteral
-
hashCodeWithSubstitution
- Specified by:
hashCodeWithSubstitution
in interfaceLiteral
- Overrides:
hashCodeWithSubstitution
in classAbstractCallLiteral
-
operatorName
-
toString
-