Class SubstitutingLiteralHashCodeHelper

java.lang.Object
tools.refinery.logic.equality.SubstitutingLiteralHashCodeHelper
All Implemented Interfaces:
LiteralHashCodeHelper

public class SubstitutingLiteralHashCodeHelper extends Object implements LiteralHashCodeHelper
  • Constructor Details

    • SubstitutingLiteralHashCodeHelper

      public SubstitutingLiteralHashCodeHelper()
    • SubstitutingLiteralHashCodeHelper

      public SubstitutingLiteralHashCodeHelper(List<SymbolicParameter> parameters)
  • Method Details