Package tools.refinery.logic.equality
Class SubstitutingLiteralEqualityHelper
java.lang.Object
tools.refinery.logic.equality.SubstitutingLiteralEqualityHelper
- All Implemented Interfaces:
DnfEqualityChecker
,LiteralEqualityHelper
-
Field Summary
Fields inherited from interface tools.refinery.logic.equality.LiteralEqualityHelper
DEFAULT
-
Constructor Summary
ConstructorDescriptionSubstitutingLiteralEqualityHelper
(DnfEqualityChecker dnfEqualityChecker, List<SymbolicParameter> leftParameters, List<SymbolicParameter> rightParameters) -
Method Summary
-
Constructor Details
-
SubstitutingLiteralEqualityHelper
public SubstitutingLiteralEqualityHelper(DnfEqualityChecker dnfEqualityChecker, List<SymbolicParameter> leftParameters, List<SymbolicParameter> rightParameters)
-
-
Method Details
-
dnfEqual
- Specified by:
dnfEqual
in interfaceDnfEqualityChecker
-
variableEqual
- Specified by:
variableEqual
in interfaceLiteralEqualityHelper
-