model_server/ui_viewer/src/view_creation.cxx
//------------------------------------------
// open selection stack items SMT definition
open selection stack items SMT definition
open selection stack items SMT definition
int create_view_of_def (symbolPtr sym)
{
    Initialize (create_view_of_def);
    appTree *def = dd_get_loaded_definition (sym);
    int res = focus_on_node (def, 0, 1);
    return res;
}
int create_view_of_def ( symbolPtr sym ) { Initialize ( create_view_of_def ) ; appTree * def = dd_get_loaded_definition ( sym ) ; int res = focus_on_node ( def , 0 , 1 ) ; return res ; }
open selection stack items SMT definition
open selection stack items SMT definition