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

public final class CallLiteral
extends AbstractCallLiteral
implements CanNegate<CallLiteral>

Constructor Summary

Constructors

Constructor	Description
CallLiteral(CallPolarity polarity, Constraint target, List<Variable> arguments)

Method Summary

Modifier and Type	Method	Description
protected Literal	doSubstitute(Substitution substitution, List<Variable> substitutedArguments)
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, Literal other)
Set<Variable>	getInputVariables(Set<? extends Variable> positiveVariablesInClause)
Set<Variable>	getOutputVariables()
CallPolarity	getPolarity()
Set<Variable>	getPrivateVariables(Set<? extends Variable> positiveVariablesInClause)
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)
CallLiteral	negate()
Literal	reduce()
String	toString()
AbstractCallLiteral	withArguments(Constraint newTarget, List<Variable> newArguments)

Methods inherited from class AbstractCallLiteral

getArguments, getArgumentsOfDirection, getTarget, substitute, withTarget

Methods inherited from class AbstractLiteral

equals, hashCode

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface Literal

substitute

Constructor Details

CallLiteral

public CallLiteral(CallPolarity polarity,
 Constraint target,
 List<Variable> arguments)

Method Details

getPolarity

public CallPolarity getPolarity()

doSubstitute

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

Specified by:

doSubstitute in class AbstractCallLiteral

getOutputVariables

public Set<Variable> getOutputVariables()

Specified by:

getOutputVariables in interface Literal

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()

Specified by:

reduce in interface Literal

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

negate

public CallLiteral negate()

Specified by:

negate in interface CanNegate<CallLiteral>

withArguments

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

Specified by:

withArguments in class AbstractCallLiteral

toString

public String toString()

Overrides:

toString in class Object