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, CallLiteral, RepresentativeElectionLiteral

public abstract class AbstractCallLiteral
extends AbstractLiteral

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AbstractCallLiteral(Constraint target, List<Variable> arguments)

Method Summary

Modifier and Type	Method	Description
protected abstract Literal	doSubstitute(Substitution substitution, List<Variable> substitutedArguments)
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, Literal other)
List<Variable>	getArguments()
protected Set<Variable>	getArgumentsOfDirection(ParameterDirection direction)
Set<Variable>	getInputVariables(Set<? extends Variable> positiveVariablesInClause)
Set<Variable>	getPrivateVariables(Set<? extends Variable> positiveVariablesInClause)
Constraint	getTarget()
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)
Literal	substitute(Substitution substitution)
abstract AbstractCallLiteral	withArguments(Constraint newTarget, List<Variable> newArguments)
AbstractCallLiteral	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

protected AbstractCallLiteral(Constraint target,
 List<Variable> arguments)

Method Details

getTarget

public Constraint getTarget()

getArguments

public List<Variable> getArguments()

getArgumentsOfDirection

protected Set<Variable> getArgumentsOfDirection(ParameterDirection direction)

getInputVariables

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

getPrivateVariables

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

substitute

public Literal substitute(Substitution substitution)

doSubstitute

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

withTarget

public AbstractCallLiteral withTarget(Constraint newTarget)

withArguments

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

equalsWithSubstitution

public boolean equalsWithSubstitution(LiteralEqualityHelper helper,
 Literal other)

Specified by:

equalsWithSubstitution in interface Literal

Overrides:

equalsWithSubstitution in class AbstractLiteral

hashCodeWithSubstitution

public int hashCodeWithSubstitution(LiteralHashCodeHelper helper)

Specified by:

hashCodeWithSubstitution in interface Literal

Overrides:

hashCodeWithSubstitution in class AbstractLiteral