Package tools.refinery.logic.equality

Class SubstitutingLiteralHashCodeHelper

java.lang.Object

tools.refinery.logic.equality.SubstitutingLiteralHashCodeHelper

All Implemented Interfaces:

LiteralHashCodeHelper

public class SubstitutingLiteralHashCodeHelper
extends Object
implements LiteralHashCodeHelper

Field Summary

Fields inherited from interface tools.refinery.logic.equality.LiteralHashCodeHelper

DEFAULT

Constructor Summary

Constructors

Constructor	Description
SubstitutingLiteralHashCodeHelper()
SubstitutingLiteralHashCodeHelper(Collection<Variable> positiveVariables)
SubstitutingLiteralHashCodeHelper(List<SymbolicParameter> parameters)

Method Summary

Modifier and Type	Method	Description
int	getVariableHashCode(Variable variable)

Methods inherited from class java.lang.Object

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

Constructor Details

SubstitutingLiteralHashCodeHelper

public SubstitutingLiteralHashCodeHelper()

SubstitutingLiteralHashCodeHelper

public SubstitutingLiteralHashCodeHelper(List<SymbolicParameter> parameters)

SubstitutingLiteralHashCodeHelper

public SubstitutingLiteralHashCodeHelper(Collection<Variable> positiveVariables)

Method Details

getVariableHashCode

public int getVariableHashCode(Variable variable)

Specified by:

getVariableHashCode in interface LiteralHashCodeHelper