Package tools.refinery.logic.literal
Class RepresentativeElectionLiteral
java.lang.Object
tools.refinery.logic.literal.AbstractLiteral
tools.refinery.logic.literal.AbstractCallLiteral
tools.refinery.logic.literal.RepresentativeElectionLiteral
- All Implemented Interfaces:
Literal
-
Constructor Summary
ConstructorDescriptionRepresentativeElectionLiteral
(Connectivity connectivity, Constraint target, NodeVariable specific, NodeVariable representative) -
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
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
-
Constructor Details
-
RepresentativeElectionLiteral
public RepresentativeElectionLiteral(Connectivity connectivity, Constraint target, NodeVariable specific, NodeVariable representative)
-
-
Method Details
-
getConnectivity
-
doSubstitute
- Specified by:
doSubstitute
in classAbstractCallLiteral
-
getOutputVariables
-
getInputVariables
- Specified by:
getInputVariables
in interfaceLiteral
- Overrides:
getInputVariables
in classAbstractCallLiteral
-
getPrivateVariables
- Specified by:
getPrivateVariables
in interfaceLiteral
- Overrides:
getPrivateVariables
in classAbstractCallLiteral
-
reduce
-
withArguments
- Specified by:
withArguments
in classAbstractCallLiteral
-
equalsWithSubstitution
- Specified by:
equalsWithSubstitution
in interfaceLiteral
- Overrides:
equalsWithSubstitution
in classAbstractCallLiteral
-
hashCodeWithSubstitution
- Specified by:
hashCodeWithSubstitution
in interfaceLiteral
- Overrides:
hashCodeWithSubstitution
in classAbstractCallLiteral
-
toString
-