Class BoundSearch

  • public class BoundSearch
    extends AbstractStrategy<IntVar>
    BEWARE: ONLY FOR INTEGERS (lets the default search work for other variable types) Search heuristic combined with a constraint performing strong consistency on the next decision variable and branching on the value with the best objective bound (for optimization) and branches on the lower bound for SAT problems.
    Jean-Guillaume FAGES
    • Field Detail

      • MAX_DOM_SIZE

        public int MAX_DOM_SIZE
    • Method Detail

      • init

        public boolean init()
        Description copied from class: AbstractStrategy
        Prepare this to be used in a search loop The initialization can detect inconsistency, in that case, it returns false
        init in class AbstractStrategy<IntVar>