
#include <flatzinc.hh>
Public Member Functions | |
| BranchInformation (void) | |
| Constructor. More... | |
| BranchInformation (const BranchInformation &bi) | |
| Copy constructor. More... | |
| void | init (void) |
| Initialise for use. More... | |
| void | add (const BrancherHandle &bh, const std::string &rel0, const std::string &rel1, const std::vector< std::string > &n) |
| Add new brancher information. More... | |
| void | print (const BrancherHandle &bh, int a, int i, int n, std::ostream &o) const |
| Output branch information. More... | |
| void | print (const BrancherHandle &bh, int a, int i, const FloatNumBranch &nl, std::ostream &o) const |
| Output branch information. More... | |
Public Member Functions inherited from Gecode::SharedHandle | |
| SharedHandle (void) | |
| Create shared handle with no object pointing to. More... | |
| SharedHandle (SharedHandle::Object *so) | |
| Create shared handle that points to shared object so. More... | |
| SharedHandle (const SharedHandle &sh) | |
| Copy constructor maintaining reference count. More... | |
| SharedHandle & | operator= (const SharedHandle &sh) |
| Assignment operator maintaining reference count. More... | |
| void | update (Space &home, bool share, SharedHandle &sh) |
| Updating during cloning. More... | |
| ~SharedHandle (void) | |
| Destructor that maintains reference count. More... | |
Additional Inherited Members | |
Protected Member Functions inherited from Gecode::SharedHandle | |
| SharedHandle::Object * | object (void) const |
| Access to the shared object. More... | |
| void | object (SharedHandle::Object *n) |
| Modify shared object. More... | |
Definition at line 331 of file flatzinc.hh.
| Gecode::FlatZinc::BranchInformation::BranchInformation | ( | void | ) |
Constructor.
Definition at line 272 of file flatzinc.cpp.
| Gecode::FlatZinc::BranchInformation::BranchInformation | ( | const BranchInformation & | bi | ) |
Copy constructor.
Definition at line 275 of file flatzinc.cpp.
| void Gecode::FlatZinc::BranchInformation::init | ( | void | ) |
Initialise for use.
Definition at line 279 of file flatzinc.cpp.
| void Gecode::FlatZinc::BranchInformation::add | ( | const BrancherHandle & | bh, |
| const std::string & | rel0, | ||
| const std::string & | rel1, | ||
| const std::vector< std::string > & | n | ||
| ) |
Add new brancher information.
Definition at line 285 of file flatzinc.cpp.
| void Gecode::FlatZinc::BranchInformation::print | ( | const BrancherHandle & | bh, |
| int | a, | ||
| int | i, | ||
| int | n, | ||
| std::ostream & | o | ||
| ) | const |
Output branch information.
Definition at line 292 of file flatzinc.cpp.
| void Gecode::FlatZinc::BranchInformation::print | ( | const BrancherHandle & | bh, |
| int | a, | ||
| int | i, | ||
| const FloatNumBranch & | nl, | ||
| std::ostream & | o | ||
| ) | const |
Output branch information.
Definition at line 298 of file flatzinc.cpp.