X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=cyclegraph.h;h=fcb1d30960843413814b07796c015866100cabf7;hp=749abf8ca847d9969016356101b153c4d0688a84;hb=d7e26717ec76b225475afe69a463b6e21e026f26;hpb=90342c146c207107ec0bf05cb70b2d7defbeaa3e diff --git a/cyclegraph.h b/cyclegraph.h index 749abf8c..fcb1d309 100644 --- a/cyclegraph.h +++ b/cyclegraph.h @@ -102,11 +102,6 @@ class CycleNode { void clearRMW() { hasRMW = NULL; } const ModelAction * getAction() const { return action; } const Promise * getPromise() const { return promise; } - - void popEdge() { - edges.pop_back(); - } - bool is_promise() const { return !action; } void resolvePromise(const ModelAction *writer);