From: Brian Norris Date: Wed, 6 Feb 2013 21:42:24 +0000 (-0800) Subject: cyclegraph: trivial shortening X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ca060d2744dd60d1ed37b7db12aa1814633f95e1;p=cdsspec-compiler.git cyclegraph: trivial shortening --- diff --git a/cyclegraph.h b/cyclegraph.h index 5f6974b..8efd5d4 100644 --- a/cyclegraph.h +++ b/cyclegraph.h @@ -71,14 +71,12 @@ class CycleNode { unsigned int getNumBackEdges() const; bool setRMW(CycleNode *); CycleNode * getRMW() const; + void clearRMW() { hasRMW = NULL; } const ModelAction * getAction() const { return action; } void popEdge() { edges.pop_back(); } - void clearRMW() { - hasRMW = NULL; - } SNAPSHOTALLOC private: