1 #ifndef VIRTUAL_CFG_ITERATOR
2 #define VIRTUAL_CFG_ITERATOR
4 #include "virtualCFG.h"
5 #include "DataflowCFG.h"
21 std::list<DataflowNode> remainingNodes;
23 std::set<DataflowNode> visited;
41 void advance(
bool fwDir,
bool pushAllChildren);
44 virtual void operator ++ (
int);
46 bool eq(
const iterator& other_it)
const;
48 bool operator==(
const iterator& other_it)
const;
50 bool operator!=(
const iterator& it)
const;
65 std::list<DataflowNode> remainingNodes;
66 std::set<DataflowNode> visited;
69 checkpoint(
const std::list<DataflowNode>& remainingNodes,
const std::set<DataflowNode>& visited);
73 std::string str(std::string indent=
"");
84 std::string str(std::string indent=
"");
94 void operator ++ (
int);
132 std::string str(std::string indent=
"");
143 std::string str(std::string indent=
"");
157 void operator ++ (
int);