Class SymbolicParameter

java.lang.Object

tools.refinery.logic.term.Parameter

tools.refinery.logic.dnf.SymbolicParameter

public final class SymbolicParameter
extends Parameter

Field Summary

Fields inherited from class Parameter

NODE_OUT

Constructor Summary

Constructors

Constructor	Description
SymbolicParameter(Variable variable, ParameterDirection direction)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
Variable	getVariable()
int	hashCode()
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)
String	toString()

Methods inherited from class Parameter

getDirection, isAssignable, isDataVariable, isNodeVariable, makeVariable, matches, tryGetType

Methods inherited from class Object

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

Constructor Details

SymbolicParameter

public SymbolicParameter(Variable variable,
 ParameterDirection direction)

Method Details

getVariable

public Variable getVariable()

hashCodeWithSubstitution

public int hashCodeWithSubstitution(LiteralHashCodeHelper helper)

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Parameter

hashCode

public int hashCode()

Overrides:

hashCode in class Parameter