Package tools.refinery.logic.literal
Class AbstractCallLiteral
java.lang.Object
tools.refinery.logic.literal.AbstractLiteral
tools.refinery.logic.literal.AbstractCallLiteral
- All Implemented Interfaces:
Literal
- Direct Known Subclasses:
AbstractCountLiteral
,AggregationLiteral
,CallLiteral
,LeftJoinLiteral
,RepresentativeElectionLiteral
-
Constructor Summary
ModifierConstructorDescriptionprotected
AbstractCallLiteral
(Constraint target, List<Variable> arguments) -
Method Summary
Modifier and TypeMethodDescriptionprotected abstract Literal
doSubstitute
(Substitution substitution, List<Variable> substitutedArguments) boolean
equalsWithSubstitution
(LiteralEqualityHelper helper, Literal other) getArgumentsOfDirection
(ParameterDirection direction) getInputVariables
(Set<? extends Variable> positiveVariablesInClause) getPrivateVariables
(Set<? extends Variable> positiveVariablesInClause) int
substitute
(Substitution substitution) abstract AbstractCallLiteral
withArguments
(Constraint newTarget, List<Variable> newArguments) withTarget
(Constraint newTarget) Methods inherited from class tools.refinery.logic.literal.AbstractLiteral
equals, hashCode
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
getOutputVariables, reduce
-
Constructor Details
-
AbstractCallLiteral
-
-
Method Details
-
getTarget
-
getArguments
-
getArgumentsOfDirection
-
getInputVariables
-
getPrivateVariables
-
substitute
-
doSubstitute
protected abstract Literal doSubstitute(Substitution substitution, List<Variable> substitutedArguments) -
withTarget
-
withArguments
public abstract AbstractCallLiteral withArguments(Constraint newTarget, List<Variable> newArguments) -
equalsWithSubstitution
- Specified by:
equalsWithSubstitution
in interfaceLiteral
- Overrides:
equalsWithSubstitution
in classAbstractLiteral
-
hashCodeWithSubstitution
- Specified by:
hashCodeWithSubstitution
in interfaceLiteral
- Overrides:
hashCodeWithSubstitution
in classAbstractLiteral
-