Generated on Thu Apr 11 13:59:51 2019 for Gecode by doxygen 1.6.3

Gecode::FlatZinc::BranchInformation Class Reference

#include <flatzinc.hh>

List of all members.

Public Member Functions

 BranchInformation (void)
 Constructor.
 BranchInformation (const BranchInformation &bi)
 Copy constructor.
void init (void)
 Initialise for use.
void add (BrancherGroup bg, const std::string &rel0, const std::string &rel1, const std::vector< std::string > &n)
 Add new brancher information.
void print (const Brancher &b, unsigned int a, int i, int n, std::ostream &o) const
 Output branch information.
void print (const Brancher &b, unsigned int a, int i, const FloatNumBranch &nl, std::ostream &o) const
 Output branch information.

Detailed Description

Definition at line 394 of file flatzinc.hh.


Constructor & Destructor Documentation

Gecode::FlatZinc::BranchInformation::BranchInformation ( void   ) 

Constructor.

Definition at line 308 of file flatzinc.cpp.

Gecode::FlatZinc::BranchInformation::BranchInformation ( const BranchInformation bi  ) 

Copy constructor.

Definition at line 311 of file flatzinc.cpp.


Member Function Documentation

void Gecode::FlatZinc::BranchInformation::init ( void   ) 

Initialise for use.

Definition at line 315 of file flatzinc.cpp.

void Gecode::FlatZinc::BranchInformation::add ( BrancherGroup  bg,
const std::string &  rel0,
const std::string &  rel1,
const std::vector< std::string > &  n 
)

Add new brancher information.

Definition at line 321 of file flatzinc.cpp.

void Gecode::FlatZinc::BranchInformation::print ( const Brancher b,
unsigned int  a,
int  i,
int  n,
std::ostream &  o 
) const

Output branch information.

Definition at line 328 of file flatzinc.cpp.

void Gecode::FlatZinc::BranchInformation::print ( const Brancher b,
unsigned int  a,
int  i,
const FloatNumBranch nl,
std::ostream &  o 
) const

Output branch information.

Definition at line 334 of file flatzinc.cpp.


The documentation for this class was generated from the following files: