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