equal
deleted
inserted
replaced
1535 const std::string& _id = std::string()) |
1535 const std::string& _id = std::string()) |
1536 : Parent(_reader), id(_id) { |
1536 : Parent(_reader), id(_id) { |
1537 checkConcept<_reader_bits::ItemIdReader<UndirEdge>, _IdReader>(); |
1537 checkConcept<_reader_bits::ItemIdReader<UndirEdge>, _IdReader>(); |
1538 checkConcept<_reader_bits::ItemIdReader<Edge>, _IdReader>(); |
1538 checkConcept<_reader_bits::ItemIdReader<Edge>, _IdReader>(); |
1539 undirEdgeIdReader.reset(new IdReader<UndirEdge, _IdReader>(_idReader)); |
1539 undirEdgeIdReader.reset(new IdReader<UndirEdge, _IdReader>(_idReader)); |
1540 egdeIdReader.reset(new IdReader<Edge, _IdReader>(_idReader)); |
1540 edgeIdReader.reset(new IdReader<Edge, _IdReader>(_idReader)); |
1541 } |
1541 } |
1542 |
1542 |
1543 /// \brief Destructor. |
1543 /// \brief Destructor. |
1544 /// |
1544 /// |
1545 /// Destructor for UndirEdgeReader. |
1545 /// Destructor for UndirEdgeReader. |