Hierarchy For Package tools.refinery.logic.equality

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • tools.refinery.logic.equality.DeepDnfEqualityChecker (implements tools.refinery.logic.equality.DnfEqualityChecker)
  • tools.refinery.logic.equality.SubstitutingLiteralEqualityHelper (implements tools.refinery.logic.equality.LiteralEqualityHelper)
  • tools.refinery.logic.equality.SubstitutingLiteralHashCodeHelper (implements tools.refinery.logic.equality.LiteralHashCodeHelper)

Interface Hierarchy

• tools.refinery.logic.equality.DnfEqualityChecker
  • tools.refinery.logic.equality.LiteralEqualityHelper
• tools.refinery.logic.equality.LiteralHashCodeHelper

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • tools.refinery.logic.equality.DeepDnfEqualityChecker.Pair