Package tools.refinery.logic.literal
Class CallLiteral
java.lang.Object
tools.refinery.logic.literal.AbstractLiteral
tools.refinery.logic.literal.AbstractCallLiteral
tools.refinery.logic.literal.CallLiteral
- All Implemented Interfaces:
CanNegate<CallLiteral>
,Literal
-
Constructor Summary
ConstructorDescriptionCallLiteral
(CallPolarity polarity, Constraint target, List<Variable> arguments) -
Method Summary
Modifier and TypeMethodDescriptionprotected Literal
doSubstitute
(Substitution substitution, List<Variable> substitutedArguments) boolean
equalsWithSubstitution
(LiteralEqualityHelper helper, Literal other) getInputVariables
(Set<? extends Variable> positiveVariablesInClause) getPrivateVariables
(Set<? extends Variable> positiveVariablesInClause) int
negate()
reduce()
toString()
withArguments
(Constraint newTarget, List<Variable> newArguments) Methods inherited from class tools.refinery.logic.literal.AbstractCallLiteral
getArguments, getArgumentsOfDirection, getTarget, substitute, withTarget
Methods inherited from class tools.refinery.logic.literal.AbstractLiteral
equals, hashCode
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
Methods inherited from interface tools.refinery.logic.literal.Literal
substitute
-
Constructor Details
-
CallLiteral
-
-
Method Details
-
getPolarity
-
doSubstitute
- Specified by:
doSubstitute
in classAbstractCallLiteral
-
getOutputVariables
- Specified by:
getOutputVariables
in interfaceLiteral
-
getInputVariables
- Specified by:
getInputVariables
in interfaceLiteral
- Overrides:
getInputVariables
in classAbstractCallLiteral
-
getPrivateVariables
- Specified by:
getPrivateVariables
in interfaceLiteral
- Overrides:
getPrivateVariables
in classAbstractCallLiteral
-
reduce
-
equalsWithSubstitution
- Specified by:
equalsWithSubstitution
in interfaceLiteral
- Overrides:
equalsWithSubstitution
in classAbstractCallLiteral
-
hashCodeWithSubstitution
- Specified by:
hashCodeWithSubstitution
in interfaceLiteral
- Overrides:
hashCodeWithSubstitution
in classAbstractCallLiteral
-
negate
- Specified by:
negate
in interfaceCanNegate<CallLiteral>
-
withArguments
- Specified by:
withArguments
in classAbstractCallLiteral
-
toString
-