Generated on Sat Feb 7 2015 02:01:42 for Gecode by doxygen 1.8.9.1
Gecode::FlatZinc::BranchInformation Class Reference

#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...
 
SharedHandleoperator= (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::Objectobject (void) const
 Access to the shared object. More...
 
void object (SharedHandle::Object *n)
 Modify shared object. More...
 

Detailed Description

Definition at line 327 of file flatzinc.hh.

Constructor & Destructor Documentation

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.

Member Function Documentation

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.


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