%% Label file for system sINTFS (sINTFS_lbl.txt)
%SUMMARY sINTFS Sensitivity version of INTF with initial state
%DESCRIPTION <Detailed description here>
% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% %% Version control history
% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% %% $Id$
% %% $Log$
% %% Revision 1.1 2000/12/28 10:32:30 peterg
% %% Put under RCS
% %%
% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Port aliases
%ALIAS in in_1,in_2
%ALIAS out out_1,out_2
% Argument aliases
%ALIAS $1 e_0
%ALIAS $2 k_s
%% Each line should be of one of the following forms:
% a comment (ie starting with %)
% component-name cr_name arg1,arg2,..argn
% blank
% ---- Component labels ----
% Component type INTFS
intf_1 none e_0
intf_2 none k_s
% Component type SS
[in_1] SS external,external
[in_2] SS external,external
[out_1] SS external,external
[out_2] SS external,external