Generated on Tue Mar 5 2013 22:37:34 for Gecode by doxygen 1.8.3.1
post-view.cpp File Reference

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. More...
 
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. More...
 
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. More...