(Revision: 10418)
Go to the source code of this file.
Namespaces |
namespace | Gecode |
| Gecode toplevel namespace
|
Functions |
void | Gecode::assign (Home home, const IntVarArgs &x, IntAssign vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Assign all x with value selection vals.
|
void | Gecode::assign (Home home, const BoolVarArgs &x, IntAssign vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Assign all x with value selection vals.
|
void | Gecode::branch (Home home, IntVar x, IntValBranch vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Branch over x with value selection vals.
|
void | Gecode::branch (Home home, BoolVar x, IntValBranch vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Branch over x with value selection vals.
|
void | Gecode::assign (Home home, IntVar x, IntAssign vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Assign x with value selection vals.
|
void | Gecode::assign (Home home, BoolVar x, IntAssign vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
| Assign x with value selection vals.
|