Interface LiteralEqualityHelper

All Superinterfaces:
DnfEqualityChecker
All Known Implementing Classes:
SubstitutingLiteralEqualityHelper

public interface LiteralEqualityHelper extends DnfEqualityChecker