Class DeepDnfEqualityChecker

java.lang.Object
tools.refinery.logic.equality.DeepDnfEqualityChecker
All Implemented Interfaces:
DnfEqualityChecker

public class DeepDnfEqualityChecker extends Object implements DnfEqualityChecker