COIN-OR::LEMON - Graph Library

Ticket #288: 288-ca92c2f936b0.patch

File 288-ca92c2f936b0.patch, 13.3 KB (added by Peter Kovacs, 10 years ago)
  • lemon/Makefile.am

    # HG changeset patch
    # User Peter Kovacs <kpeter@inf.elte.hu>
    # Date 1241880446 -7200
    # Node ID ca92c2f936b03d0966865203a090abbd2e703cbc
    # Parent  bf7928412136b879be4657e7b921ad67f4aaae99
    Remove bits/base_extender.h, which is not used at all (#288)
    
    diff --git a/lemon/Makefile.am b/lemon/Makefile.am
    a b  
    111111bits_HEADERS += \
    112112        lemon/bits/alteration_notifier.h \
    113113        lemon/bits/array_map.h \
    114         lemon/bits/base_extender.h \
    115114        lemon/bits/bezier.h \
    116115        lemon/bits/default_map.h \
    117116        lemon/bits/edge_set_extender.h \
  • deleted file lemon/bits/base_extender.h

    diff --git a/lemon/bits/base_extender.h b/lemon/bits/base_extender.h
    deleted file mode 100644
    + -  
    1 /* -*- mode: C++; indent-tabs-mode: nil; -*-
    2  *
    3  * This file is a part of LEMON, a generic C++ optimization library.
    4  *
    5  * Copyright (C) 2003-2009
    6  * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport
    7  * (Egervary Research Group on Combinatorial Optimization, EGRES).
    8  *
    9  * Permission to use, modify and distribute this software is granted
    10  * provided that this copyright notice appears in all copies. For
    11  * precise terms see the accompanying LICENSE file.
    12  *
    13  * This software is provided "AS IS" with no warranty of any kind,
    14  * express or implied, and with no claim as to its suitability for any
    15  * purpose.
    16  *
    17  */
    18 
    19 #ifndef LEMON_BITS_BASE_EXTENDER_H
    20 #define LEMON_BITS_BASE_EXTENDER_H
    21 
    22 #include <lemon/core.h>
    23 #include <lemon/error.h>
    24 
    25 #include <lemon/bits/map_extender.h>
    26 #include <lemon/bits/default_map.h>
    27 
    28 #include <lemon/concept_check.h>
    29 #include <lemon/concepts/maps.h>
    30 
    31 //\ingroup digraphbits
    32 //\file
    33 //\brief Extenders for the graph types
    34 namespace lemon {
    35 
    36   // \ingroup digraphbits
    37   //
    38   // \brief BaseDigraph to BaseGraph extender
    39   template <typename Base>
    40   class UndirDigraphExtender : public Base {
    41     typedef Base Parent;
    42 
    43   public:
    44 
    45     typedef typename Parent::Arc Edge;
    46     typedef typename Parent::Node Node;
    47 
    48     typedef True UndirectedTag;
    49 
    50     class Arc : public Edge {
    51       friend class UndirDigraphExtender;
    52 
    53     protected:
    54       bool forward;
    55 
    56       Arc(const Edge &ue, bool _forward) :
    57         Edge(ue), forward(_forward) {}
    58 
    59     public:
    60       Arc() {}
    61 
    62       // Invalid arc constructor
    63       Arc(Invalid i) : Edge(i), forward(true) {}
    64 
    65       bool operator==(const Arc &that) const {
    66         return forward==that.forward && Edge(*this)==Edge(that);
    67       }
    68       bool operator!=(const Arc &that) const {
    69         return forward!=that.forward || Edge(*this)!=Edge(that);
    70       }
    71       bool operator<(const Arc &that) const {
    72         return forward<that.forward ||
    73           (!(that.forward<forward) && Edge(*this)<Edge(that));
    74       }
    75     };
    76 
    77     // First node of the edge
    78     Node u(const Edge &e) const {
    79       return Parent::source(e);
    80     }
    81 
    82     // Source of the given arc
    83     Node source(const Arc &e) const {
    84       return e.forward ? Parent::source(e) : Parent::target(e);
    85     }
    86 
    87     // Second node of the edge
    88     Node v(const Edge &e) const {
    89       return Parent::target(e);
    90     }
    91 
    92     // Target of the given arc
    93     Node target(const Arc &e) const {
    94       return e.forward ? Parent::target(e) : Parent::source(e);
    95     }
    96 
    97     // \brief Directed arc from an edge.
    98     //
    99     // Returns a directed arc corresponding to the specified edge.
    100     // If the given bool is true, the first node of the given edge and
    101     // the source node of the returned arc are the same.
    102     static Arc direct(const Edge &e, bool d) {
    103       return Arc(e, d);
    104     }
    105 
    106     // Returns whether the given directed arc has the same orientation
    107     // as the corresponding edge.
    108     static bool direction(const Arc &a) { return a.forward; }
    109 
    110     using Parent::first;
    111     using Parent::next;
    112 
    113     void first(Arc &e) const {
    114       Parent::first(e);
    115       e.forward=true;
    116     }
    117 
    118     void next(Arc &e) const {
    119       if( e.forward ) {
    120         e.forward = false;
    121       }
    122       else {
    123         Parent::next(e);
    124         e.forward = true;
    125       }
    126     }
    127 
    128     void firstOut(Arc &e, const Node &n) const {
    129       Parent::firstIn(e,n);
    130       if( Edge(e) != INVALID ) {
    131         e.forward = false;
    132       }
    133       else {
    134         Parent::firstOut(e,n);
    135         e.forward = true;
    136       }
    137     }
    138     void nextOut(Arc &e) const {
    139       if( ! e.forward ) {
    140         Node n = Parent::target(e);
    141         Parent::nextIn(e);
    142         if( Edge(e) == INVALID ) {
    143           Parent::firstOut(e, n);
    144           e.forward = true;
    145         }
    146       }
    147       else {
    148         Parent::nextOut(e);
    149       }
    150     }
    151 
    152     void firstIn(Arc &e, const Node &n) const {
    153       Parent::firstOut(e,n);
    154       if( Edge(e) != INVALID ) {
    155         e.forward = false;
    156       }
    157       else {
    158         Parent::firstIn(e,n);
    159         e.forward = true;
    160       }
    161     }
    162     void nextIn(Arc &e) const {
    163       if( ! e.forward ) {
    164         Node n = Parent::source(e);
    165         Parent::nextOut(e);
    166         if( Edge(e) == INVALID ) {
    167           Parent::firstIn(e, n);
    168           e.forward = true;
    169         }
    170       }
    171       else {
    172         Parent::nextIn(e);
    173       }
    174     }
    175 
    176     void firstInc(Edge &e, bool &d, const Node &n) const {
    177       d = true;
    178       Parent::firstOut(e, n);
    179       if (e != INVALID) return;
    180       d = false;
    181       Parent::firstIn(e, n);
    182     }
    183 
    184     void nextInc(Edge &e, bool &d) const {
    185       if (d) {
    186         Node s = Parent::source(e);
    187         Parent::nextOut(e);
    188         if (e != INVALID) return;
    189         d = false;
    190         Parent::firstIn(e, s);
    191       } else {
    192         Parent::nextIn(e);
    193       }
    194     }
    195 
    196     Node nodeFromId(int ix) const {
    197       return Parent::nodeFromId(ix);
    198     }
    199 
    200     Arc arcFromId(int ix) const {
    201       return direct(Parent::arcFromId(ix >> 1), bool(ix & 1));
    202     }
    203 
    204     Edge edgeFromId(int ix) const {
    205       return Parent::arcFromId(ix);
    206     }
    207 
    208     int id(const Node &n) const {
    209       return Parent::id(n);
    210     }
    211 
    212     int id(const Edge &e) const {
    213       return Parent::id(e);
    214     }
    215 
    216     int id(const Arc &e) const {
    217       return 2 * Parent::id(e) + int(e.forward);
    218     }
    219 
    220     int maxNodeId() const {
    221       return Parent::maxNodeId();
    222     }
    223 
    224     int maxArcId() const {
    225       return 2 * Parent::maxArcId() + 1;
    226     }
    227 
    228     int maxEdgeId() const {
    229       return Parent::maxArcId();
    230     }
    231 
    232     int arcNum() const {
    233       return 2 * Parent::arcNum();
    234     }
    235 
    236     int edgeNum() const {
    237       return Parent::arcNum();
    238     }
    239 
    240     Arc findArc(Node s, Node t, Arc p = INVALID) const {
    241       if (p == INVALID) {
    242         Edge arc = Parent::findArc(s, t);
    243         if (arc != INVALID) return direct(arc, true);
    244         arc = Parent::findArc(t, s);
    245         if (arc != INVALID) return direct(arc, false);
    246       } else if (direction(p)) {
    247         Edge arc = Parent::findArc(s, t, p);
    248         if (arc != INVALID) return direct(arc, true);
    249         arc = Parent::findArc(t, s);
    250         if (arc != INVALID) return direct(arc, false);
    251       } else {
    252         Edge arc = Parent::findArc(t, s, p);
    253         if (arc != INVALID) return direct(arc, false);
    254       }
    255       return INVALID;
    256     }
    257 
    258     Edge findEdge(Node s, Node t, Edge p = INVALID) const {
    259       if (s != t) {
    260         if (p == INVALID) {
    261           Edge arc = Parent::findArc(s, t);
    262           if (arc != INVALID) return arc;
    263           arc = Parent::findArc(t, s);
    264           if (arc != INVALID) return arc;
    265         } else if (Parent::s(p) == s) {
    266           Edge arc = Parent::findArc(s, t, p);
    267           if (arc != INVALID) return arc;
    268           arc = Parent::findArc(t, s);
    269           if (arc != INVALID) return arc;
    270         } else {
    271           Edge arc = Parent::findArc(t, s, p);
    272           if (arc != INVALID) return arc;
    273         }
    274       } else {
    275         return Parent::findArc(s, t, p);
    276       }
    277       return INVALID;
    278     }
    279   };
    280 
    281   template <typename Base>
    282   class BidirBpGraphExtender : public Base {
    283     typedef Base Parent;
    284 
    285   public:
    286     typedef BidirBpGraphExtender Digraph;
    287 
    288     typedef typename Parent::Node Node;
    289     typedef typename Parent::Edge Edge;
    290 
    291 
    292     using Parent::first;
    293     using Parent::next;
    294 
    295     using Parent::id;
    296 
    297     class Red : public Node {
    298       friend class BidirBpGraphExtender;
    299     public:
    300       Red() {}
    301       Red(const Node& node) : Node(node) {
    302         LEMON_DEBUG(Parent::red(node) || node == INVALID,
    303                     typename Parent::NodeSetError());
    304       }
    305       Red& operator=(const Node& node) {
    306         LEMON_DEBUG(Parent::red(node) || node == INVALID,
    307                     typename Parent::NodeSetError());
    308         Node::operator=(node);
    309         return *this;
    310       }
    311       Red(Invalid) : Node(INVALID) {}
    312       Red& operator=(Invalid) {
    313         Node::operator=(INVALID);
    314         return *this;
    315       }
    316     };
    317 
    318     void first(Red& node) const {
    319       Parent::firstRed(static_cast<Node&>(node));
    320     }
    321     void next(Red& node) const {
    322       Parent::nextRed(static_cast<Node&>(node));
    323     }
    324 
    325     int id(const Red& node) const {
    326       return Parent::redId(node);
    327     }
    328 
    329     class Blue : public Node {
    330       friend class BidirBpGraphExtender;
    331     public:
    332       Blue() {}
    333       Blue(const Node& node) : Node(node) {
    334         LEMON_DEBUG(Parent::blue(node) || node == INVALID,
    335                     typename Parent::NodeSetError());
    336       }
    337       Blue& operator=(const Node& node) {
    338         LEMON_DEBUG(Parent::blue(node) || node == INVALID,
    339                     typename Parent::NodeSetError());
    340         Node::operator=(node);
    341         return *this;
    342       }
    343       Blue(Invalid) : Node(INVALID) {}
    344       Blue& operator=(Invalid) {
    345         Node::operator=(INVALID);
    346         return *this;
    347       }
    348     };
    349 
    350     void first(Blue& node) const {
    351       Parent::firstBlue(static_cast<Node&>(node));
    352     }
    353     void next(Blue& node) const {
    354       Parent::nextBlue(static_cast<Node&>(node));
    355     }
    356 
    357     int id(const Blue& node) const {
    358       return Parent::redId(node);
    359     }
    360 
    361     Node source(const Edge& arc) const {
    362       return red(arc);
    363     }
    364     Node target(const Edge& arc) const {
    365       return blue(arc);
    366     }
    367 
    368     void firstInc(Edge& arc, bool& dir, const Node& node) const {
    369       if (Parent::red(node)) {
    370         Parent::firstFromRed(arc, node);
    371         dir = true;
    372       } else {
    373         Parent::firstFromBlue(arc, node);
    374         dir = static_cast<Edge&>(arc) == INVALID;
    375       }
    376     }
    377     void nextInc(Edge& arc, bool& dir) const {
    378       if (dir) {
    379         Parent::nextFromRed(arc);
    380       } else {
    381         Parent::nextFromBlue(arc);
    382         if (arc == INVALID) dir = true;
    383       }
    384     }
    385 
    386     class Arc : public Edge {
    387       friend class BidirBpGraphExtender;
    388     protected:
    389       bool forward;
    390 
    391       Arc(const Edge& arc, bool _forward)
    392         : Edge(arc), forward(_forward) {}
    393 
    394     public:
    395       Arc() {}
    396       Arc (Invalid) : Edge(INVALID), forward(true) {}
    397       bool operator==(const Arc& i) const {
    398         return Edge::operator==(i) && forward == i.forward;
    399       }
    400       bool operator!=(const Arc& i) const {
    401         return Edge::operator!=(i) || forward != i.forward;
    402       }
    403       bool operator<(const Arc& i) const {
    404         return Edge::operator<(i) ||
    405           (!(i.forward<forward) && Edge(*this)<Edge(i));
    406       }
    407     };
    408 
    409     void first(Arc& arc) const {
    410       Parent::first(static_cast<Edge&>(arc));
    411       arc.forward = true;
    412     }
    413 
    414     void next(Arc& arc) const {
    415       if (!arc.forward) {
    416         Parent::next(static_cast<Edge&>(arc));
    417       }
    418       arc.forward = !arc.forward;
    419     }
    420 
    421     void firstOut(Arc& arc, const Node& node) const {
    422       if (Parent::red(node)) {
    423         Parent::firstFromRed(arc, node);
    424         arc.forward = true;
    425       } else {
    426         Parent::firstFromBlue(arc, node);
    427         arc.forward = static_cast<Edge&>(arc) == INVALID;
    428       }
    429     }
    430     void nextOut(Arc& arc) const {
    431       if (arc.forward) {
    432         Parent::nextFromRed(arc);
    433       } else {
    434         Parent::nextFromBlue(arc);
    435         arc.forward = static_cast<Edge&>(arc) == INVALID;
    436       }
    437     }
    438 
    439     void firstIn(Arc& arc, const Node& node) const {
    440       if (Parent::blue(node)) {
    441         Parent::firstFromBlue(arc, node);
    442         arc.forward = true;
    443       } else {
    444         Parent::firstFromRed(arc, node);
    445         arc.forward = static_cast<Edge&>(arc) == INVALID;
    446       }
    447     }
    448     void nextIn(Arc& arc) const {
    449       if (arc.forward) {
    450         Parent::nextFromBlue(arc);
    451       } else {
    452         Parent::nextFromRed(arc);
    453         arc.forward = static_cast<Edge&>(arc) == INVALID;
    454       }
    455     }
    456 
    457     Node source(const Arc& arc) const {
    458       return arc.forward ? Parent::red(arc) : Parent::blue(arc);
    459     }
    460     Node target(const Arc& arc) const {
    461       return arc.forward ? Parent::blue(arc) : Parent::red(arc);
    462     }
    463 
    464     int id(const Arc& arc) const {
    465       return (Parent::id(static_cast<const Edge&>(arc)) << 1) +
    466         (arc.forward ? 0 : 1);
    467     }
    468     Arc arcFromId(int ix) const {
    469       return Arc(Parent::fromEdgeId(ix >> 1), (ix & 1) == 0);
    470     }
    471     int maxArcId() const {
    472       return (Parent::maxEdgeId() << 1) + 1;
    473     }
    474 
    475     bool direction(const Arc& arc) const {
    476       return arc.forward;
    477     }
    478 
    479     Arc direct(const Edge& arc, bool dir) const {
    480       return Arc(arc, dir);
    481     }
    482 
    483     int arcNum() const {
    484       return 2 * Parent::edgeNum();
    485     }
    486 
    487     int edgeNum() const {
    488       return Parent::edgeNum();
    489     }
    490 
    491 
    492   };
    493 }
    494 
    495 #endif