Package tools.refinery.logic.equality
Class SubstitutingLiteralHashCodeHelper
java.lang.Object
tools.refinery.logic.equality.SubstitutingLiteralHashCodeHelper
- All Implemented Interfaces:
LiteralHashCodeHelper
-
Field Summary
Fields inherited from interface tools.refinery.logic.equality.LiteralHashCodeHelper
DEFAULT
-
Constructor Summary
-
Method Summary
-
Constructor Details
-
SubstitutingLiteralHashCodeHelper
public SubstitutingLiteralHashCodeHelper() -
SubstitutingLiteralHashCodeHelper
-
-
Method Details
-
getVariableHashCode
- Specified by:
getVariableHashCode
in interfaceLiteralHashCodeHelper
-