Generated on Wed Feb 7 10:29:02 2018 for Gecode by doxygen 1.6.3

Gecode::FlatZinc::AuxVarBrancher::Choice Class Reference

Choice that only signals failure or success More...

List of all members.

Public Member Functions

 Choice (const Brancher &b, bool fail0)
 Initialize choice for brancher b.
virtual size_t size (void) const
 Report size occupied.
virtual void archive (Archive &e) const
 Archive into e.

Public Attributes

bool fail
 Whether brancher should fail.

Detailed Description

Choice that only signals failure or success

Definition at line 141 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 146 of file flatzinc.cpp.

Member Function Documentation

virtual size_t Gecode::FlatZinc::AuxVarBrancher::Choice::size ( void   )  const [inline, virtual]

Report size occupied.

Definition at line 149 of file flatzinc.cpp.

virtual void Gecode::FlatZinc::AuxVarBrancher::Choice::archive ( Archive e  )  const [inline, virtual]

Archive into e.

Reimplemented from Gecode::Choice.

Definition at line 153 of file flatzinc.cpp.

Member Data Documentation

Whether brancher should fail.

Definition at line 144 of file flatzinc.cpp.

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