compressed_marking(const compressed_marking &m) | compressed_marking | |
compressed_marking(const marking &m) | compressed_marking | |
expand() const | compressed_marking | |
get_vector() const | compressed_marking | |
mac | compressed_marking | [protected] |
print(std::ostream &os) const | compressed_marking |