addRef() const | RefCounter | [inline] |
clear() | GraphRep | [private] |
clone() const | GraphRep | [inline] |
delRef() const | RefCounter | [inline] |
edge_type typedef | GraphRep | |
getStates() const | GraphRep | [inline, private] |
Graph class | GraphRep | [friend] |
GraphRep() | GraphRep | [inline, private] |
lastRef() const | RefCounter | [inline] |
maxState | GraphRep | [private] |
newEdge(int v1, int v2) | GraphRep | [private] |
newState() | GraphRep | [private] |
RefCounter() | RefCounter | [inline] |
RefCounter(const RefCounter &rc) | RefCounter | [inline] |
refCounterType typedef | RefCounter | |
sharedRef() const | RefCounter | [inline] |
state_type typedef | GraphRep | |
theStates | GraphRep | [private] |