Code covered by the BSD License  

Highlights from
Tabular Expression Toolbox

image thumbnail

Tabular Expression Toolbox

by

 

23 Sep 2010 (Updated )

A tool for creating tabular expressions in Matlab/Simulink integrating checking with PVS and CVC3.

TableBlock.delete_recursive( line_handle )
%% delete_recursive
%    delete line which are not collected
% inputs:
%   line_handle:float - handle to line to be deleted
% outputs:
%   none.
function delete_recursive( line_handle )

if get( line_handle, 'SrcPortHandle' ) < 0
    delete_line( line_handle ) ;
    return;
end
LineChild = get( line_handle, 'LineChildren' ) ;
if ~isempty( LineChild )
    for i=1:length( LineChild )
        TableBlock.delete_recursive( LineChild( i ) );
    end
else
    if get( line_handle, 'DstPortHandle' ) < 0
        delete_line( line_handle ) ;
    end
end
end


Contact us