% $Id: commands.tex 25 2007-11-28 19:18:54Z koppor $
%
%wird für Tabellen benötigt (z.B. >{centering\RBS}p{2.5cm} erzeugt einen zentrierten 2,5cm breiten Absatz in einer Tabelle
\newcommand{\RBS}{\let\\=\tabularnewline}
%
\newcommand{\gq}[1]{\glqq{}#1\grqq{}\xspace}
%
\newcommand{\todo}[1]{\emph{todo: #1}}
%\newcommand{\todo}[1]{}
%
%from hmks makros.tex - \indexify
\newcommand{\toindex}[1]{\index{#1}#1}
%
\newcommand{\dotcup}{\ensuremath{\,\mathaccent\cdot\cup\,}} %Tipp aus The Comprehensive LaTeX Symbol List
%
%Anstatt $|x|$ $\abs{x}$ verwenden. Die Betragsstriche skalieren automatisch, falls "x" etwas größeres sein sollte...
\newcommand{\abs}[1]{\left\lvert#1\right\rvert}
%
%für Zitate
%\newcommand{\citeS}[2]{\cite[S.~#1]{#2}}
%\newcommand{\citeSf}[2]{\cite[S.~#1\,f.]{#2}}
%\newcommand{\citeSff}[2]{\cite[S.~#1\,ff.]{#2}}
\newcommand{\vgl}{vgl.\ }
\newcommand{\Vgl}{Vgl.\ }
%
\newcommand{\commentchar}{\ensuremath{/\mkern-4mu/}}
%\algrenewcommand{\algorithmiccomment}[1]{\hfill $\commentchar$ #1}

\newcommand{\h}[1]{\emph{#1}}

\newcommand{\mi}[1]{\mathit{#1}}

\newcommand{\eg}{e.\,g., }

\newcommand{\ie}{i.\,e., }

\newcommand{\cf}{cf.\ }

%\newcommand{\def}[1]{\textbf{Definition {#1}.}}




% f�r Definition von Bedingungen

\newcommand{\cond}[1]{\textbf{Condition #1:\ }}

% f�r Algorithmen

%\newcommand{\bc}{:=\,}

\newcommand{\bc}{$\gets$}




\newcommand{\wsp}{\mbox{Web} \mbox{Service} \mbox{Pushdown}}

\newcommand{\lip}{\mbox{Literal} \mbox{Pushdown}}

\newcommand{\ap}{\mbox{Assignment} \mbox{Pushdown}}

\newcommand{\eep}{\mbox{Expression} \mbox{Evaluation} \mbox{Pushdown}}


\newcommand{\WSP}{WSP}

\newcommand{\LiP}{LiP}

\newcommand{\AP}{AP}

\newcommand{\EEP}{EEP}