DiaDes
0.1
DIAgnosis of Discrete-Event System
|
A CBox is a container that contains at most a constant reference to an object. More...
#include <Box.hh>
Public Types | |
typedef std::reference_wrapper< Object const > | Reference |
Public Member Functions | |
CBox () | |
CBox (const Object &object) | |
CBox (const CBox &box) | |
const Object & | obj () const |
bool | empty () const |
const Object & | operator= (const Object &object) |
void | clear () |
bool | operator< (const CBox &box) const |
bool | operator== (const CBox &box) const |
Private Attributes | |
std::vector< Reference > | _box |
A CBox is a container that contains at most a constant reference to an object.
A CBox is a small utility based on a vector and a reference_wrapper that helps at holding a reference either permanently or temporarily
typedef std::reference_wrapper<Object const> Diades::Utils::CBox< Object >::Reference |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
Definition at line 274 of file Box.hh.
Referenced by Diades::Utils::CBox< Diades::Petri::BranchingProcess >::CBox(), Diades::Utils::CBox< Diades::Petri::BranchingProcess >::operator<(), and Diades::Utils::CBox< Diades::Petri::BranchingProcess >::operator==().
|
inline |
Definition at line 262 of file Box.hh.
Referenced by Diades::Utils::CBox< Diades::Petri::BranchingProcess >::CBox(), std::hash< Diades::Utils::CBox< Object > >::operator()(), Diades::Utils::CBox< Diades::Petri::BranchingProcess >::operator<(), Diades::Utils::CBox< Diades::Petri::BranchingProcess >::operator==(), and Diades::Petri::Extension::process().
|
inline |
|
inline |
|
inline |
|
private |