Package tools.refinery.logic.equality
Interface LiteralEqualityHelper
- All Superinterfaces:
DnfEqualityChecker
- All Known Implementing Classes:
SubstitutingLiteralEqualityHelper
-
Field Summary
-
Method Summary
Methods inherited from interface tools.refinery.logic.equality.DnfEqualityChecker
dnfEqual
-
Field Details
-
DEFAULT
-
-
Method Details
-
variableEqual
-