model_server/lde/src/lde_smt_flowchart.cxx
// ------------------  RESET LEVEL ------------------------------
//  - walks down the tree iincrementing all levels by 1
RESET LEVEL
walks down the tree iincrementing all levels by 1
RESET LEVEL walks down the tree iincrementing all levels by 1
void reset_level( ldrNodePtr ldr_root)
{
       Initialize(reset_level);
       ldrNodePtr ldr_curr;
       int lev = ldr_root->get_graphlevel() + 1;
       ldr_root->set_graphlevel(lev);
       ldr_curr = checked_cast(ldrNode, ldr_root->get_first());
       while (ldr_curr){
          reset_level(ldr_curr);
          ldr_curr = checked_cast(ldrNode,ldr_curr->get_next());
       }
}
void reset_level ( ldrNodePtr ldr_root ) { Initialize ( reset_level ) ; ldrNodePtr ldr_curr ; int lev = ldr_root -> get_graphlevel ( ) + 1 ; ldr_root -> set_graphlevel ( lev ) ; ldr_curr = checked_cast ( ldrNode , ldr_root -> get_first ( ) ) ; while ( ldr_curr ) { reset_level ( ldr_curr ) ; ldr_curr = checked_cast ( ldrNode , ldr_curr -> get_next ( ) ) ; } }
RESET LEVEL
 walks down the tree iincrementing all levels by 1
RESET LEVEL walks down the tree iincrementing all levels by 1