Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: durnew.sty Sprache: Latech

Original von: VDM^©

%
% This file should be named durnew.sty
%

\def\stackthree#1#2#3{\mathrel{\mathop{#2}\limits^{#1}_{#3}}}
\def\stackunder#1#2{\mathrel{\mathop{#1}\limits_{#2}}}

\def\once{\bigtriangledown}

%\newcommand{\exit}{\underline{exit}}
%\newcommand{\failure}{\mbox{{\em \underline{failure}}}}
%\newcommand{\abortion}{\underline{abortion}}
%\newcommand{\true}{\underline{true}}
%\newcommand{\false}{\mbox{{\em \underline{false}}}}
%\newcommand{\undefined}{\mbox{{\em \underline{undefined}}}}
%\newcommand{\error}{\underline{error}}
%\newcommand{\inval}{\underline{invalid}}
%\newcommand{\DOM}{\mbox{\underline{dom}}}
%\newcommand{\pset}{\mbox{-\underline{set}\ }}
%\newcommand{\mod}{\mbox{mod}}

%\newcommand{\occam}{{\tt occam}}
%\newcommand{\procos}{{\bf ProCoS}}
%\def\plzero{\rm PL$_0$}
%\def\plone{\rm PL$_1$}
%\def\plpar{PL$_{\parallel}$}
%\def\slzero{\rm SL$_0$}

%\newcommand{\var}{\mbox{var}}
%\newcommand{\const}{\mbox{const}}
%\newcommand{\LSYN}{\mbox{$[\![\,$}}
%\newcommand{\RSYN}{\mbox{$\,]\!]$}}

%  The command \s*xyz* will make "xyz" a san-serif keyword,
%  \u*xyz* will make "xyz" an underlined keyword in "ordinary" font and
%  \cp*xyz* causes xyz to be written in Small Caps style.

\def\s*#1*{\ifmmode\mathord{\hbox{\sf #1}}\else{\sf #1}\fi}

