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