Uses of Class
org.ddolib.common.dominance.DominanceChecker

Packages that use DominanceChecker

Package	Description
org.ddolib.common.dominance	This package contains the classes implementing dominance checkers.
org.ddolib.ddo.core.compilation	This package contains defining the compilation type and the compilation input
org.ddolib.modeling	This package contains the interfaces and abstract classes that must be implemented as problem specific classes to model a problem.It also contains default implementation.

Uses of DominanceChecker in org.ddolib.common.dominance

Subclasses of DominanceChecker in org.ddolib.common.dominance

Modifier and Type	Class	Description
class	DefaultDominanceChecker<T>	Default implementation of a DominanceChecker that performs no dominance checking.
class	SimpleDominanceChecker<T>	The SimpleDominanceChecker class implements a straightforward dominance management mechanism used in search algorithms based on Multi-valued Decision Diagrams (MDDs), such as DDO (Decision Diagram Optimization).

Uses of DominanceChecker in org.ddolib.ddo.core.compilation

Fields in org.ddolib.ddo.core.compilation declared as DominanceChecker

Modifier and Type	Field	Description
DominanceChecker<T>	CompilationConfig.dominance	Dominance checker used to prune dominated states and reduce the size of the search space.

Uses of DominanceChecker in org.ddolib.modeling

Methods in org.ddolib.modeling that return DominanceChecker

Modifier and Type	Method	Description
default DominanceChecker<T>	Model.dominance()	Returns the dominance checker used to prune dominated states from the search space.