Generated on Fri Oct 19 11:25:56 2018 for Gecode by doxygen 1.6.3

Gecode::FlatZinc::AuxVarBrancher Class Reference

Branching on the introduced variables. More...

List of all members.

Classes

class  Choice
 Choice that only signals failure or success More...

Public Member Functions

virtual bool status (const Space &_home) const
 Check status of brancher, return true if alternatives left.
virtual Choicechoice (Space &home)
 Return choice.
virtual Choicechoice (const Space &, Archive &e)
 Return choice.
virtual ExecStatus commit (Space &, const Gecode::Choice &c, unsigned int)
 Perform commit for choice c.
virtual void print (const Space &, const Gecode::Choice &c, unsigned int, std::ostream &o) const
 Print explanation.
virtual Actorcopy (Space &home)
 Copy brancher.
virtual size_t dispose (Space &)
 Delete brancher and return its size.

Static Public Member Functions

static void post (Home home, TieBreak< IntVarBranch > int_varsel, IntValBranch int_valsel, TieBreak< BoolVarBranch > bool_varsel, BoolValBranch bool_valsel, SetVarBranch set_varsel, SetValBranch set_valsel, TieBreak< FloatVarBranch > float_varsel, FloatValBranch float_valsel)
 Post brancher.

Protected Member Functions

 AuxVarBrancher (Home home, TieBreak< IntVarBranch > int_varsel0, IntValBranch int_valsel0, TieBreak< BoolVarBranch > bool_varsel0, BoolValBranch bool_valsel0, SetVarBranch set_varsel0, SetValBranch set_valsel0, TieBreak< FloatVarBranch > float_varsel0, FloatValBranch float_valsel0)
 Construct brancher.
 AuxVarBrancher (Space &home, AuxVarBrancher &b)
 Copy constructor.

Protected Attributes

bool done
 Flag whether brancher is done.
TieBreak< IntVarBranchint_varsel
IntValBranch int_valsel
TieBreak< BoolVarBranchbool_varsel
BoolValBranch bool_valsel
SetVarBranch set_varsel
SetValBranch set_valsel
TieBreak< FloatVarBranchfloat_varsel
FloatValBranch float_valsel

Detailed Description

Branching on the introduced variables.

This brancher makes sure that when a solution is found for the model variables, all introduced variables are either assigned, or the solution can be extended to a solution of the introduced variables.

The advantage over simply branching over the introduced variables is that only one such extension will be searched for, instead of enumerating all possible (equivalent) extensions.

Definition at line 102 of file flatzinc.cpp.


Constructor & Destructor Documentation

Gecode::FlatZinc::AuxVarBrancher::AuxVarBrancher ( Home  home,
TieBreak< IntVarBranch int_varsel0,
IntValBranch  int_valsel0,
TieBreak< BoolVarBranch bool_varsel0,
BoolValBranch  bool_valsel0,
SetVarBranch  set_varsel0,
SetValBranch  set_valsel0,
TieBreak< FloatVarBranch float_varsel0,
FloatValBranch  float_valsel0 
) [inline, protected]

Construct brancher.

Definition at line 107 of file flatzinc.cpp.

Gecode::FlatZinc::AuxVarBrancher::AuxVarBrancher ( Space home,
AuxVarBrancher b 
) [inline, protected]

Copy constructor.

Definition at line 133 of file flatzinc.cpp.


Member Function Documentation

virtual bool Gecode::FlatZinc::AuxVarBrancher::status ( const Space _home  )  const [inline, virtual]

Check status of brancher, return true if alternatives left.

Implements Gecode::Brancher.

Definition at line 170 of file flatzinc.cpp.

virtual Choice* Gecode::FlatZinc::AuxVarBrancher::choice ( Space home  )  [inline, virtual]

Return choice.

Implements Gecode::Brancher.

Definition at line 189 of file flatzinc.cpp.

virtual Choice* Gecode::FlatZinc::AuxVarBrancher::choice ( const Space ,
Archive e 
) [inline, virtual]

Return choice.

Implements Gecode::Brancher.

Definition at line 211 of file flatzinc.cpp.

virtual ExecStatus Gecode::FlatZinc::AuxVarBrancher::commit ( Space ,
const Gecode::Choice c,
unsigned int   
) [inline, virtual]

Perform commit for choice c.

Implements Gecode::Brancher.

Definition at line 216 of file flatzinc.cpp.

virtual void Gecode::FlatZinc::AuxVarBrancher::print ( const Space ,
const Gecode::Choice c,
unsigned int  ,
std::ostream &  o 
) const [inline, virtual]

Print explanation.

Reimplemented from Gecode::Brancher.

Definition at line 220 of file flatzinc.cpp.

virtual Actor* Gecode::FlatZinc::AuxVarBrancher::copy ( Space home  )  [inline, virtual]

Copy brancher.

Implements Gecode::Actor.

Definition at line 228 of file flatzinc.cpp.

static void Gecode::FlatZinc::AuxVarBrancher::post ( Home  home,
TieBreak< IntVarBranch int_varsel,
IntValBranch  int_valsel,
TieBreak< BoolVarBranch bool_varsel,
BoolValBranch  bool_valsel,
SetVarBranch  set_varsel,
SetValBranch  set_valsel,
TieBreak< FloatVarBranch float_varsel,
FloatValBranch  float_valsel 
) [inline, static]

Post brancher.

Definition at line 232 of file flatzinc.cpp.

virtual size_t Gecode::FlatZinc::AuxVarBrancher::dispose ( Space  )  [inline, virtual]

Delete brancher and return its size.

Reimplemented from Gecode::Actor.

Definition at line 259 of file flatzinc.cpp.


Member Data Documentation

Flag whether brancher is done.

Definition at line 105 of file flatzinc.cpp.


The documentation for this class was generated from the following file: