model_server/rtl/src/RTL.h.cxx
// Remove an object from the RTL.
Remove an object from the RTL.
Remove an object from the RTL .
void RTLNode::rtl_remove (symbolPtr symbol)
{
    Initialize (RTLNode::rtl_remove);
    contents.remove (symbol);
    selection_remove (symbol);
}
void RTLNode :: rtl_remove ( symbolPtr symbol ) { Initialize ( RTLNode :: rtl_remove ) ; contents . remove ( symbol ) ; selection_remove ( symbol ) ; }
Remove an object from the RTL.
Remove an object from the RTL .