Index: mttroot/mtt/bin/trans/mtt_txt2m ================================================================== --- mttroot/mtt/bin/trans/mtt_txt2m +++ mttroot/mtt/bin/trans/mtt_txt2m @@ -13,10 +13,14 @@ # %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% # %% Version control history # %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% # %% $Id$ # %% $Log$ +# %% Revision 1.13 2001/02/05 03:33:18 geraint +# %% Convert user-defined txt to lower-case in translation. +# %% Required by logic.m (Octave is case sensitive). +# %% # %% Revision 1.12 2000/11/08 11:20:49 peterg # %% removed the empty matrix stuff # %% # %% Revision 1.11 2000/10/17 09:55:21 peterg # %% Added logic rep @@ -158,12 +162,12 @@ esac # Generate the header mtt_header $system $representation m > $outfile -## Special for logic rep -if [ "$representation" = "logic" ]; then +## Special for logic rep or input rep +if [ "$representation" = "logic" -o "$representation" = "input" ]; then echo >> $outfile echo "## Inputs" >> $outfile mtt_name2array $system input >> $outfile # Set up input by name echo >> $outfile echo "## States" >>$outfile