gravatar
alpar (Alpar Juttner)
alpar@cs.elte.hu
Merge
0 2 0
merge default
1 file changed with 111 insertions and 0 deletions:
↑ Collapse diff ↑
Ignore white space 6 line context
... ...
@@ -188,24 +188,65 @@
188 188
            arc_next_in[arc_index] = node_first_in[target];
189 189
            node_first_in[target] = arc_index;
190 190
            arc_next_out[arc_index] = arc_index + 1;
191 191
            ++arc_index;
192 192
          }
193 193
          arc_next_out[arc_index - 1] = -1;
194 194
        } else {
195 195
          node_first_out[source] = arc_index;
196 196
        }
197 197
      }
198 198
      node_first_out[node_num] = arc_num;
199 199
    }
200
    
201
    template <typename ArcListIterator>
202
    void build(int n, ArcListIterator first, ArcListIterator last) {
203
      built = true;
204

	
205
      node_num = n;
206
      arc_num = std::distance(first, last);
207

	
208
      node_first_out = new int[node_num + 1];
209
      node_first_in = new int[node_num];
210

	
211
      arc_source = new int[arc_num];
212
      arc_target = new int[arc_num];
213
      arc_next_out = new int[arc_num];
214
      arc_next_in = new int[arc_num];
215
      
216
      for (int i = 0; i != node_num; ++i) {
217
        node_first_in[i] = -1;
218
      }      
219
      
220
      int arc_index = 0;
221
      for (int i = 0; i != node_num; ++i) {
222
        node_first_out[i] = arc_index;
223
        for ( ; first != last && (*first).first == i; ++first) {
224
          int j = (*first).second;
225
          LEMON_ASSERT(j >= 0 && j < node_num,
226
            "Wrong arc list for StaticDigraph::build()");
227
          arc_source[arc_index] = i;
228
          arc_target[arc_index] = j;
229
          arc_next_in[arc_index] = node_first_in[j];
230
          node_first_in[j] = arc_index;
231
          arc_next_out[arc_index] = arc_index + 1;
232
          ++arc_index;
233
        }
234
        if (arc_index > node_first_out[i])
235
          arc_next_out[arc_index - 1] = -1;
236
      }
237
      LEMON_ASSERT(first == last,
238
        "Wrong arc list for StaticDigraph::build()");
239
      node_first_out[node_num] = arc_num;
240
    }
200 241

	
201 242
  protected:
202 243

	
203 244
    void fastFirstOut(Arc& e, const Node& n) const {
204 245
      e.id = node_first_out[n.id];
205 246
    }
206 247

	
207 248
    static void fastNextOut(Arc& e) {
208 249
      ++e.id;
209 250
    }
