clone() | PC::Marking | |
copy() | PC::Marking | |
getIncidentNode() | PC::Marking | |
getNodes() | PC::Marking | |
getSign(Node n) | PC::Marking | |
getSmallestNode() | PC::Marking | |
id | PC::Marking | |
isDefined() | PC::Marking | |
isReduced() | PC::Marking | |
isSuccessorMarking() | PC::Marking | |
Marking() | PC::Marking | [inline] |
Marking(PowerCircuit *p, int i) | PC::Marking | |
Marking(const Marking &m) | PC::Marking | |
operator!=(const Marking &m) | PC::Marking | |
operator&(const Marking &m) | PC::Marking | |
operator+(const Marking &m) | PC::Marking | |
operator++(int dummy) | PC::Marking | |
operator-() | PC::Marking | |
operator<(const Marking &m) | PC::Marking | |
operator<=(const Marking &m) | PC::Marking | |
operator=(const Marking &rhs) | PC::Marking | |
operator==(const Marking &m) | PC::Marking | |
operator>(const Marking &m) | PC::Marking | |
operator>=(const Marking &m) | PC::Marking | |
pc | PC::Marking | |
~Marking() | PC::Marking |