\def\u*#1*{\ifmmode\mathord{\hbox{\mbox{\underline{#1}}}}
           \else{\mbox{\underline{#1}}}\fi}

\def\c*#1*{\ifmmode\mathord{\hbox{\sc #1}}\else{\sc #1}\fi}

%
% Commands for writing duration formulae
%

\newcommand{\defs}{\mathrel{\widehat=}}
\newcommand{\pred}[1]{\lceil #1 \rceil}
\newcommand{\cat}{{}^{\frown}}
\newcommand{\com}[1]{\{\ \mbox{ #1 }\ \} }
\newcommand{\means}[1]{[\![\, #1 \,]\!]}

% begin{ itemlist.sty }

%
%  LATEX style option:
%
%   Definition of special list environments
%
%    \begin{itemlist}{"largest item"}
%       Starts a list indented corresponding to "largest item".  Items will
%       be boldfaced.
%
%   \begin{genitemlist}{"label format"}{"largest item"}
%       As for itemlist, but with labels formatted according to "label
%       format".  In the format, the item is indicated by "#1".
%       Format example: "\it #1 :" will put the item in italics and
%       add a colon.

\def\mklbl#1{\bf #1\hfill}
\def\itemlist#1{\list{}{\settowidth\labelwidth{\mklbl{#1}}
  \leftmargin=\labelwidth \advance\leftmargin\labelsep
  \let\makelabel\mklbl}}
\let\enditemlist\endlist

\def\genitemlist#1#2{\list{}{\def\makelabel##1{#1\hfil}
  \settowidth\labelwidth{\makelabel{#2}}
  \leftmargin=\labelwidth \advance\leftmargin\labelsep}}
\let\endgenitemlist\endlist

% end{ itemlist.sty }

% begin{ mathtab.sty }

%
%  MATHTAB  -- an environment similar to TABBING, but using math mode.
%

\def\@mstartline{\global\@curtabmar\@nxttabmar\relax
                 \global\@curtab\@curtabmar\setbox\@curline\hbox
                 {}\@startfield}                % \strut moved to startfield

\def\@mstartfield{\global\setbox\@curfield\hbox\bgroup\strut$\displaystyle
                                                                \bgroup}
\def\@mstopfield{\egroup$\egroup}
\def\@mcontfield{\global\setbox\@curfield\hbox\bgroup\unhbox\@curfield\(}

\def\mathtab{
\let\@startline=\@mstartline
\let\@startfield=\@mstartfield
\let\@stopfield=\@mstopfield
\let\@contfield=\@mcontfield
\tabbing}

\let\endmathtab=\endtabbing

% end{ mathtab.sty }

% begin{ math.sty }

%
%       Notation to be used in math mode
%
%       HHL     87-11-13
%

\newcount\repcount              %  NOTE  repetition cannot be nested
\def\mrepeat#1#2{
    \repcount=0
    \loop\ifnum \repcount < #2 \advance \repcount by 1
      #1
    \repeat
  }

%  Generalization of horizontal arrow definitions in Plain TeX.
%
%       \Lrightarrow{0} equals \rightarrow
%       \Lrightarrow{1} equals \longrightarrow  (almost)
%       \Lrightarrow{2} extends \longrightarrow by the size of a -
%       etc.
%       Correspondingly for left and double arrows.
%       For left/right arrows, {0} equals the long version.

\def\mjoinrel{\mkern-4mu}               %  In Plain TeX: -3mu

\def\Lrightarrow#1{\mrepeat{\relbar\mjoinrel}{#1}\rightarrow}
\def\LRightarrow#1{\mrepeat{\Relbar\mjoinrel}{#1}\Rightarrow}
\def\Lleftarrow#1{\leftarrow\mrepeat{\mjoinrel\relbar}{#1}}
\def\LLeftarrow#1{\Leftarrow\mrepeat{\mjoinrel\Relbar}{#1}}
\def\Lleftrightarrow#1{
  \leftarrow\mrepeat{\mjoinrel\relbar}{#1}\mjoinrel\rightarrow}
\def\LLeftrightarrow#1{
  \Leftarrow\mrepeat{\mjoinrel\Relbar}{#1}\mjoinrel\Rightarrow}

%  Special case: stacking on top of right-arrows (for transitions etc.)
%       \trans  generates an arrow corresponding to \longrightarrow.
%       \Trans  generates a double arrow of the same size.
%       The l-version makes the arrow approx. twice as long.
%       The L-version uses the generic arrows described above.

\def\Ltrans#1#2{\stackrel{#1\,}{\Lrightarrow{#2}}}
\def\LTrans#1#2{\stackrel{#1\>}{\LRightarrow{#2}}}

\def\trans#1{\Ltrans{#1}{1}}
\def\ltrans#1{\Ltrans{#1}{3}}

\def\Trans#1{\LTrans{#1\,}{1}}
\def\lTrans#1{\LTrans{#1\,}{3}}

%
%  Special operators
%

\def\triplebar{\mathop{|\mkern-1mu|\mkern-1mu|}}

%
%  Commands for special embracings
%
\def\sem#1{\mathopen{[\![} #1 \mathclose{]\!]}}

\def\size#1{\left | #1 \right |}
\def\bigsize#1{\bigl | #1 \bigr |}
\def\Bigsize#1{\Bigl | #1 \Bigr |}
\def\biggsize#1{\biggl | #1 \biggr |}
\def\Biggsize#1{\Biggl | #1 \Biggr |}

\def\atomic#1{\mathopen{\mbox{\tt <\,}} #1 \mathclose{\mbox{\tt \,>}}}

\def\tuborg#1{\left\{ \begin{array}{ll} #1 \end{array} \right .}

\def\infrule#1#2{#1 \over #2}

\def\Pset#1{{\cal P}(#1)}
\def\setdef#1#2{\{\, #1 \mid #2 \,\}}
\def\enum#1{\{ #1 \}}

\def\tup#1{\langle #1 \rangle}

\def\beq{\begin{eqnarray*}}
\def\eeq{\end{eqnarray*}}

%
%  Math-style options
%

\def\nodigitchange              %  Digits will be roman in all families
{\mathcode`\0="0030
  \mathcode`\1="0031
  \mathcode`\2="0032
  \mathcode`\3="0033
  \mathcode`\4="0034
  \mathcode`\5="0035
  \mathcode`\6="0036
  \mathcode`\7="0037
  \mathcode`\0="0038
  \mathcode`\0="0039}

\def\itletters                  % Make default math-letters standard italic
{\mathcode`\A="7441
  \mathcode`\B="7442
  \mathcode`\C="7443
  \mathcode`\D="7444
  \mathcode`\E="7445
  \mathcode`\F="7446
  \mathcode`\G="7447
  \mathcode`\H="7448
  \mathcode`\I="7449
  \mathcode`\J="744A
  \mathcode`\K="744B
  \mathcode`\L="744C
  \mathcode`\M="744D
  \mathcode`\N="744E
  \mathcode`\O="744F
  \mathcode`\P="7450
  \mathcode`\Q="7451
  \mathcode`\R="7452
  \mathcode`\S="7453
  \mathcode`\T="7454
  \mathcode`\U="7455
  \mathcode`\V="7456
  \mathcode`\W="7457
  \mathcode`\X="7458
  \mathcode`\Y="7459
  \mathcode`\Z="745A

  \mathcode`\a="7461
  \mathcode`\b="7462
  \mathcode`\c="7463
  \mathcode`\d="7464
  \mathcode`\e="7465
  \mathcode`\f="7466
  \mathcode`\g="7467
  \mathcode`\h="7468
  \mathcode`\i="7469
  \mathcode`\j="746A
  \mathcode`\k="746B
  \mathcode`\l="746C
  \mathcode`\m="746D
  \mathcode`\n="746E
  \mathcode`\o="746F
  \mathcode`\p="7470
  \mathcode`\q="7471
  \mathcode`\r="7472
  \mathcode`\s="7473
  \mathcode`\t="7474
  \mathcode`\u="7475
  \mathcode`\v="7476
  \mathcode`\w="7477
  \mathcode`\x="7478
  \mathcode`\y="7479
  \mathcode`\z="747A
}

\def\sfletters                  % Make default math-letters sans serif
{\mathcode`\A="7841
  \mathcode`\B="7842
  \mathcode`\C="7843
  \mathcode`\D="7844
  \mathcode`\E="7845
  \mathcode`\F="7846
  \mathcode`\G="7847
  \mathcode`\H="7848
  \mathcode`\I="7849
  \mathcode`\J="784A
  \mathcode`\K="784B
  \mathcode`\L="784C
  \mathcode`\M="784D
  \mathcode`\N="784E
  \mathcode`\O="784F
  \mathcode`\P="7850
  \mathcode`\Q="7851
  \mathcode`\R="7852
  \mathcode`\S="7853
  \mathcode`\T="7854
  \mathcode`\U="7855
  \mathcode`\V="7856
  \mathcode`\W="7857
  \mathcode`\X="7858
  \mathcode`\Y="7859
  \mathcode`\Z="785A

  \mathcode`\a="7861
  \mathcode`\b="7862
  \mathcode`\c="7863
  \mathcode`\d="7864
  \mathcode`\e="7865
  \mathcode`\f="7866
  \mathcode`\g="7867
  \mathcode`\h="7868
  \mathcode`\i="7869
  \mathcode`\j="786A
  \mathcode`\k="786B
  \mathcode`\l="786C
  \mathcode`\m="786D
  \mathcode`\n="786E
  \mathcode`\o="786F
  \mathcode`\p="7870
  \mathcode`\q="7871
  \mathcode`\r="7872
  \mathcode`\s="7873
  \mathcode`\t="7874
  \mathcode`\u="7875
  \mathcode`\v="7876
  \mathcode`\w="7877
  \mathcode`\x="7878
  \mathcode`\y="7879
  \mathcode`\z="787A
}

% end{ math.sty }

%
%  Definitions to be used in the ProCoS language definition document
%
%  Version:     HHL     89-07-11
%               HHL     89-07-27
%

%  The command \*xyz* will make "xyz" a typewriter-style keyword.

\def\*#1*{\ifmmode\mathord{\hbox{\tt #1}}\else{\tt #1}\fi}

%  The command \inoutop will make ? and ! behave like operators in math mode.

{\catcode`\!=\active \gdef!{\mathinner{\mathchar"5021}}}
{\catcode`\?=\active \gdef?{\mathinner{\mathchar"503F}}}
\def\inoutop{\mathcode`\?="8000 \mathcode`\!="8000}

%
%  The \OR command separates syntactic constructs by "|"
%

% \def\OR{\mathclose{\null}\:\ | \ \:\mathopen{\null}}

%
%  GRAMMAR  -- special environment for syntax rules
%

\newlength{\grammarlength}

\def\grammar#1{
  \begin{mathtab}
    \hskip \leftmargini \= \+ \settowidth{\grammarlength}{#1}
                \addtolength{\grammarlength}{2mm}
                \hspace{\grammarlength} \= ::== \= \kill}

\def\endgrammar{\end{mathtab}}

%
% DISP -- environment for indented mathematical tabbing environment
%
%   The indentation corresponds to lists at level two

\def\bdisp{\begin{mathtab} \hskip\leftmargini \= \+ \kill}
\def\edisp{\end{mathtab}}
\def\sdisp{\\ \\}

¤ Dauer der Verarbeitung: 0.6 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.