\chapter*{Příloha 1}

\section*{Program implementující MBD}
Zde je popis ovládání programu, který je výsledkem této práce. Program je určen
pro platformu Windows a spouští se z příkazového řádku.\\
\indent Program se spouští souborem mbd.exe, který je možné nalézt na
přiloženém CD. Příkazový řádek vypadá takto:
\begin{lstlisting}
        mbd.exe [options]
\end{lstlisting}%
\noindent Možné parametry programu uvádí tabulka \ref{mbd_prog}.
\paragraph{Příklad} Program načte logickou funkci, provede
minimalizaci a uloží výsledek do formátu DOT:
\begin{lstlisting}
        mbd -i infile.pla -o outfile.dot -ot dot -min yes -so stat -do no
\end{lstlisting}%

\vglue 3cm
\begin{table}[h]
\caption[Parametry MBD programu]{\textbf{Přepínače MBD programu.}}%
\label{mbd_prog} \vskip 12pt%
\begin{tabular}{lp{12cm}}%
\toprule
Parametr & Popis\\
\midrule
-i filename & \emph{filename} udává jméno vstupního PLA souboru\\
-o filename & \emph{\emph{filename}} udává jméno výstupního souboru\\
-ot type & \emph{type} nastavuje typ výstupního souboru - možnosti jsou \emph{dot} nebo \emph{pla} (implicitní)\\
-so type & \emph{type} nastavuje statickou metodu - možnosti jsou \emph{none}(implicitní), \emph{random}, \emph{stat}, \emph{force}\\
-do flag & \emph{flag} určuje, zda se má použít dynamické řazení či ne - možnosti jsou \emph{yes} (implicitní) a \emph{no}\\
-xm method & \emph{method} určuje jaká metoda přesměrování hran vedoucích do X
se má použít - \emph{none}, \emph{brother}(implicitní) a \emph{random}\\
-min flag & \emph{flag} určuje, zda se má funkce minimalizovat či ne - možnosti jsou \emph{yes} a \emph{no} (implicitní)\\
-help & vytiskne informace o programu\\
\bottomrule
\end{tabular}%
\end{table}

%//  cout << "command line: mbd [options]"<< endl;

%//  cout << "Options:"<< endl;
%//  cout << "-i filename \t input pla file."<< endl;
%//  cout << "-o filename \t output file name."<< endl;
%//  cout << "-ot type \t output file type: dot or pla (default: pla)"<< endl;
%//  cout << "-so type \t static ordering - none random stat force (default: none)"<< endl;
%//  cout << "-do flag \t use dynamic ordering - yes no (default: yes)"<< endl;
%//  cout << "-xm method \t don't care minimization - none brother random (def: brother)"<< endl;
%//  cout << "-min flag \t minimize function - yes no (default: no)"<< endl;
%//  cout << "-help \t\t prints this info"<< endl << endl;
%//
%//  cout << "Example - minimize function and write result to dot file:"<< endl;
%//  cout << "mbd -i infile.pla -o outfile.dot -ot dot -min yes -so stat -do no"<< endl << endl;



\chapter*{Příloha 2}
\section*{Obsah CD}
CD přiložené k tomuto výtisku obsahuje zdrojové soubory MBD knihovny,
spustitelný soubor \emph{mbd.exe}, zdrojové soubory toho textu i jeho
elektronickou verzi a benchmarky použité v testech. Adresářová struktura je následující:%
\begin{itemize}
\item \textbf{kořenový adresář}:~V tomto adresáři jsou všechny adresář,
spustitelný soubor \emph{mbd.exe} a elektronická podoba této publikace -
\emph{dp-mbd.pdf}.
\item \textbf{source}:~Adresář obsahuje zdrojové soubory MBD knihovny.
\item \textbf{text}:~Adresář obsahuje zdrojové soubory tohoto textu.
\item \textbf{benchmarks}:~Adresář obsahuje benchmarky použité při experimentech.
\end{itemize}
