doc/base.tex

   1 \documentclass[border=11pt]{standalone}
   2
   3 \usepackage{enumitem,tikz}
   4 \usetikzlibrary{arrows}
   5
   6 \tikzset{
   7     every edge/.style={
   8         draw=black,
   9         thick,
  10     },
  11     state/.style={
  12         anchor=center,
  13         circle,
  14         draw=black,
  15         thick,
  16         minimum height=2cm,
  17         inner sep=8pt,
  18         outer sep=2pt
  19     },
  20     actor/.style={
  21         anchor=center,
  22         rectangle,
  23         rounded corners,
  24         draw=black,
  25         thick,
  26         inner sep=8pt,
  27         outer sep=2pt
  28     },
  29 }
  30
  31 \newcommand\FILE[1]{%
  32     \texttt{#1}}
  33
  34 \newcommand\ACTOR[2]{%
  35     \parbox{32mm}{%
  36     \textbf{#1}\vspace{3pt}%
  37     \begin{itemize}[label={$\vcenter{\hbox{\tiny$\bullet$}}$},
  38                     noitemsep,nosep,leftmargin=8pt,labelsep=3pt]
  39     \small
  40     #2
  41     \end{itemize}}}