Uses of Class
org.ddolib.common.dominance.DominanceChecker
Packages that use DominanceChecker
Package
Description
This package contains the classes implementing dominance checkers.
This package contains defining the compilation type and the compilation input
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.dominanceModifier and TypeClassDescriptionclassDefault implementation of aDominanceCheckerthat performs no dominance checking.classTheSimpleDominanceCheckerclass 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 DominanceCheckerModifier and TypeFieldDescriptionCompilationConfig.dominanceDominance 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 DominanceCheckerModifier and TypeMethodDescriptiondefault DominanceChecker<T> Model.dominance()Returns the dominance checker used to prune dominated states from the search space.