SNAPSHOTALLOC
private:
void addNodeEdge(CycleNode *fromnode, CycleNode *tonode);
void putNode(const ModelAction *act, CycleNode *node);
CycleNode * getNode(const ModelAction *);
CycleNode * getNode(const Promise *promise);
SNAPSHOTALLOC
private:
void addNodeEdge(CycleNode *fromnode, CycleNode *tonode);
void putNode(const ModelAction *act, CycleNode *node);
CycleNode * getNode(const ModelAction *);
CycleNode * getNode(const Promise *promise);