Main Page | Class Hierarchy | Class List | Directories | File List | Class Members | File Members

compressed_marking Class Reference

Implementation of a compressed ordinary Petri net state (a bit vector). More...

Collaboration diagram for compressed_marking:

Collaboration graph
[legend]
List of all members.

Public Member Functions

 compressed_marking (const compressed_marking &m)
 compressed_marking (const marking &m)
 Construct a compression of m.
markingexpand () 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

Detailed Description

Implementation of a compressed ordinary Petri net state (a bit vector).

Definition at line 32 of file compressedmarking.hh.


Constructor & Destructor Documentation

compressed_marking::compressed_marking const compressed_marking m  ) 
 

compressed_marking::compressed_marking const marking m  ) 
 

Construct a compression of m.


Member Function Documentation

marking* compressed_marking::expand  )  const
 

Return the corresponding expanded marking.

const std::vector<bool>& compressed_marking::get_vector  )  const
 

Return the std::vector<bool> coding the marking.

void compressed_marking::print std::ostream &  os  )  const
 

Basic printing method (as a vector of bits).


Member Data Documentation

std::vector<bool> compressed_marking::mac [protected]
 

Definition at line 49 of file compressedmarking.hh.


The documentation for this class was generated from the following file:
Please comment this page and report errors about it on the RefDocComments page.
Generated on Mon Jan 31 15:17:13 2005 for checkpn by doxygen 1.4.0