Emty value selection choice. More...
#include <brancher-val.hpp>
Public Member Functions | |
size_t | size (void) const |
Report size occupied. | |
void | archive (Archive &e) const |
Archive into e. |
Emty value selection choice.
size_t Gecode::EmptyValSelChoice::size | ( | void | ) | const [inline] |
Report size occupied.
Definition at line 91 of file brancher-val.hpp.
void Gecode::EmptyValSelChoice::archive | ( | Archive & | e | ) | const [inline] |
Archive into e.
Definition at line 95 of file brancher-val.hpp.