Class VarBranch

gecode/kernel/branch/var.hpp:55–111

   */
  template<class Var>
  class VarBranch {
  public:
    /// Corresponding merit function
    typedef typename BranchTraits<Var>::Merit MeritFunction;
  protected:
    /// Tie-breaking limit function
    BranchTbl _tbl;
    /// Random number generator
    Rnd _rnd;
    /// Decay information for AFC and action
    double _decay;
    /// AFC information
    AFC _afc;
    /// Action information
    Action _act;
    /// CHB information
    CHB _chb;
    /// Merit function
    MeritFunction _mf;
  public:
    /// Initialize
    VarBranch(void);
    /// Initialize with tie-break limit function \a t
    VarBranch(BranchTbl t);
    /// Initialize with random number generator \a r
    VarBranch(Rnd r);
    /// Initialize with decay factor \a d and tie-break limit function \a t
    VarBranch(double d, BranchTbl t);
    /// Initialize with AFC \a a and tie-break limit function \a t
    VarBranch(AFC a, BranchTbl t);
    /// Initialize with action \a a and tie-break limit function \a t
    VarBranch(Action a, BranchTbl t);
    /// Initialize with CHB \a c and tie-break limit function \a t
    VarBranch(CHB c, BranchTbl t);
    /// Initialize with merit function \a f and tie-break limit function \a t
    VarBranch(MeritFunction f, BranchTbl t);
    /// Return tie-break limit function
    BranchTbl tbl(void) const;
    /// Return random number generator
    Rnd rnd(void) const;
    /// Return decay factor
    double decay(void) const;
    /// Return AFC
    AFC afc(void) const;
    /// Set AFC to \a a
    void afc(AFC a);
    /// Return action
    Action action(void) const;
    /// Set action to \a a
    void action(Action a);
    /// Return CHB
    CHB chb(void) const;
    /// Set CHB to \a chb
    void chb(CHB chb);
    /// Return merit function
    MeritFunction merit(void) const;
  };