equal
deleted
inserted
replaced
71 DirMap& _dirMap; |
71 DirMap& _dirMap; |
72 UGraph::UEdgeMap<bool> _processed; |
72 UGraph::UEdgeMap<bool> _processed; |
73 }; |
73 }; |
74 |
74 |
75 |
75 |
76 int main(int argc, const char *argv[]) { |
76 int main() { |
77 cout << "Orientation of the strongly_connected_orientation.lgf " |
77 cout << "Orientation of the strongly_connected_orientation.lgf " |
78 << "to be strongly connected" << endl; |
78 << "to be strongly connected" << endl; |
79 |
79 |
80 UGraph ugraph; |
80 UGraph ugraph; |
81 UGraph::NodeMap<xy<double> > coords(ugraph); |
81 UGraph::NodeMap<xy<double> > coords(ugraph); |