cfg.sty 689 Bytes
Newer Older
Andreas Zwinkau's avatar
moar  
Andreas Zwinkau committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
% Some macros/commands to construct control flow graphs and keep some common
% terminonlogy like begin and end

\tikzstyle{bblock}=[draw,rounded corners,font=\footnotesize]
\tikzstyle{cfgpicture}=[>=latex]
\newcommand{\cfgstart}{{\bfseries Start}}
\newcommand{\cfgend}{{\bfseries End}}
\newcommand{\dominates}{\preceq}
\newcommand{\sdominates}{\prec}
\newcommand{\pdominates}{\succeq}
\newcommand{\spdominates}{\succ}

\DeclareMathOperator*{\domop}{dom}
\DeclareMathOperator*{\idomop}{idom}
\DeclareMathOperator*{\postdom}{postdom}
\DeclareMathOperator*{\predop}{pred}
\DeclareMathOperator*{\succop}{succ}
\DeclareMathOperator*{\intersectop}{\bigcap}
\DeclareMathOperator*{\dfnum}{dfnum}