|
| BranchInformationO (void) |
|
virtual | ~BranchInformationO (void) |
|
virtual SharedHandle::Object * | copy (void) const |
| Return fresh copy for update. More...
|
|
void | add (const BrancherHandle &bh, const string &rel0, const string &rel1, const vector< string > &n) |
| Add new brancher information. More...
|
|
void | print (const BrancherHandle &bh, int a, int i, int n, ostream &o) const |
| Output branch information. More...
|
|
void | print (const BrancherHandle &bh, int a, int i, const FloatNumBranch &nl, ostream &o) const |
|
Public Member Functions inherited from Gecode::SharedHandle::Object |
| Object (void) |
| Initialize. More...
|
|
virtual | ~Object (void) |
| Delete shared object. More...
|
|
Definition at line 230 of file flatzinc.cpp.
Gecode::FlatZinc::BranchInformationO::BranchInformationO |
( |
void |
| ) |
|
|
inline |
virtual Gecode::FlatZinc::BranchInformationO::~BranchInformationO |
( |
void |
| ) |
|
|
inlinevirtual |
void Gecode::FlatZinc::BranchInformationO::add |
( |
const BrancherHandle & |
bh, |
|
|
const string & |
rel0, |
|
|
const string & |
rel1, |
|
|
const vector< string > & |
n |
|
) |
| |
|
inline |
void Gecode::FlatZinc::BranchInformationO::print |
( |
const BrancherHandle & |
bh, |
|
|
int |
a, |
|
|
int |
i, |
|
|
int |
n, |
|
|
ostream & |
o |
|
) |
| const |
|
inline |
The documentation for this class was generated from the following file: