Generated on Tue Apr 18 10:23:24 2017 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 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 [inline, virtual]

Report size occupied.

Implements Gecode::Choice.

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

Member Data Documentation

Whether brancher should fail.

Definition at line 106 of file flatzinc.cpp.

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