Archive representation More...
#include <archive.hpp>
Public Member Functions | |
Archive (void) | |
Construct empty representation. | |
~Archive (void) | |
Destructor. | |
Archive (const Archive &e) | |
Copy constructor. | |
Archive & | operator= (const Archive &e) |
Assignment operator. | |
void | put (unsigned int i) |
Add i to the contents. | |
int | size (void) const |
Return size. | |
unsigned int | operator[] (int i) const |
Return array element i. | |
unsigned int | get (void) |
Return next element to read. |
Related Symbols | |
(Note that these are not member symbols.) | |
Archive & | operator<< (Archive &e, unsigned int i) |
Archive & | operator<< (Archive &e, int i) |
Archive & | operator<< (Archive &e, unsigned short i) |
Archive & | operator<< (Archive &e, short i) |
Archive & | operator<< (Archive &e, unsigned char i) |
Archive & | operator<< (Archive &e, char i) |
Archive & | operator<< (Archive &e, bool i) |
Archive & | operator<< (Archive &e, float d) |
Archive & | operator<< (Archive &e, double d) |
Archive & | operator>> (Archive &e, unsigned int &i) |
Archive & | operator>> (Archive &e, int &i) |
Archive & | operator>> (Archive &e, unsigned short &i) |
Archive & | operator>> (Archive &e, short &i) |
Archive & | operator>> (Archive &e, unsigned char &i) |
Archive & | operator>> (Archive &e, char &i) |
Archive & | operator>> (Archive &e, bool &i) |
Archive & | operator>> (Archive &e, float &d) |
Archive & | operator>> (Archive &e, double &d) |
Archive representation
An Archive is an array of unsigned integers, used as an external representation of internal data structures (such as Choice objects).
Definition at line 42 of file archive.hpp.
|
inline |
Construct empty representation.
Definition at line 171 of file archive.hpp.
Gecode::Archive::~Archive | ( | void | ) |
Destructor.
Definition at line 60 of file archive.cpp.
Gecode::Archive::Archive | ( | const Archive & | e | ) |
Copy constructor.
Definition at line 45 of file archive.cpp.
Assignment operator.
Definition at line 51 of file archive.cpp.
|
inline |
Add i to the contents.
Definition at line 174 of file archive.hpp.
|
inline |
Return size.
Definition at line 181 of file archive.hpp.
|
inline |
Return array element i.
Definition at line 184 of file archive.hpp.
|
inline |
Return next element to read.
Definition at line 190 of file archive.hpp.
Add i to the end of e
Definition at line 195 of file archive.hpp.
Add i to the end of e
Definition at line 200 of file archive.hpp.
Add i to the end of e
Definition at line 205 of file archive.hpp.
Add i to the end of e
Definition at line 210 of file archive.hpp.
Add i to the end of e
Definition at line 215 of file archive.hpp.
Add i to the end of e
Definition at line 220 of file archive.hpp.
Add i to the end of e
Definition at line 225 of file archive.hpp.
Add d to the end of e
Definition at line 230 of file archive.hpp.
Add d to the end of e
Definition at line 236 of file archive.hpp.
Read next element from e into i
Definition at line 244 of file archive.hpp.
Read next element from e into i
Definition at line 249 of file archive.hpp.
Read next element from e into i
Definition at line 254 of file archive.hpp.
Read next element from e into i
Definition at line 259 of file archive.hpp.
Read next element from e into i
Definition at line 264 of file archive.hpp.
Read next element from e into i
Definition at line 269 of file archive.hpp.
Read next element from e into i
Definition at line 274 of file archive.hpp.
Read next element from e into d
Definition at line 279 of file archive.hpp.
Read next element from e into d
Definition at line 286 of file archive.hpp.