Class IntBoolVarBranch

gecode/flatzinc/branch.hh:44–95

Which integer or Boolean variable to select for branching

  /// Which integer or Boolean variable to select for branching
  class IntBoolVarBranch : public VarBranch<IntVar> {
  public:
    /// Which variable selection
    enum Select {
      SEL_AFC_MAX,         ///< With largest accumulated failure count
      SEL_ACTION_MAX,      ///< With highest action
      SEL_CHB_MAX,         ///< With highest CHB Q-score
      SEL_AFC_SIZE_MAX,    ///< With largest accumulated failure count divided by domain size
      SEL_ACTION_SIZE_MAX, ///< With largest action divided by domain size
      SEL_CHB_SIZE_MAX     ///< With largest CHB Q-score divided by domain size
    };
  protected:
    /// Which variable to select
    Select s;
    /// Integer AFC
    IntAFC iafc;
    /// Boolean AFC
    BoolAFC bafc;
    /// Integer action
    IntAction iaction;
    /// Boolean action
    BoolAction baction;
    /// Integer CHB
    IntCHB ichb;
    /// Boolean CHB
    BoolCHB bchb;
  public:
    /// Initialize with selection strategy \a s and decay factor \a d
    IntBoolVarBranch(Select s, double d);
    /// Initialize with selection strategy \a s and AFC \a i and \a b
    IntBoolVarBranch(Select s, IntAFC i, BoolAFC b);
    /// Initialize with selection strategy \a s and action \a i and \a b
    IntBoolVarBranch(Select s, IntAction i, BoolAction b);
    /// Initialize with selection strategy \a s and CHB \a i and \a b
    IntBoolVarBranch(Select s, IntCHB i, BoolCHB b);
    /// Return selection strategy
    Select select(void) const;
    /// Return integer AFC
    IntAFC intafc(void) const;
    /// Return Boolean AFC
    BoolAFC boolafc(void) const;
    /// Return integer action
    IntAction intaction(void) const;
    /// Return Boolean action
    BoolAction boolaction(void) const;
    /// Return integer CHB
    IntCHB intchb(void) const;
    /// Return Boolean AFC
    BoolCHB boolchb(void) const;
    /// Expand AFC, action, and CHB
    void expand(Home home, const IntVarArgs& x, const BoolVarArgs& y);
  };

  /// Variable selection for both integer and Boolean variables
  //@{