Collaboration diagram for marking:
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 |
Definition at line 30 of file marking.hh.
|
|
|
Construct a null marking of size size.
|
|
Set n tokens in a new place. This place takes size() as index .
|
|
Return the number of tokens in place p.
|
|
Return the std::vector<int> coding the marking.
|
|
Set n tokens in place p.
|
|
res recieves *this - m.
|
|
Return true if each place of the current marking contains as many or less tokens than m and false otherwise.
|
|
Return true if each place of the current marking contains as many or more tokens than m and false otherwise.
|
|
res recieves *this + m.
|
|
Basic printing method (as a vector of integers).
|
|
Return the number of places on which the marking is defined.
|
|
Definition at line 74 of file marking.hh. |