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

public class RepresentativeElectionLiteral
extends AbstractCallLiteral

Constructor Summary

Constructors

Constructor	Description
RepresentativeElectionLiteral(Connectivity connectivity, Constraint target, NodeVariable specific, NodeVariable representative)

Method Summary

Modifier and Type	Method	Description
protected Literal	doSubstitute(Substitution substitution, List<Variable> substitutedArguments)
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, Literal other)
Connectivity	getConnectivity()
Set<Variable>	getInputVariables(Set<? extends Variable> positiveVariablesInClause)
Set<Variable>	getOutputVariables()
Set<Variable>	getPrivateVariables(Set<? extends Variable> positiveVariablesInClause)
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)
Literal	reduce()
String	toString()
AbstractCallLiteral	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

Constructor Details

RepresentativeElectionLiteral

public RepresentativeElectionLiteral(Connectivity connectivity,
 Constraint target,
 NodeVariable specific,
 NodeVariable representative)

Method Details

getConnectivity

public Connectivity getConnectivity()

doSubstitute

protected Literal doSubstitute(Substitution substitution,
 List<Variable> substitutedArguments)

Specified by:

doSubstitute in class AbstractCallLiteral

getOutputVariables

public Set<Variable> getOutputVariables()

getInputVariables

public Set<Variable> getInputVariables(Set<? extends Variable> positiveVariablesInClause)

Specified by:

getInputVariables in interface Literal

Overrides:

getInputVariables in class AbstractCallLiteral

getPrivateVariables

public Set<Variable> getPrivateVariables(Set<? extends Variable> positiveVariablesInClause)

Specified by:

getPrivateVariables in interface Literal

Overrides:

getPrivateVariables in class AbstractCallLiteral

reduce

public Literal reduce()

withArguments

public AbstractCallLiteral withArguments(Constraint newTarget,
 List<Variable> newArguments)

Specified by:

withArguments in class AbstractCallLiteral

equalsWithSubstitution

public boolean equalsWithSubstitution(LiteralEqualityHelper helper,
 Literal other)

Specified by:

equalsWithSubstitution in interface Literal

Overrides:

equalsWithSubstitution in class AbstractCallLiteral

hashCodeWithSubstitution

public int hashCodeWithSubstitution(LiteralHashCodeHelper helper)

Specified by:

hashCodeWithSubstitution in interface Literal

Overrides:

hashCodeWithSubstitution in class AbstractCallLiteral

toString

public String toString()

Overrides:

toString in class Object