Generated on Wed Nov 5 2014 05:18:40 for Gecode by doxygen 1.7.6.1
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 (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.

Detailed Description

Definition at line 326 of file flatzinc.hh.


Constructor & Destructor Documentation

Constructor.

Definition at line 272 of file flatzinc.cpp.

Copy constructor.

Definition at line 275 of file flatzinc.cpp.


Member Function Documentation

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.


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