Class SubstitutingLiteralEqualityHelper

java.lang.Object
tools.refinery.logic.equality.SubstitutingLiteralEqualityHelper
All Implemented Interfaces:
DnfEqualityChecker, LiteralEqualityHelper

public class SubstitutingLiteralEqualityHelper extends Object implements LiteralEqualityHelper