Package tools.refinery.logic.equality
Class DeepDnfEqualityChecker
java.lang.Object
tools.refinery.logic.equality.DeepDnfEqualityChecker
- All Implemented Interfaces:
DnfEqualityChecker
-
Nested Class Summary
-
Field Summary
Fields inherited from interface tools.refinery.logic.equality.DnfEqualityChecker
DEFAULT
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
boolean
dnfEqualRaw
(List<SymbolicParameter> symbolicParameters, List<? extends List<? extends Literal>> clauses, Dnf other) protected boolean
protected List
<DeepDnfEqualityChecker.Pair>
-
Constructor Details
-
DeepDnfEqualityChecker
public DeepDnfEqualityChecker()
-
-
Method Details
-
dnfEqual
- Specified by:
dnfEqual
in interfaceDnfEqualityChecker
-
dnfEqualRaw
-
doCheckEqual
-
getInProgress
-