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