post-view.cpp File Reference
#include <gecode/set/branch.hh>
#include <gecode/set.hh>
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
Gecode toplevel namespace | |
namespace | Gecode::Set |
Finite integer sets. | |
namespace | Gecode::Set::Branch |
Set branchings | |
Functions | |
void | Gecode::Set::Branch::virtualize (Gecode::Home home, SetVarBranch vars, const Gecode::VarBranchOptions &o_vars, Gecode::ViewSelVirtualBase< SetView > *&v) |
Create virtual view selector for tie-breaking. | |
void | Gecode::branch (Home home, const SetVarArgs &x, SetVarBranch vars, SetValBranch vals, const VarBranchOptions &o_vars=VarBranchOptions::def, const ValBranchOptions &o_vals=ValBranchOptions::def) |
Branch over x with variable selection vars and value selection vals. | |
void | Gecode::branch (Home home, const SetVarArgs &x, const TieBreakVarBranch< SetVarBranch > &vars, SetValBranch vals, const TieBreakVarBranchOptions &o_vars=TieBreakVarBranchOptions::def, const ValBranchOptions &o_vals=ValBranchOptions::def) |
Branch over x with tie-breaking variable selection vars and value selection vals. |