|
Public Member Functions |
| marking (const marking &m) |
| marking (int size=0) |
| Construct a null marking of size size.
|
void | insert (int p, int n) |
| Set n tokens in place p.
|
void | append (int n) |
| Set n tokens in a new place. This place takes size() as index .
|
int | get (int p) const |
| Return the number of tokens in place p.
|
int | size () const |
| Return the number of places on which the marking is defined.
|
bool | operator<= (const marking &m) const |
| Return true if each place of the current marking contains as many or less tokens than m and false otherwise.
|
bool | operator>= (const marking &m) const |
| Return true if each place of the current marking contains as many or more tokens than m and false otherwise.
|
void | plus (const marking &m, marking &res) const |
| res recieves *this + m.
|
void | minus (const marking &m, marking &res) const |
| res recieves *this - m.
|
void | print (std::ostream &os) const |
| Basic printing method (as a vector of integers).
|
const std::vector< int > & | get_vector () const |
| Return the std::vector<int> coding the marking.
|
Protected Attributes |
std::vector< int > | ma |