model_server/smt/src/smt_ast.cxx
// Destroy link between SMT and AST nodes from side of SMT
Destroy link between SMT and AST nodes from side of SMT
Destroy link between SMT and AST nodes from side of SMT
void smt_unset (smtTree* smt)
{
  if (smt && smt->ref_ast)
  {
    TREE_SMT_NODE (smt->ref_ast) = 0;
    smt->ref_ast->smt_mapped = 0;
    smt->ref_ast = 0;
  }
}
void smt_unset ( smtTree * smt ) { if ( smt && smt -> ref_ast ) { TREE_SMT_NODE ( smt -> ref_ast ) = 0 ; smt -> ref_ast -> smt_mapped = 0 ; smt -> ref_ast = 0 ; } }
Destroy link between SMT and AST nodes from side of SMT
Destroy link between SMT and AST nodes from side of SMT