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

marking Member List

This is the complete list of members for marking, including all inherited members.

append(int n)marking
get(int p) constmarking
get_vector() constmarking
insert(int p, int n)marking
mamarking [protected]
marking(const marking &m)marking
marking(int size=0)marking
minus(const marking &m, marking &res) constmarking
operator<=(const marking &m) constmarking
operator>=(const marking &m) constmarking
plus(const marking &m, marking &res) constmarking
print(std::ostream &os) constmarking
size() constmarking


Please comment this page and report errors about it on the RefDocComments page.
Generated on Tue Nov 9 16:24:00 2004 for checkpn by doxygen 1.3.8