explicit_storage.hh File Reference

Go to the source code of this file.

Classes

class  explicit_storage_t
 explicit storage class More...
class  state_ref_t
 State reference class. More...

Defines

#define EXPLICIT_STORAGE_ERR_TYPE   11
#define EXPLICIT_STORAGE_HASH_SEED   0xBA9A9ABA

Functions

static bool operator!= (const state_ref_t &r1, const state_ref_t &r2)
 Operator for non-equality of references.
static bool operator< (const state_ref_t &r1, const state_ref_t &r2)
 Operator "<" for references.
std::ostream & operator<< (std::ostream &ostr, const state_ref_t &ref)
 Prints a reference representation to the given stream.
static bool operator<= (const state_ref_t &r1, const state_ref_t &r2)
 Operator "<=" for references.
static bool operator== (const state_ref_t &r1, const state_ref_t &r2)
 Operator for equality of references.
static bool operator> (const state_ref_t &r1, const state_ref_t &r2)
 Operator ">" for references.
static bool operator>= (const state_ref_t &r1, const state_ref_t &r2)
 Operator ">=" for references.


Detailed Description

state hashing support

Author:
Jiri Barnat

Reference Manual for Library, 2006 developed in ParaDiSe laboratory, Faculty of Informatics, Masaryk University