Package org.ddolib.common.dominance
package org.ddolib.common.dominance
This package contains the classes implementing dominance checkers.
-
ClassesClassDescriptionDefault implementation of a
DominanceCheckerthat performs no dominance checking.Object that, given a dominance, will check if a state is dominated.TheSimpleDominanceCheckerclass implements a straightforward dominance management mechanism used in search algorithms based on Multi-valued Decision Diagrams (MDDs), such as DDO (Decision Diagram Optimization).