Package tools.refinery.logic.equality
Interface DnfEqualityChecker
- All Known Subinterfaces:
LiteralEqualityHelper
- All Known Implementing Classes:
DeepDnfEqualityChecker
,SubstitutingLiteralEqualityHelper
- Functional Interface:
- This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
-
Field Summary
-
Method Summary
-
Field Details
-
DEFAULT
-
-
Method Details
-
dnfEqual
-