Package tools.refinery.logic.equality

Class SubstitutingLiteralEqualityHelper

java.lang.Object

tools.refinery.logic.equality.SubstitutingLiteralEqualityHelper

All Implemented Interfaces:

DnfEqualityChecker, LiteralEqualityHelper

public class SubstitutingLiteralEqualityHelper
extends Object
implements LiteralEqualityHelper

Field Summary

Fields inherited from interface tools.refinery.logic.equality.LiteralEqualityHelper

DEFAULT

Constructor Summary

Constructors

Constructor	Description
SubstitutingLiteralEqualityHelper(DnfEqualityChecker dnfEqualityChecker, Collection<Variable> positiveVariables)
SubstitutingLiteralEqualityHelper(DnfEqualityChecker dnfEqualityChecker, List<SymbolicParameter> leftParameters, List<SymbolicParameter> rightParameters)

Method Summary

Modifier and Type	Method	Description
boolean	dnfEqual(Dnf left, Dnf right)
boolean	variableEqual(Variable left, Variable right)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

SubstitutingLiteralEqualityHelper

public SubstitutingLiteralEqualityHelper(DnfEqualityChecker dnfEqualityChecker,
 List<SymbolicParameter> leftParameters,
 List<SymbolicParameter> rightParameters)

SubstitutingLiteralEqualityHelper

public SubstitutingLiteralEqualityHelper(DnfEqualityChecker dnfEqualityChecker,
 Collection<Variable> positiveVariables)

Method Details

dnfEqual

public boolean dnfEqual(Dnf left,
 Dnf right)

Specified by:

dnfEqual in interface DnfEqualityChecker

variableEqual

public boolean variableEqual(Variable left,
 Variable right)

Specified by:

variableEqual in interface LiteralEqualityHelper