model_server/smt/src/smt_ast.cxx
// Set link betweem SMT and AST nodes
Set link betweem SMT and AST nodes
Set link betweem SMT and AST nodes
void smt_set_ast_many_to_one(smtTree* smt, astTree* ast)
{
   Initialize(smt_set_ast);
  if (smt && ast)
  {
    TREE_SMT_NODE (ast) = smt;
    ast->smt_mapped = 1;
    if(!smt->ref_ast)
      smt->ref_ast = ast;
    astTree_arr.insert_last((int)ast);
    smtHeader *h = checked_cast(smtHeader,smt->get_header());
    if (h) h->set_ast_exist(1);
  }
}
void smt_set_ast_many_to_one ( smtTree * smt , astTree * ast ) { Initialize ( smt_set_ast ) ; if ( smt && ast ) { TREE_SMT_NODE ( ast ) = smt ; ast -> smt_mapped = 1 ; if ( ! smt -> ref_ast ) smt -> ref_ast = ast ; astTree_arr . insert_last ( ( int ) ast ) ; smtHeader * h = checked_cast ( smtHeader , smt -> get_header ( ) ) ; if ( h ) h -> set_ast_exist ( 1 ) ; } }
Set link betweem SMT and AST nodes
Set link betweem SMT and AST nodes
/* one smt can have many ast 
   */