-public: // (non-static wannabe) fields
- static std::list<VisitedPair*> acceptance_pairs;
- static std::list<Pair*> liveness_stack;
- static xbt_dynar_t visited_pairs;
+public:
+ std::list<std::shared_ptr<VisitedPair>> acceptancePairs_;
+ std::list<Pair*> livenessStack_;
+ std::list<std::shared_ptr<VisitedPair>> visitedPairs_;