Package tools.refinery.logic.literal
Class CountLiteral
java.lang.Object
tools.refinery.logic.literal.AbstractLiteral
tools.refinery.logic.literal.AbstractCallLiteral
tools.refinery.logic.literal.AbstractCountLiteral<Integer>
tools.refinery.logic.literal.CountLiteral
- All Implemented Interfaces:
Literal
-
Constructor Summary
ConstructorDescriptionCountLiteral
(DataVariable<Integer> resultVariable, Constraint target, List<Variable> arguments) -
Method Summary
Modifier and TypeMethodDescriptionprotected Literal
doSubstitute
(Substitution substitution, List<Variable> substitutedArguments) protected Integer
one()
protected String
withArguments
(Constraint newTarget, List<Variable> newArguments) protected Integer
zero()
Methods inherited from class tools.refinery.logic.literal.AbstractCountLiteral
equalsWithSubstitution, getOutputVariables, getResultType, getResultVariable, hashCodeWithSubstitution, reduce, toString
Methods inherited from class tools.refinery.logic.literal.AbstractCallLiteral
getArguments, getArgumentsOfDirection, getInputVariables, getPrivateVariables, getTarget, substitute, withTarget
Methods inherited from class tools.refinery.logic.literal.AbstractLiteral
equals, hashCode
-
Constructor Details
-
CountLiteral
public CountLiteral(DataVariable<Integer> resultVariable, Constraint target, List<Variable> arguments)
-
-
Method Details
-
zero
- Specified by:
zero
in classAbstractCountLiteral<Integer>
-
one
- Specified by:
one
in classAbstractCountLiteral<Integer>
-
doSubstitute
- Specified by:
doSubstitute
in classAbstractCallLiteral
-
withArguments
- Specified by:
withArguments
in classAbstractCallLiteral
-
operatorName
- Specified by:
operatorName
in classAbstractCountLiteral<Integer>
-