Gecode::ChoiceVirtual< Choice > Class Template Reference
[Generic view tie-breaking for brancher based on view and value selection]
Virtualized choice. More...
#include <brancher-tiebreak.hpp>
Public Member Functions | |
| ChoiceVirtual (const Choice &c) | |
| Constructor for initialization. | |
| virtual ChoiceVirtualBase * | copy (void) const |
| Create copy. | |
| virtual size_t | size (void) const |
| Report size required. | |
| virtual | ~ChoiceVirtual (void) |
| Destructor. | |
| virtual void | archive (Archive &e) const |
| Archive into e. | |
Public Attributes | |
| Choice | choice |
| Static choice object. | |
Detailed Description
template<class Choice>
class Gecode::ChoiceVirtual< Choice >
Virtualized choice.
Definition at line 151 of file brancher-tiebreak.hpp.
Constructor & Destructor Documentation
template<class Choice >
| Gecode::ChoiceVirtual< Choice >::ChoiceVirtual | ( | const Choice & | c | ) | [inline] |
Constructor for initialization.
Definition at line 382 of file brancher-tiebreak.hpp.
template<class Choice >
| Gecode::ChoiceVirtual< Choice >::~ChoiceVirtual | ( | void | ) | [inline, virtual] |
Destructor.
Definition at line 395 of file brancher-tiebreak.hpp.
Member Function Documentation
template<class Choice >
| ChoiceVirtualBase * Gecode::ChoiceVirtual< Choice >::copy | ( | void | ) | const [inline, virtual] |
Create copy.
Implements Gecode::ChoiceVirtualBase.
Definition at line 386 of file brancher-tiebreak.hpp.
template<class Choice >
| size_t Gecode::ChoiceVirtual< Choice >::size | ( | void | ) | const [inline, virtual] |
Report size required.
Implements Gecode::ChoiceVirtualBase.
Definition at line 391 of file brancher-tiebreak.hpp.
template<class Choice >
| void Gecode::ChoiceVirtual< Choice >::archive | ( | Archive & | e | ) | const [inline, virtual] |
Archive into e.
Implements Gecode::ChoiceVirtualBase.
Definition at line 397 of file brancher-tiebreak.hpp.
Member Data Documentation
template<class Choice>
| Choice Gecode::ChoiceVirtual< Choice >::choice |
Static choice object.
Definition at line 154 of file brancher-tiebreak.hpp.
The documentation for this class was generated from the following file:
- gecode/kernel/brancher-tiebreak.hpp (Revision: 12001)