210 251
    void fastLastOut(Arc& e, const Node& n) const {
211 252
      e.id = node_first_out[n.id + 1];
... ...
@@ -319,24 +360,62 @@
319 360
    /// It must conform to the \ref concepts::WriteMap "WriteMap" concept.
320 361
    ///
321 362
    /// \note If you do not need the arc references, then you could use
322 363
    /// \ref NullMap for the last parameter. However the node references
323 364
    /// are required by the function itself, thus they must be readable
324 365
    /// from the map.
325 366
    template <typename Digraph, typename NodeRefMap, typename ArcRefMap>
326 367
    void build(const Digraph& digraph, NodeRefMap& nodeRef, ArcRefMap& arcRef) {
327 368
      if (built) Parent::clear();
328 369
      Parent::build(digraph, nodeRef, arcRef);
329 370
    }
330 371
  
372
    /// \brief Build the digraph from an arc list.
373
    ///
374
    /// This function builds the digraph from the given arc list.
375
    /// It can be called more than once, but in such case, the whole
376
    /// structure and all maps will be cleared and rebuilt.
377
    ///
378
    /// The list of the arcs must be given in the range <tt>[begin, end)</tt>
379
    /// specified by STL compatible itartors whose \c value_type must be
380
    /// <tt>std::pair<int,int></tt>.
381
    /// Each arc must be specified by a pair of integer indices
382
    /// from the range <tt>[0..n-1]</tt>. <i>The pairs must be in a
383
    /// non-decreasing order with respect to their first values.</i>
384
    /// If the k-th pair in the list is <tt>(i,j)</tt>, then
385
    /// <tt>arc(k-1)</tt> will connect <tt>node(i)</tt> to <tt>node(j)</tt>.
386
    ///
387
    /// \param n The number of nodes.
388
    /// \param begin An iterator pointing to the beginning of the arc list.
389
    /// \param end An iterator pointing to the end of the arc list.
390
    ///
391
    /// For example, a simple digraph can be constructed like this.
392
    /// \code
393
    ///   std::vector<std::pair<int,int> > arcs;
394
    ///   arcs.push_back(std::make_pair(0,1));
395
    ///   arcs.push_back(std::make_pair(0,2));
396
    ///   arcs.push_back(std::make_pair(1,3));
397
    ///   arcs.push_back(std::make_pair(1,2));
398
    ///   arcs.push_back(std::make_pair(3,0));
399
    ///   StaticDigraph gr;
400
    ///   gr.build(4, arcs.begin(), arcs.end());
401
    /// \endcode
402
    template <typename ArcListIterator>
403
    void build(int n, ArcListIterator begin, ArcListIterator end) {
404
      if (built) Parent::clear();
405
      StaticDigraphBase::build(n, begin, end);
406
      notifier(Node()).build();
407
      notifier(Arc()).build();
408
    }
409

	
331 410
    /// \brief Clear the digraph.
332 411
    ///
333 412
    /// This function erases all nodes and arcs from the digraph.
334 413
    void clear() {
335 414
      Parent::clear();
336 415
    }
337 416

	
338 417
  protected:
339 418

	
340 419
    using Parent::fastFirstOut;
341 420
    using Parent::fastNextOut;
342 421
    using Parent::fastLastOut;
Ignore white space 24 line context
... ...
@@ -432,24 +432,56 @@
432 432
  checkGraphArcList(G, 4);
433 433

	
434 434
  checkGraphOutArcList(G, nref[n1], 1);
435 435
  checkGraphOutArcList(G, nref[n2], 3);
436 436
  checkGraphOutArcList(G, nref[n3], 0);
437 437

	
438 438
  checkGraphInArcList(G, nref[n1], 1);
439 439
  checkGraphInArcList(G, nref[n2], 1);
440 440
  checkGraphInArcList(G, nref[n3], 2);
441 441

	
442 442
  checkGraphConArcList(G, 4);
443 443

	
444
  std::vector<std::pair<int,int> > arcs;
445
  arcs.push_back(std::make_pair(0,1));
446
  arcs.push_back(std::make_pair(0,2));
447
  arcs.push_back(std::make_pair(1,3));
448
  arcs.push_back(std::make_pair(1,2));
449
  arcs.push_back(std::make_pair(3,0));
450
  arcs.push_back(std::make_pair(3,3));
451
  arcs.push_back(std::make_pair(4,2));
452
  arcs.push_back(std::make_pair(4,3));
453
  arcs.push_back(std::make_pair(4,1));
454

	
455
  G.build(6, arcs.begin(), arcs.end());
456
  
457
  checkGraphNodeList(G, 6);
458
  checkGraphArcList(G, 9);
459

	
460
  checkGraphOutArcList(G, G.node(0), 2);
461
  checkGraphOutArcList(G, G.node(1), 2);
462
  checkGraphOutArcList(G, G.node(2), 0);
463
  checkGraphOutArcList(G, G.node(3), 2);
464
  checkGraphOutArcList(G, G.node(4), 3);
465
  checkGraphOutArcList(G, G.node(5), 0);
466

	
467
  checkGraphInArcList(G, G.node(0), 1);
468
  checkGraphInArcList(G, G.node(1), 2);
469
  checkGraphInArcList(G, G.node(2), 3);
470
  checkGraphInArcList(G, G.node(3), 3);
471
  checkGraphInArcList(G, G.node(4), 0);
472
  checkGraphInArcList(G, G.node(5), 0);
473

	
474
  checkGraphConArcList(G, 9);
475

	
444 476
  checkNodeIds(G);
445 477
  checkArcIds(G);
446 478
  checkGraphNodeMap(G);
447 479
  checkGraphArcMap(G);
448 480
  
449 481
  int n = G.nodeNum();
450 482
  int m = G.arcNum();
451 483
  check(G.index(G.node(n-1)) == n-1, "Wrong index.");
452 484
  check(G.index(G.arc(m-1)) == m-1, "Wrong index.");
453 485
}
454 486

	
455 487
void checkFullDigraph(int num) {
0 comments (0 inline)