Package tools.refinery.logic.util

Class CallSite

java.lang.Object

tools.refinery.logic.util.CallSite

public class CallSite
extends Object

Constructor Summary

Constructors

Constructor	Description
CallSite(Constraint target, List<Variable> arguments)

Method Summary

Modifier and Type	Method	Description
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, CallSite other)
List<Variable>	getArguments()
Set<Variable>	getArgumentsOfDirection(ParameterDirection direction)
Set<Variable>	getInputVariablesForNonEnumerableCall(Set<? extends Variable> positiveVariablesInClause)
Set<Variable>	getPrivateVariablesForNonEnumerableCall(Set<? extends Variable> positiveVariablesInClause)
List<Variable>	getSubstitutedArguments(Substitution substitution)
Constraint	getTarget()
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

CallSite

public CallSite(Constraint target,
 List<Variable> arguments)

Method Details

getTarget

public Constraint getTarget()

getArguments

public List<Variable> getArguments()

getArgumentsOfDirection

public Set<Variable> getArgumentsOfDirection(ParameterDirection direction)

getInputVariablesForNonEnumerableCall

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

getPrivateVariablesForNonEnumerableCall

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

getSubstitutedArguments

public List<Variable> getSubstitutedArguments(Substitution substitution)

equalsWithSubstitution

public boolean equalsWithSubstitution(LiteralEqualityHelper helper,
 CallSite other)

hashCodeWithSubstitution

public int hashCodeWithSubstitution(LiteralHashCodeHelper helper)