Hierarchy For Package tools.refinery.logic.equality
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
- java.lang.Record