examples.tex

% ----------------------------------------------------------------------
\begin{frame}{Example}{Simple graph}
  \includegraphics[width=.26\linewidth]{visualization/images/coloring.png}
  \pause
  \begin{minipage}[t]{0.65\linewidth}
      \lstinputlisting[language=clingos]{listings/coloring-viz.lp}
    \end{minipage}
\end{frame}
% ----------------------------------------------------------------------
\begin{frame}[c]{Example}{Subgraphs}
  \centering
  \includegraphics[width=.8\textwidth]{visualization/images/house.png}
\end{frame}
% ----------------------------------------------------------------------
\begin{frame}[c]{Example}{UML}
  \centering
  \includegraphics<1>[width=.9\textwidth]{visualization/images/uml.png}
\end{frame}
% ----------------------------------------------------------------------
\begin{frame}[c]{Example}{SVG}
  \centering
  \includegraphics<1>[width=.3\textwidth]{visualization/images/queens-red.png}%
  \includegraphics<2>[width=.3\textwidth]{visualization/images/mine.png}
\end{frame}
% ----------------------------------------------------------------------
\begin{frame}{Example}{\LaTeX}
  \qquad\qquad\qquad\input{tikz/latex-output}
\end{frame}
% ----------------------------------------------------------------------
\begin{frame}[c]{Example}{GIF animation}
  \centering
  \includegraphics<1>[width=.45\textwidth]{visualization/images/asprilo1.png}%
  \includegraphics<2>[width=.45\textwidth]{visualization/images/asprilo2.png}%
  \includegraphics<3>[width=.45\textwidth]{visualization/images/asprilo3.png}%
  \includegraphics<4>[width=.45\textwidth]{visualization/images/asprilo4.png}%
  \includegraphics<5>[width=.45\textwidth]{visualization/images/asprilo5.png}
\end{frame}
% ----------------------------------------------------------------------