src/work/klao/debug.h
changeset 643 f8053cb51047
parent 493 bbd1db03f0fe
child 680 17415189e42a
equal deleted inserted replaced
0:f4b97b40db2e 1:8e844623f9df
    16 
    16 
    17     //! Examples: initialize maps with some value;
    17     //! Examples: initialize maps with some value;
    18     //! after deleting an item from UnionFindEnum set its value in the
    18     //! after deleting an item from UnionFindEnum set its value in the
    19     //! corresponding map to NULL...
    19     //! corresponding map to NULL...
    20     static const bool ensure_safe_state = true;
    20     static const bool ensure_safe_state = true;
       
    21 
       
    22     static const int verbose = 5;
    21   };
    23   };
    22 
    24 
    23   struct DebugOff {
    25   struct DebugOff {
    24     static const bool consistensy_check = false;
    26     static const bool consistensy_check = false;
    25     static const bool range_check = false;
    27     static const bool range_check = false;
    26     static const bool ensure_safe_state = false;
    28     static const bool ensure_safe_state = false;
       
    29     static const int verbose = 0;
    27   };
    30   };
    28 
    31 
    29 #ifdef DEBUG
    32 #ifdef DEBUG
    30   typedef DebugOn DefaultDebugMode;
    33   typedef DebugOn DefaultDebugMode;
    31 #else
    34 #else