Package tools.refinery.logic.equality

Class DeepDnfEqualityChecker

java.lang.Object

tools.refinery.logic.equality.DeepDnfEqualityChecker

All Implemented Interfaces:

DnfEqualityChecker

public class DeepDnfEqualityChecker
extends Object
implements DnfEqualityChecker

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected static final record	DeepDnfEqualityChecker.Pair

Field Summary

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

DEFAULT

Constructor Summary

Constructors

Constructor	Description
DeepDnfEqualityChecker()

Method Summary

Modifier and Type	Method	Description
boolean	dnfEqual(Dnf left, Dnf right)
boolean	dnfEqualRaw(List<SymbolicParameter> symbolicParameters, List<? extends List<? extends Literal>> clauses, Dnf other)
protected boolean	doCheckEqual(DeepDnfEqualityChecker.Pair pair)
protected List<DeepDnfEqualityChecker.Pair>	getInProgress()

Methods inherited from class java.lang.Object

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

Constructor Details

DeepDnfEqualityChecker

public DeepDnfEqualityChecker()

Method Details

dnfEqual

public boolean dnfEqual(Dnf left,
 Dnf right)

Specified by:

dnfEqual in interface DnfEqualityChecker

dnfEqualRaw

public boolean dnfEqualRaw(List<SymbolicParameter> symbolicParameters,
 List<? extends List<? extends Literal>> clauses,
 Dnf other)

doCheckEqual

protected boolean doCheckEqual(DeepDnfEqualityChecker.Pair pair)

getInProgress

protected List<DeepDnfEqualityChecker.Pair> getInProgress()