
\newcommand{\syntaxsize}{\footnotesize}

\newcommand{\Q}[1]{RQ#1}


\renewcommand{\robustify}{ASTRA\xspace}
\newcommand{\totalprogs}{24\xspace}
\newcommand{\acc}{posterior predictive accuracy\xspace}
\newcommand{\mixture}{Contaminated Group Mixture\xspace}
\newcommand{\algosize}{\footnotesize}

\newcommand{\Space}[1]{}
\newcommand{\CComment}[1]{}

\newcommand{\Contrib}[1]{$\star$#1}
\newcommand{\mypara}[1]{\noindent \textbf{#1.}}
\newcommand{\observation}[2]{\noindent\emph{\bf Observation #1: #2}}
\newcommand{\CodeIn}[1]{{\small \texttt{#1}}}
\newcommand{\devquote}[1]{\textit{``#1''}}
\newcommand{\pluseq}{\mathrel{+}=}
\newcommand{\minuseq}{\mathrel{-}=}
\newcommand{\probfuzz}[1]{ProbFuzz}
\newcommand{\pps}{PP system}
\newcommand{\ppss}{PP systems}
\newcommand{\pgm}{graphical model}
\newcommand{\pgms}{graphical models}
\newcommand{\nan}{\CodeIn{Nan}}
\newcommand{\infinity}{\CodeIn{Inf}}
\newcommand{\psiSystem}{PSI}
\newcommand{\testmin}{Storm}
\newcommand{\Item}[1]{\bf{#1}: }

\newcommand{\jbasicstyle}{\normalsize\sffamily}
\newcommand{\jnumberstyle}{\tiny}

\newcommand{\template}{\testmin{}-IR}

\newcommand{\robts}{robustness transformations\xspace}
\newcommand{\Robts}{Robustness transformations\xspace}
\newcommand{\robt}{robustness transformation\xspace}
\newcommand{\Robt}{Robustness transformation\xspace}
\newcommand{\tran}{transformation\xspace}
\newcommand{\trans}{transformations\xspace}
\definecolor{mygreen}{rgb}{0,0.6,0}


\lstset{escapeinside={(*@}{@*)}}
\lstdefinelanguage{prob}
 {
        basicstyle=\ttfamily\footnotesize,
        keywordstyle=\color{blue}\ttfamily,
        stringstyle=\color{red}\ttfamily,
        commentstyle=\color{mygreen}\ttfamily,
        morecomment=[l][\color{magenta}]{\#},
  morekeywords={},
  numbers=left,
  numberstyle=\jnumberstyle,
  numbersep=4pt,
  breaklines=true,
  breakautoindent=true,
  tabsize=2,
  columns=fullflexible,
  morecomment=[l]{//},
  mathescape=true,
}



\lstset{language=prob,
        basicstyle=\ttfamily\scriptsize,
        keywordstyle=\color{blue}\ttfamily\textbf,
        stringstyle=\color{red}\ttfamily,
        commentstyle=\color{mygreen}\ttfamily,
        morecomment=[l][\color{magenta}]{\#},
        emph={data, model, assert, for, int, vector, real, observe, def, state, new, drop, fwd, dup, expectation, packet_fields, programs, num_steps, query, queue_capacity, parameters, topology, nodes, links, dat, repeat},
        emphstyle=\color{blue},
        numbersep=7pt,
        numbers=left,
        xleftmargin=12pt,
        morekeywords={topology,nodes,links},
        escapeinside={@}{@},
        morecomment=[l]{//},
        morecomment=[s]{/*}{*/},
  mathescape=true,
  breaklines=true,
  showstringspaces=false,
}

\newcommand{\Eq}{=}%
\newcommand{\NotEq}{\not=}%
\newcommand{\sampleFrom}{$\sim$}%
\newcommand{\Assign}{=}%


\newcommand{\cmark}{\textcolor{blue}{\ding{51}}}
\newcommand{\xmark}{\textcolor{red}{\ding{55}}}
\newcommand{\Hits}{H:}
\newcommand{\Count}{N:}
\newcommand{\hit}[2]{#1}




