... | ... |
@@ -3127,257 +3127,257 @@ |
3127 | 3127 |
public: |
3128 | 3128 |
|
3129 | 3129 |
/// \brief Forward iterator for values. |
3130 | 3130 |
/// |
3131 | 3131 |
/// This iterator is an STL compatible forward |
3132 | 3132 |
/// iterator on the values of the map. The values can |
3133 | 3133 |
/// be accessed in the <tt>[beginValue, endValue)</tt> range. |
3134 | 3134 |
class ValueIt |
3135 | 3135 |
: public std::iterator<std::forward_iterator_tag, Value> { |
3136 | 3136 |
friend class IterableValueMap; |
3137 | 3137 |
private: |
3138 | 3138 |
ValueIt(typename std::map<Value, Key>::const_iterator _it) |
3139 | 3139 |
: it(_it) {} |
3140 | 3140 |
public: |
3141 | 3141 |
|
3142 | 3142 |
/// Constructor |
3143 | 3143 |
ValueIt() {} |
3144 | 3144 |
|
3145 | 3145 |
/// \e |
3146 | 3146 |
ValueIt& operator++() { ++it; return *this; } |
3147 | 3147 |
/// \e |
3148 | 3148 |
ValueIt operator++(int) { |
3149 | 3149 |
ValueIt tmp(*this); |
3150 | 3150 |
operator++(); |
3151 | 3151 |
return tmp; |
3152 | 3152 |
} |
3153 | 3153 |
|
3154 | 3154 |
/// \e |
3155 | 3155 |
const Value& operator*() const { return it->first; } |
3156 | 3156 |
/// \e |
3157 | 3157 |
const Value* operator->() const { return &(it->first); } |
3158 | 3158 |
|
3159 | 3159 |
/// \e |
3160 | 3160 |
bool operator==(ValueIt jt) const { return it == jt.it; } |
3161 | 3161 |
/// \e |
3162 | 3162 |
bool operator!=(ValueIt jt) const { return it != jt.it; } |
3163 | 3163 |
|
3164 | 3164 |
private: |
3165 | 3165 |
typename std::map<Value, Key>::const_iterator it; |
3166 | 3166 |
}; |
3167 | 3167 |
|
3168 | 3168 |
/// \brief Returns an iterator to the first value. |
3169 | 3169 |
/// |
3170 | 3170 |
/// Returns an STL compatible iterator to the |
3171 | 3171 |
/// first value of the map. The values of the |
3172 | 3172 |
/// map can be accessed in the <tt>[beginValue, endValue)</tt> |
3173 | 3173 |
/// range. |
3174 | 3174 |
ValueIt beginValue() const { |
3175 | 3175 |
return ValueIt(_first.begin()); |
3176 | 3176 |
} |
3177 | 3177 |
|
3178 | 3178 |
/// \brief Returns an iterator after the last value. |
3179 | 3179 |
/// |
3180 | 3180 |
/// Returns an STL compatible iterator after the |
3181 | 3181 |
/// last value of the map. The values of the |
3182 | 3182 |
/// map can be accessed in the <tt>[beginValue, endValue)</tt> |
3183 | 3183 |
/// range. |
3184 | 3184 |
ValueIt endValue() const { |
3185 | 3185 |
return ValueIt(_first.end()); |
3186 | 3186 |
} |
3187 | 3187 |
|
3188 | 3188 |
/// \brief Set operation of the map. |
3189 | 3189 |
/// |
3190 | 3190 |
/// Set operation of the map. |
3191 | 3191 |
void set(const Key& key, const Value& value) { |
3192 | 3192 |
unlace(key); |
3193 | 3193 |
Parent::operator[](key).value = value; |
3194 | 3194 |
lace(key); |
3195 | 3195 |
} |
3196 | 3196 |
|
3197 | 3197 |
/// \brief Const subscript operator of the map. |
3198 | 3198 |
/// |
3199 | 3199 |
/// Const subscript operator of the map. |
3200 | 3200 |
const Value& operator[](const Key& key) const { |
3201 | 3201 |
return Parent::operator[](key).value; |
3202 | 3202 |
} |
3203 | 3203 |
|
3204 | 3204 |
/// \brief Iterator for the keys with the same value. |
3205 | 3205 |
/// |
3206 | 3206 |
/// Iterator for the keys with the same value. It works |
3207 | 3207 |
/// like a graph item iterator, it can be converted to |
3208 | 3208 |
/// the item type of the map, incremented with \c ++ operator, and |
3209 | 3209 |
/// if the iterator leaves the last valid item, it will be equal to |
3210 | 3210 |
/// \c INVALID. |
3211 | 3211 |
class ItemIt : public Key { |
3212 | 3212 |
public: |
3213 | 3213 |
typedef Key Parent; |
3214 | 3214 |
|
3215 | 3215 |
/// \brief Invalid constructor \& conversion. |
3216 | 3216 |
/// |
3217 | 3217 |
/// This constructor initializes the iterator to be invalid. |
3218 | 3218 |
/// \sa Invalid for more details. |
3219 | 3219 |
ItemIt(Invalid) : Parent(INVALID), _map(0) {} |
3220 | 3220 |
|
3221 | 3221 |
/// \brief Creates an iterator with a value. |
3222 | 3222 |
/// |
3223 | 3223 |
/// Creates an iterator with a value. It iterates on the |
3224 | 3224 |
/// keys which have the given value. |
3225 | 3225 |
/// \param map The IterableValueMap |
3226 | 3226 |
/// \param value The value |
3227 | 3227 |
ItemIt(const IterableValueMap& map, const Value& value) : _map(&map) { |
3228 | 3228 |
typename std::map<Value, Key>::const_iterator it = |
3229 | 3229 |
map._first.find(value); |
3230 | 3230 |
if (it == map._first.end()) { |
3231 | 3231 |
Parent::operator=(INVALID); |
3232 | 3232 |
} else { |
3233 | 3233 |
Parent::operator=(it->second); |
3234 | 3234 |
} |
3235 | 3235 |
} |
3236 | 3236 |
|
3237 | 3237 |
/// \brief Increment operator. |
3238 | 3238 |
/// |
3239 | 3239 |
/// Increment Operator. |
3240 | 3240 |
ItemIt& operator++() { |
3241 | 3241 |
Parent::operator=(_map->IterableValueMap::Parent:: |
3242 | 3242 |
operator[](static_cast<Parent&>(*this)).next); |
3243 | 3243 |
return *this; |
3244 | 3244 |
} |
3245 | 3245 |
|
3246 | 3246 |
|
3247 | 3247 |
private: |
3248 | 3248 |
const IterableValueMap* _map; |
3249 | 3249 |
}; |
3250 | 3250 |
|
3251 | 3251 |
protected: |
3252 | 3252 |
|
3253 | 3253 |
virtual void add(const Key& key) { |
3254 | 3254 |
Parent::add(key); |
3255 |
|
|
3255 |
lace(key); |
|
3256 | 3256 |
} |
3257 | 3257 |
|
3258 | 3258 |
virtual void add(const std::vector<Key>& keys) { |
3259 | 3259 |
Parent::add(keys); |
3260 | 3260 |
for (int i = 0; i < int(keys.size()); ++i) { |
3261 | 3261 |
lace(keys[i]); |
3262 | 3262 |
} |
3263 | 3263 |
} |
3264 | 3264 |
|
3265 | 3265 |
virtual void erase(const Key& key) { |
3266 | 3266 |
unlace(key); |
3267 | 3267 |
Parent::erase(key); |
3268 | 3268 |
} |
3269 | 3269 |
|
3270 | 3270 |
virtual void erase(const std::vector<Key>& keys) { |
3271 | 3271 |
for (int i = 0; i < int(keys.size()); ++i) { |
3272 | 3272 |
unlace(keys[i]); |
3273 | 3273 |
} |
3274 | 3274 |
Parent::erase(keys); |
3275 | 3275 |
} |
3276 | 3276 |
|
3277 | 3277 |
virtual void build() { |
3278 | 3278 |
Parent::build(); |
3279 | 3279 |
for (typename Parent::ItemIt it(*this); it != INVALID; ++it) { |
3280 | 3280 |
lace(it); |
3281 | 3281 |
} |
3282 | 3282 |
} |
3283 | 3283 |
|
3284 | 3284 |
virtual void clear() { |
3285 | 3285 |
_first.clear(); |
3286 | 3286 |
Parent::clear(); |
3287 | 3287 |
} |
3288 | 3288 |
|
3289 | 3289 |
private: |
3290 | 3290 |
std::map<Value, Key> _first; |
3291 | 3291 |
}; |
3292 | 3292 |
|
3293 | 3293 |
/// \brief Map of the source nodes of arcs in a digraph. |
3294 | 3294 |
/// |
3295 | 3295 |
/// SourceMap provides access for the source node of each arc in a digraph, |
3296 | 3296 |
/// which is returned by the \c source() function of the digraph. |
3297 | 3297 |
/// \tparam GR The digraph type. |
3298 | 3298 |
/// \see TargetMap |
3299 | 3299 |
template <typename GR> |
3300 | 3300 |
class SourceMap { |
3301 | 3301 |
public: |
3302 | 3302 |
|
3303 | 3303 |
/// The key type (the \c Arc type of the digraph). |
3304 | 3304 |
typedef typename GR::Arc Key; |
3305 | 3305 |
/// The value type (the \c Node type of the digraph). |
3306 | 3306 |
typedef typename GR::Node Value; |
3307 | 3307 |
|
3308 | 3308 |
/// \brief Constructor |
3309 | 3309 |
/// |
3310 | 3310 |
/// Constructor. |
3311 | 3311 |
/// \param digraph The digraph that the map belongs to. |
3312 | 3312 |
explicit SourceMap(const GR& digraph) : _graph(digraph) {} |
3313 | 3313 |
|
3314 | 3314 |
/// \brief Returns the source node of the given arc. |
3315 | 3315 |
/// |
3316 | 3316 |
/// Returns the source node of the given arc. |
3317 | 3317 |
Value operator[](const Key& arc) const { |
3318 | 3318 |
return _graph.source(arc); |
3319 | 3319 |
} |
3320 | 3320 |
|
3321 | 3321 |
private: |
3322 | 3322 |
const GR& _graph; |
3323 | 3323 |
}; |
3324 | 3324 |
|
3325 | 3325 |
/// \brief Returns a \c SourceMap class. |
3326 | 3326 |
/// |
3327 | 3327 |
/// This function just returns an \c SourceMap class. |
3328 | 3328 |
/// \relates SourceMap |
3329 | 3329 |
template <typename GR> |
3330 | 3330 |
inline SourceMap<GR> sourceMap(const GR& graph) { |
3331 | 3331 |
return SourceMap<GR>(graph); |
3332 | 3332 |
} |
3333 | 3333 |
|
3334 | 3334 |
/// \brief Map of the target nodes of arcs in a digraph. |
3335 | 3335 |
/// |
3336 | 3336 |
/// TargetMap provides access for the target node of each arc in a digraph, |
3337 | 3337 |
/// which is returned by the \c target() function of the digraph. |
3338 | 3338 |
/// \tparam GR The digraph type. |
3339 | 3339 |
/// \see SourceMap |
3340 | 3340 |
template <typename GR> |
3341 | 3341 |
class TargetMap { |
3342 | 3342 |
public: |
3343 | 3343 |
|
3344 | 3344 |
/// The key type (the \c Arc type of the digraph). |
3345 | 3345 |
typedef typename GR::Arc Key; |
3346 | 3346 |
/// The value type (the \c Node type of the digraph). |
3347 | 3347 |
typedef typename GR::Node Value; |
3348 | 3348 |
|
3349 | 3349 |
/// \brief Constructor |
3350 | 3350 |
/// |
3351 | 3351 |
/// Constructor. |
3352 | 3352 |
/// \param digraph The digraph that the map belongs to. |
3353 | 3353 |
explicit TargetMap(const GR& digraph) : _graph(digraph) {} |
3354 | 3354 |
|
3355 | 3355 |
/// \brief Returns the target node of the given arc. |
3356 | 3356 |
/// |
3357 | 3357 |
/// Returns the target node of the given arc. |
3358 | 3358 |
Value operator[](const Key& e) const { |
3359 | 3359 |
return _graph.target(e); |
3360 | 3360 |
} |
3361 | 3361 |
|
3362 | 3362 |
private: |
3363 | 3363 |
const GR& _graph; |
3364 | 3364 |
}; |
3365 | 3365 |
|
3366 | 3366 |
/// \brief Returns a \c TargetMap class. |
3367 | 3367 |
/// |
3368 | 3368 |
/// This function just returns a \c TargetMap class. |
3369 | 3369 |
/// \relates TargetMap |
3370 | 3370 |
template <typename GR> |
3371 | 3371 |
inline TargetMap<GR> targetMap(const GR& graph) { |
3372 | 3372 |
return TargetMap<GR>(graph); |
3373 | 3373 |
} |
3374 | 3374 |
|
3375 | 3375 |
/// \brief Map of the "forward" directed arc view of edges in a graph. |
3376 | 3376 |
/// |
3377 | 3377 |
/// ForwardMap provides access for the "forward" directed arc view of |
3378 | 3378 |
/// each edge in a graph, which is returned by the \c direct() function |
3379 | 3379 |
/// of the graph with \c true parameter. |
3380 | 3380 |
/// \tparam GR The graph type. |
3381 | 3381 |
/// \see BackwardMap |
3382 | 3382 |
template <typename GR> |
3383 | 3383 |
class ForwardMap { |
... | ... |
@@ -516,387 +516,390 @@ |
516 | 516 |
targetMap(orienter(gr, constMap<Edge, bool>(false)))), |
517 | 517 |
"Wrong SourceMap or TargetMap"); |
518 | 518 |
|
519 | 519 |
typedef Orienter<Graph, const ConstMap<Edge, bool> > Digraph; |
520 | 520 |
Digraph dgr(gr, constMap<Edge, bool>(true)); |
521 | 521 |
OutDegMap<Digraph> odm(dgr); |
522 | 522 |
InDegMap<Digraph> idm(dgr); |
523 | 523 |
|
524 | 524 |
check(odm[n0] == 3 && odm[n1] == 2 && odm[n2] == 1, "Wrong OutDegMap"); |
525 | 525 |
check(idm[n0] == 0 && idm[n1] == 3 && idm[n2] == 3, "Wrong InDegMap"); |
526 | 526 |
|
527 | 527 |
gr.addEdge(n2, n0); |
528 | 528 |
|
529 | 529 |
check(odm[n0] == 3 && odm[n1] == 2 && odm[n2] == 2, "Wrong OutDegMap"); |
530 | 530 |
check(idm[n0] == 1 && idm[n1] == 3 && idm[n2] == 3, "Wrong InDegMap"); |
531 | 531 |
} |
532 | 532 |
|
533 | 533 |
// CrossRefMap |
534 | 534 |
{ |
535 | 535 |
typedef ListDigraph Graph; |
536 | 536 |
DIGRAPH_TYPEDEFS(Graph); |
537 | 537 |
|
538 | 538 |
checkConcept<ReadWriteMap<Node, int>, |
539 | 539 |
CrossRefMap<Graph, Node, int> >(); |
540 | 540 |
checkConcept<ReadWriteMap<Node, bool>, |
541 | 541 |
CrossRefMap<Graph, Node, bool> >(); |
542 | 542 |
checkConcept<ReadWriteMap<Node, double>, |
543 | 543 |
CrossRefMap<Graph, Node, double> >(); |
544 | 544 |
|
545 | 545 |
Graph gr; |
546 | 546 |
typedef CrossRefMap<Graph, Node, char> CRMap; |
547 | 547 |
CRMap map(gr); |
548 | 548 |
|
549 | 549 |
Node n0 = gr.addNode(); |
550 | 550 |
Node n1 = gr.addNode(); |
551 | 551 |
Node n2 = gr.addNode(); |
552 | 552 |
|
553 | 553 |
map.set(n0, 'A'); |
554 | 554 |
map.set(n1, 'B'); |
555 | 555 |
map.set(n2, 'C'); |
556 | 556 |
|
557 | 557 |
check(map[n0] == 'A' && map('A') == n0 && map.inverse()['A'] == n0, |
558 | 558 |
"Wrong CrossRefMap"); |
559 | 559 |
check(map[n1] == 'B' && map('B') == n1 && map.inverse()['B'] == n1, |
560 | 560 |
"Wrong CrossRefMap"); |
561 | 561 |
check(map[n2] == 'C' && map('C') == n2 && map.inverse()['C'] == n2, |
562 | 562 |
"Wrong CrossRefMap"); |
563 | 563 |
check(map.count('A') == 1 && map.count('B') == 1 && map.count('C') == 1, |
564 | 564 |
"Wrong CrossRefMap::count()"); |
565 | 565 |
|
566 | 566 |
CRMap::ValueIt it = map.beginValue(); |
567 | 567 |
check(*it++ == 'A' && *it++ == 'B' && *it++ == 'C' && |
568 | 568 |
it == map.endValue(), "Wrong value iterator"); |
569 | 569 |
|
570 | 570 |
map.set(n2, 'A'); |
571 | 571 |
|
572 | 572 |
check(map[n0] == 'A' && map[n1] == 'B' && map[n2] == 'A', |
573 | 573 |
"Wrong CrossRefMap"); |
574 | 574 |
check(map('A') == n0 && map.inverse()['A'] == n0, "Wrong CrossRefMap"); |
575 | 575 |
check(map('B') == n1 && map.inverse()['B'] == n1, "Wrong CrossRefMap"); |
576 | 576 |
check(map('C') == INVALID && map.inverse()['C'] == INVALID, |
577 | 577 |
"Wrong CrossRefMap"); |
578 | 578 |
check(map.count('A') == 2 && map.count('B') == 1 && map.count('C') == 0, |
579 | 579 |
"Wrong CrossRefMap::count()"); |
580 | 580 |
|
581 | 581 |
it = map.beginValue(); |
582 | 582 |
check(*it++ == 'A' && *it++ == 'A' && *it++ == 'B' && |
583 | 583 |
it == map.endValue(), "Wrong value iterator"); |
584 | 584 |
|
585 | 585 |
map.set(n0, 'C'); |
586 | 586 |
|
587 | 587 |
check(map[n0] == 'C' && map[n1] == 'B' && map[n2] == 'A', |
588 | 588 |
"Wrong CrossRefMap"); |
589 | 589 |
check(map('A') == n2 && map.inverse()['A'] == n2, "Wrong CrossRefMap"); |
590 | 590 |
check(map('B') == n1 && map.inverse()['B'] == n1, "Wrong CrossRefMap"); |
591 | 591 |
check(map('C') == n0 && map.inverse()['C'] == n0, "Wrong CrossRefMap"); |
592 | 592 |
check(map.count('A') == 1 && map.count('B') == 1 && map.count('C') == 1, |
593 | 593 |
"Wrong CrossRefMap::count()"); |
594 | 594 |
|
595 | 595 |
it = map.beginValue(); |
596 | 596 |
check(*it++ == 'A' && *it++ == 'B' && *it++ == 'C' && |
597 | 597 |
it == map.endValue(), "Wrong value iterator"); |
598 | 598 |
} |
599 | 599 |
|
600 | 600 |
// CrossRefMap |
601 | 601 |
{ |
602 | 602 |
typedef SmartDigraph Graph; |
603 | 603 |
DIGRAPH_TYPEDEFS(Graph); |
604 | 604 |
|
605 | 605 |
checkConcept<ReadWriteMap<Node, int>, |
606 | 606 |
CrossRefMap<Graph, Node, int> >(); |
607 | 607 |
|
608 | 608 |
Graph gr; |
609 | 609 |
typedef CrossRefMap<Graph, Node, char> CRMap; |
610 | 610 |
typedef CRMap::ValueIterator ValueIt; |
611 | 611 |
CRMap map(gr); |
612 | 612 |
|
613 | 613 |
Node n0 = gr.addNode(); |
614 | 614 |
Node n1 = gr.addNode(); |
615 | 615 |
Node n2 = gr.addNode(); |
616 | 616 |
|
617 | 617 |
map.set(n0, 'A'); |
618 | 618 |
map.set(n1, 'B'); |
619 | 619 |
map.set(n2, 'C'); |
620 | 620 |
map.set(n2, 'A'); |
621 | 621 |
map.set(n0, 'C'); |
622 | 622 |
|
623 | 623 |
check(map[n0] == 'C' && map[n1] == 'B' && map[n2] == 'A', |
624 | 624 |
"Wrong CrossRefMap"); |
625 | 625 |
check(map('A') == n2 && map.inverse()['A'] == n2, "Wrong CrossRefMap"); |
626 | 626 |
check(map('B') == n1 && map.inverse()['B'] == n1, "Wrong CrossRefMap"); |
627 | 627 |
check(map('C') == n0 && map.inverse()['C'] == n0, "Wrong CrossRefMap"); |
628 | 628 |
|
629 | 629 |
ValueIt it = map.beginValue(); |
630 | 630 |
check(*it++ == 'A' && *it++ == 'B' && *it++ == 'C' && |
631 | 631 |
it == map.endValue(), "Wrong value iterator"); |
632 | 632 |
} |
633 | 633 |
|
634 | 634 |
// Iterable bool map |
635 | 635 |
{ |
636 | 636 |
typedef SmartGraph Graph; |
637 | 637 |
typedef SmartGraph::Node Item; |
638 | 638 |
|
639 | 639 |
typedef IterableBoolMap<SmartGraph, SmartGraph::Node> Ibm; |
640 | 640 |
checkConcept<ReferenceMap<Item, bool, bool&, const bool&>, Ibm>(); |
641 | 641 |
|
642 | 642 |
const int num = 10; |
643 | 643 |
Graph g; |
644 |
Ibm map0(g, true); |
|
644 | 645 |
std::vector<Item> items; |
645 | 646 |
for (int i = 0; i < num; ++i) { |
646 | 647 |
items.push_back(g.addNode()); |
647 | 648 |
} |
648 | 649 |
|
649 | 650 |
Ibm map1(g, true); |
650 | 651 |
int n = 0; |
651 | 652 |
for (Ibm::TrueIt it(map1); it != INVALID; ++it) { |
652 | 653 |
check(map1[static_cast<Item>(it)], "Wrong TrueIt"); |
653 | 654 |
++n; |
654 | 655 |
} |
655 | 656 |
check(n == num, "Wrong number"); |
656 | 657 |
|
657 | 658 |
n = 0; |
658 | 659 |
for (Ibm::ItemIt it(map1, true); it != INVALID; ++it) { |
659 | 660 |
check(map1[static_cast<Item>(it)], "Wrong ItemIt for true"); |
660 | 661 |
++n; |
661 | 662 |
} |
662 | 663 |
check(n == num, "Wrong number"); |
663 | 664 |
check(Ibm::FalseIt(map1) == INVALID, "Wrong FalseIt"); |
664 | 665 |
check(Ibm::ItemIt(map1, false) == INVALID, "Wrong ItemIt for false"); |
665 | 666 |
|
666 | 667 |
map1[items[5]] = true; |
667 | 668 |
|
668 | 669 |
n = 0; |
669 | 670 |
for (Ibm::ItemIt it(map1, true); it != INVALID; ++it) { |
670 | 671 |
check(map1[static_cast<Item>(it)], "Wrong ItemIt for true"); |
671 | 672 |
++n; |
672 | 673 |
} |
673 | 674 |
check(n == num, "Wrong number"); |
674 | 675 |
|
675 | 676 |
map1[items[num / 2]] = false; |
676 | 677 |
check(map1[items[num / 2]] == false, "Wrong map value"); |
677 | 678 |
|
678 | 679 |
n = 0; |
679 | 680 |
for (Ibm::TrueIt it(map1); it != INVALID; ++it) { |
680 | 681 |
check(map1[static_cast<Item>(it)], "Wrong TrueIt for true"); |
681 | 682 |
++n; |
682 | 683 |
} |
683 | 684 |
check(n == num - 1, "Wrong number"); |
684 | 685 |
|
685 | 686 |
n = 0; |
686 | 687 |
for (Ibm::FalseIt it(map1); it != INVALID; ++it) { |
687 | 688 |
check(!map1[static_cast<Item>(it)], "Wrong FalseIt for true"); |
688 | 689 |
++n; |
689 | 690 |
} |
690 | 691 |
check(n == 1, "Wrong number"); |
691 | 692 |
|
692 | 693 |
map1[items[0]] = false; |
693 | 694 |
check(map1[items[0]] == false, "Wrong map value"); |
694 | 695 |
|
695 | 696 |
map1[items[num - 1]] = false; |
696 | 697 |
check(map1[items[num - 1]] == false, "Wrong map value"); |
697 | 698 |
|
698 | 699 |
n = 0; |
699 | 700 |
for (Ibm::TrueIt it(map1); it != INVALID; ++it) { |
700 | 701 |
check(map1[static_cast<Item>(it)], "Wrong TrueIt for true"); |
701 | 702 |
++n; |
702 | 703 |
} |
703 | 704 |
check(n == num - 3, "Wrong number"); |
704 | 705 |
check(map1.trueNum() == num - 3, "Wrong number"); |
705 | 706 |
|
706 | 707 |
n = 0; |
707 | 708 |
for (Ibm::FalseIt it(map1); it != INVALID; ++it) { |
708 | 709 |
check(!map1[static_cast<Item>(it)], "Wrong FalseIt for true"); |
709 | 710 |
++n; |
710 | 711 |
} |
711 | 712 |
check(n == 3, "Wrong number"); |
712 | 713 |
check(map1.falseNum() == 3, "Wrong number"); |
713 | 714 |
} |
714 | 715 |
|
715 | 716 |
// Iterable int map |
716 | 717 |
{ |
717 | 718 |
typedef SmartGraph Graph; |
718 | 719 |
typedef SmartGraph::Node Item; |
719 | 720 |
typedef IterableIntMap<SmartGraph, SmartGraph::Node> Iim; |
720 | 721 |
|
721 | 722 |
checkConcept<ReferenceMap<Item, int, int&, const int&>, Iim>(); |
722 | 723 |
|
723 | 724 |
const int num = 10; |
724 | 725 |
Graph g; |
726 |
Iim map0(g, 0); |
|
725 | 727 |
std::vector<Item> items; |
726 | 728 |
for (int i = 0; i < num; ++i) { |
727 | 729 |
items.push_back(g.addNode()); |
728 | 730 |
} |
729 | 731 |
|
730 | 732 |
Iim map1(g); |
731 | 733 |
check(map1.size() == 0, "Wrong size"); |
732 | 734 |
|
733 | 735 |
for (int i = 0; i < num; ++i) { |
734 | 736 |
map1[items[i]] = i; |
735 | 737 |
} |
736 | 738 |
check(map1.size() == num, "Wrong size"); |
737 | 739 |
|
738 | 740 |
for (int i = 0; i < num; ++i) { |
739 | 741 |
Iim::ItemIt it(map1, i); |
740 | 742 |
check(static_cast<Item>(it) == items[i], "Wrong value"); |
741 | 743 |
++it; |
742 | 744 |
check(static_cast<Item>(it) == INVALID, "Wrong value"); |
743 | 745 |
} |
744 | 746 |
|
745 | 747 |
for (int i = 0; i < num; ++i) { |
746 | 748 |
map1[items[i]] = i % 2; |
747 | 749 |
} |
748 | 750 |
check(map1.size() == 2, "Wrong size"); |
749 | 751 |
|
750 | 752 |
int n = 0; |
751 | 753 |
for (Iim::ItemIt it(map1, 0); it != INVALID; ++it) { |
752 | 754 |
check(map1[static_cast<Item>(it)] == 0, "Wrong value"); |
753 | 755 |
++n; |
754 | 756 |
} |
755 | 757 |
check(n == (num + 1) / 2, "Wrong number"); |
756 | 758 |
|
757 | 759 |
for (Iim::ItemIt it(map1, 1); it != INVALID; ++it) { |
758 | 760 |
check(map1[static_cast<Item>(it)] == 1, "Wrong value"); |
759 | 761 |
++n; |
760 | 762 |
} |
761 | 763 |
check(n == num, "Wrong number"); |
762 | 764 |
|
763 | 765 |
} |
764 | 766 |
|
765 | 767 |
// Iterable value map |
766 | 768 |
{ |
767 | 769 |
typedef SmartGraph Graph; |
768 | 770 |
typedef SmartGraph::Node Item; |
769 | 771 |
typedef IterableValueMap<SmartGraph, SmartGraph::Node, double> Ivm; |
770 | 772 |
|
771 | 773 |
checkConcept<ReadWriteMap<Item, double>, Ivm>(); |
772 | 774 |
|
773 | 775 |
const int num = 10; |
774 | 776 |
Graph g; |
777 |
Ivm map0(g, 0.0); |
|
775 | 778 |
std::vector<Item> items; |
776 | 779 |
for (int i = 0; i < num; ++i) { |
777 | 780 |
items.push_back(g.addNode()); |
778 | 781 |
} |
779 | 782 |
|
780 | 783 |
Ivm map1(g, 0.0); |
781 | 784 |
check(distance(map1.beginValue(), map1.endValue()) == 1, "Wrong size"); |
782 | 785 |
check(*map1.beginValue() == 0.0, "Wrong value"); |
783 | 786 |
|
784 | 787 |
for (int i = 0; i < num; ++i) { |
785 | 788 |
map1.set(items[i], static_cast<double>(i)); |
786 | 789 |
} |
787 | 790 |
check(distance(map1.beginValue(), map1.endValue()) == num, "Wrong size"); |
788 | 791 |
|
789 | 792 |
for (int i = 0; i < num; ++i) { |
790 | 793 |
Ivm::ItemIt it(map1, static_cast<double>(i)); |
791 | 794 |
check(static_cast<Item>(it) == items[i], "Wrong value"); |
792 | 795 |
++it; |
793 | 796 |
check(static_cast<Item>(it) == INVALID, "Wrong value"); |
794 | 797 |
} |
795 | 798 |
|
796 | 799 |
for (Ivm::ValueIt vit = map1.beginValue(); |
797 | 800 |
vit != map1.endValue(); ++vit) { |
798 | 801 |
check(map1[static_cast<Item>(Ivm::ItemIt(map1, *vit))] == *vit, |
799 | 802 |
"Wrong ValueIt"); |
800 | 803 |
} |
801 | 804 |
|
802 | 805 |
for (int i = 0; i < num; ++i) { |
803 | 806 |
map1.set(items[i], static_cast<double>(i % 2)); |
804 | 807 |
} |
805 | 808 |
check(distance(map1.beginValue(), map1.endValue()) == 2, "Wrong size"); |
806 | 809 |
|
807 | 810 |
int n = 0; |
808 | 811 |
for (Ivm::ItemIt it(map1, 0.0); it != INVALID; ++it) { |
809 | 812 |
check(map1[static_cast<Item>(it)] == 0.0, "Wrong value"); |
810 | 813 |
++n; |
811 | 814 |
} |
812 | 815 |
check(n == (num + 1) / 2, "Wrong number"); |
813 | 816 |
|
814 | 817 |
for (Ivm::ItemIt it(map1, 1.0); it != INVALID; ++it) { |
815 | 818 |
check(map1[static_cast<Item>(it)] == 1.0, "Wrong value"); |
816 | 819 |
++n; |
817 | 820 |
} |
818 | 821 |
check(n == num, "Wrong number"); |
819 | 822 |
|
820 | 823 |
} |
821 | 824 |
|
822 | 825 |
// Graph map utilities: |
823 | 826 |
// mapMin(), mapMax(), mapMinValue(), mapMaxValue() |
824 | 827 |
// mapFind(), mapFindIf(), mapCount(), mapCountIf() |
825 | 828 |
// mapCopy(), mapCompare(), mapFill() |
826 | 829 |
{ |
827 | 830 |
DIGRAPH_TYPEDEFS(SmartDigraph); |
828 | 831 |
|
829 | 832 |
SmartDigraph g; |
830 | 833 |
Node n1 = g.addNode(); |
831 | 834 |
Node n2 = g.addNode(); |
832 | 835 |
Node n3 = g.addNode(); |
833 | 836 |
|
834 | 837 |
SmartDigraph::NodeMap<int> map1(g); |
835 | 838 |
SmartDigraph::ArcMap<char> map2(g); |
836 | 839 |
ConstMap<Node, A> cmap1 = A(); |
837 | 840 |
ConstMap<Arc, C> cmap2 = C(0); |
838 | 841 |
|
839 | 842 |
map1[n1] = 10; |
840 | 843 |
map1[n2] = 5; |
841 | 844 |
map1[n3] = 12; |
842 | 845 |
|
843 | 846 |
// mapMin(), mapMax(), mapMinValue(), mapMaxValue() |
844 | 847 |
check(mapMin(g, map1) == n2, "Wrong mapMin()"); |
845 | 848 |
check(mapMax(g, map1) == n3, "Wrong mapMax()"); |
846 | 849 |
check(mapMin(g, map1, std::greater<int>()) == n3, "Wrong mapMin()"); |
847 | 850 |
check(mapMax(g, map1, std::greater<int>()) == n2, "Wrong mapMax()"); |
848 | 851 |
check(mapMinValue(g, map1) == 5, "Wrong mapMinValue()"); |
849 | 852 |
check(mapMaxValue(g, map1) == 12, "Wrong mapMaxValue()"); |
850 | 853 |
|
851 | 854 |
check(mapMin(g, map2) == INVALID, "Wrong mapMin()"); |
852 | 855 |
check(mapMax(g, map2) == INVALID, "Wrong mapMax()"); |
853 | 856 |
|
854 | 857 |
check(mapMin(g, cmap1) != INVALID, "Wrong mapMin()"); |
855 | 858 |
check(mapMax(g, cmap2) == INVALID, "Wrong mapMax()"); |
856 | 859 |
|
857 | 860 |
Arc a1 = g.addArc(n1, n2); |
858 | 861 |
Arc a2 = g.addArc(n1, n3); |
859 | 862 |
Arc a3 = g.addArc(n2, n3); |
860 | 863 |
Arc a4 = g.addArc(n3, n1); |
861 | 864 |
|
862 | 865 |
map2[a1] = 'b'; |
863 | 866 |
map2[a2] = 'a'; |
864 | 867 |
map2[a3] = 'b'; |
865 | 868 |
map2[a4] = 'c'; |
866 | 869 |
|
867 | 870 |
// mapMin(), mapMax(), mapMinValue(), mapMaxValue() |
868 | 871 |
check(mapMin(g, map2) == a2, "Wrong mapMin()"); |
869 | 872 |
check(mapMax(g, map2) == a4, "Wrong mapMax()"); |
870 | 873 |
check(mapMin(g, map2, std::greater<int>()) == a4, "Wrong mapMin()"); |
871 | 874 |
check(mapMax(g, map2, std::greater<int>()) == a2, "Wrong mapMax()"); |
872 | 875 |
check(mapMinValue(g, map2, std::greater<int>()) == 'c', |
873 | 876 |
"Wrong mapMinValue()"); |
874 | 877 |
check(mapMaxValue(g, map2, std::greater<int>()) == 'a', |
875 | 878 |
"Wrong mapMaxValue()"); |
876 | 879 |
|
877 | 880 |
check(mapMin(g, cmap1) != INVALID, "Wrong mapMin()"); |
878 | 881 |
check(mapMax(g, cmap2) != INVALID, "Wrong mapMax()"); |
879 | 882 |
check(mapMaxValue(g, cmap2) == C(0), "Wrong mapMaxValue()"); |
880 | 883 |
|
881 | 884 |
check(mapMin(g, composeMap(functorToMap(&createC), map2)) == a2, |
882 | 885 |
"Wrong mapMin()"); |
883 | 886 |
check(mapMax(g, composeMap(functorToMap(&createC), map2)) == a4, |
884 | 887 |
"Wrong mapMax()"); |
885 | 888 |
check(mapMinValue(g, composeMap(functorToMap(&createC), map2)) == C('a'), |
886 | 889 |
"Wrong mapMinValue()"); |
887 | 890 |
check(mapMaxValue(g, composeMap(functorToMap(&createC), map2)) == C('c'), |
888 | 891 |
"Wrong mapMaxValue()"); |
889 | 892 |
|
890 | 893 |
// mapFind(), mapFindIf() |
891 | 894 |
check(mapFind(g, map1, 5) == n2, "Wrong mapFind()"); |
892 | 895 |
check(mapFind(g, map1, 6) == INVALID, "Wrong mapFind()"); |
893 | 896 |
check(mapFind(g, map2, 'a') == a2, "Wrong mapFind()"); |
894 | 897 |
check(mapFind(g, map2, 'e') == INVALID, "Wrong mapFind()"); |
895 | 898 |
check(mapFind(g, cmap2, C(0)) == ArcIt(g), "Wrong mapFind()"); |
896 | 899 |
check(mapFind(g, cmap2, C(1)) == INVALID, "Wrong mapFind()"); |
897 | 900 |
|
898 | 901 |
check(mapFindIf(g, map1, Less<int>(7)) == n2, |
899 | 902 |
"Wrong mapFindIf()"); |
900 | 903 |
check(mapFindIf(g, map1, Less<int>(5)) == INVALID, |
901 | 904 |
"Wrong mapFindIf()"); |
902 | 905 |
check(mapFindIf(g, map2, Less<char>('d')) == ArcIt(g), |
0 comments (0 inline)