1 #ifndef __DIADES__GRAPH__GRAPHNODESET__HH 2 #define __DIADES__GRAPH__GRAPHNODESET__HH 5 #include <unordered_set> 37 return "Graph::GraphNodeSet";
115 void insertNode(
Node n);
117 template<
class InputNodeIterator>
121 _nodes.insert(first, last);
129 void removeNode(
Node n);
140 require(
Exception, &n.owner() == &_grph,
"findNode: the node n has an incorrect owner.");
141 return _nodes.find(n);
151 return _nodes.empty();
160 return _nodes.size();
170 GraphNodeSet * nextGraphNodeSet(
const set<Edge> & edges)
const;
180 GraphNodeSet * previousGraphNodeSet(
const set<Edge> & edges)
const;
198 return _nodes.begin();
225 return(&_grph == &ns.
_grph) && (_nodes == ns.
_nodes);
bool operator==(const GraphNodeSet &ns) const
GraphNodeSet(const Graph &graph)
Iterator findNode(Node n) const
#define require(Exception, expr, message)
Namespace of the Diades project.
std::ostream & operator<<(std::ostream &os, const Identifier &identifier)
set< Node > & setOfNodes()
ConstIterator on the Net.
boost::adjacency_list Graph
void insertNodes(InputNodeIterator first, InputNodeIterator last)
const Graph & graph() const