COIN-OR::LEMON - Graph Library

Ticket #17: d91884dcd572.patch

File d91884dcd572.patch, 1.7 KB (added by Peter Kovacs, 11 years ago)

using DEBUG instead of ASSERT in graph extenders

  • lemon/bits/base_extender.h

    # HG changeset patch
    # User Peter Kovacs <kpeter@inf.elte.hu>
    # Date 1222684448 -7200
    # Node ID d91884dcd572f8f69253ac1d304f0a4a651da76c
    # Parent  47b3a3b678379fa06a2c1f0ab2d1e0009ec0c666
    Use DEBUG instead of ASSERT in graph extenders (ticket #17)
    
    diff --git a/lemon/bits/base_extender.h b/lemon/bits/base_extender.h
    a b  
    298298    public:
    299299      Red() {}
    300300      Red(const Node& node) : Node(node) {
    301         LEMON_ASSERT(Parent::red(node) || node == INVALID,
    302                      typename Parent::NodeSetError());
     301        LEMON_DEBUG(Parent::red(node) || node == INVALID,
     302                    typename Parent::NodeSetError());
    303303      }
    304304      Red& operator=(const Node& node) {
    305         LEMON_ASSERT(Parent::red(node) || node == INVALID,
    306                      typename Parent::NodeSetError());
     305        LEMON_DEBUG(Parent::red(node) || node == INVALID,
     306                    typename Parent::NodeSetError());
    307307        Node::operator=(node);
    308308        return *this;
    309309      }
     
    330330    public:
    331331      Blue() {}
    332332      Blue(const Node& node) : Node(node) {
    333         LEMON_ASSERT(Parent::blue(node) || node == INVALID,
    334                      typename Parent::NodeSetError());
     333        LEMON_DEBUG(Parent::blue(node) || node == INVALID,
     334                    typename Parent::NodeSetError());
    335335      }
    336336      Blue& operator=(const Node& node) {
    337         LEMON_ASSERT(Parent::blue(node) || node == INVALID,
    338                      typename Parent::NodeSetError());
     337        LEMON_DEBUG(Parent::blue(node) || node == INVALID,
     338                    typename Parent::NodeSetError());
    339339        Node::operator=(node);
    340340        return *this;
    341341      }