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

Choice that only signals failure or success More...

Public Member Functions

 Choice (const Brancher &b, bool fail0)
 Initialize choice for brancher b. More...
 
virtual size_t size (void) const
 Report size occupied. More...
 
virtual void archive (Archive &e) const
 Archive into e. More...
 
- Public Member Functions inherited from Gecode::Choice
unsigned int alternatives (void) const
 Return number of alternatives. More...
 
virtual ~Choice (void)
 Destructor. More...
 

Public Attributes

bool fail
 Whether brancher should fail. More...
 

Additional Inherited Members

- Static Public Member Functions inherited from Gecode::Choice
static void * operator new (size_t)
 Allocate memory from heap. More...
 
static void operator delete (void *)
 Return memory to heap. More...
 
- Protected Member Functions inherited from Gecode::Choice
 Choice (const Brancher &b, const unsigned int a)
 Initialize for particular brancher b and alternatives a. More...
 

Detailed Description

Choice that only signals failure or success

Definition at line 103 of file flatzinc.cpp.

Constructor & Destructor Documentation

Gecode::FlatZinc::AuxVarBrancher::Choice::Choice ( const Brancher b,
bool  fail0 
)
inline

Initialize choice for brancher b.

Definition at line 108 of file flatzinc.cpp.

Member Function Documentation

virtual size_t Gecode::FlatZinc::AuxVarBrancher::Choice::size ( void  ) const
inlinevirtual

Report size occupied.

Implements Gecode::Choice.

Definition at line 111 of file flatzinc.cpp.

virtual void Gecode::FlatZinc::AuxVarBrancher::Choice::archive ( Archive e) const
inlinevirtual

Archive into e.

Reimplemented from Gecode::Choice.

Definition at line 115 of file flatzinc.cpp.

Member Data Documentation

bool Gecode::FlatZinc::AuxVarBrancher::Choice::fail

Whether brancher should fail.

Definition at line 106 of file flatzinc.cpp.


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