#include <flatzinc.hh>
Public Member Functions | |
BranchInformation (void) | |
Constructor. | |
BranchInformation (const BranchInformation &bi) | |
Copy constructor. | |
void | init (void) |
Initialise for use. | |
void | add (const BrancherHandle &bh, const std::string &rel0, const std::string &rel1, const std::vector< std::string > &n) |
Add new brancher information. | |
void | print (const BrancherHandle &bh, int a, int i, int n, std::ostream &o) const |
Output branch information. | |
void | print (const BrancherHandle &bh, int a, int i, const FloatNumBranch &nl, std::ostream &o) const |
Output branch information. |
Definition at line 326 of file flatzinc.hh.
Constructor.
Definition at line 272 of file flatzinc.cpp.
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.