Package org.ddolib.common.dominance


package org.ddolib.common.dominance
This package contains the classes implementing dominance checkers.
  • Classes
    Class
    Description
    Default implementation of a DominanceChecker that performs no dominance checking.
    Object that, given a dominance, will check if a state is dominated.
    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).