Collaboration diagram for compressed_marking:
Public Member Functions | |
compressed_marking (const compressed_marking &m) | |
compressed_marking (const marking &m) | |
Construct a compression of m. | |
marking * | expand () const |
Return the corresponding expanded marking. | |
void | print (std::ostream &os) const |
Basic printing method (as a vector of bits). | |
const std::vector< bool > & | get_vector () const |
Return the std::vector<bool> coding the marking. | |
Protected Attributes | |
std::vector< bool > | mac |
Definition at line 32 of file compressedmarking.hh.
|
|
|
Construct a compression of m.
|
|
Return the corresponding expanded marking.
|
|
Return the std::vector<bool> coding the marking.
|
|
Basic printing method (as a vector of bits).
|
|
Definition at line 49 of file compressedmarking.hh. |