\hypertarget{loadme_8h}{
\section{loadme.h File Reference}
\label{loadme_8h}\index{loadme.h@{loadme.h}}
}
{\tt \#include $<$iostream$>$}\par
\subsection*{Variables}
\begin{CompactItemize}
\item 
int \hyperlink{loadme_8h_1e2350b709115e7c7fa932ba47a4d452}{number\_\-of\_\-vars}
\item 
int \hyperlink{loadme_8h_027a1f1731d22465c926ce57be2364c3}{model}
\item 
int \hyperlink{loadme_8h_daa158a1417a339282d2f8396a2f1018}{occ\_\-bitsize}
\item 
const unsigned int \hyperlink{loadme_8h_7ad8ea95184a8cebd44656b3071f9ac5}{bitsize} = \hyperlink{loadme_8h_daa158a1417a339282d2f8396a2f1018}{occ\_\-bitsize}
\item 
int \hyperlink{loadme_8h_494d6f580c2a5363542d4d2258575f5c}{levels} = \hyperlink{loadme_8h_1e2350b709115e7c7fa932ba47a4d452}{number\_\-of\_\-vars} - \hyperlink{loadme_8h_daa158a1417a339282d2f8396a2f1018}{occ\_\-bitsize}
\item 
int \hyperlink{loadme_8h_750b5d744c39a06bfb13e6eb010e35d0}{index} = 36
\item 
bdd \hyperlink{loadme_8h_d92ea8ff21b4905b8c8f46e33895fcec}{one\_\-1} = bdd\_\-ithvar(0)
\end{CompactItemize}


\subsection{Variable Documentation}
\hypertarget{loadme_8h_7ad8ea95184a8cebd44656b3071f9ac5}{
\index{loadme.h@{loadme.h}!bitsize@{bitsize}}
\index{bitsize@{bitsize}!loadme.h@{loadme.h}}
\subsubsection[{bitsize}]{\setlength{\rightskip}{0pt plus 5cm}const unsigned int {\bf bitsize} = {\bf occ\_\-bitsize}}}
\label{loadme_8h_7ad8ea95184a8cebd44656b3071f9ac5}


the number of bits to represent the occurances of elements in a bag model. The occurances are represented in binary \hypertarget{loadme_8h_750b5d744c39a06bfb13e6eb010e35d0}{
\index{loadme.h@{loadme.h}!index@{index}}
\index{index@{index}!loadme.h@{loadme.h}}
\subsubsection[{index}]{\setlength{\rightskip}{0pt plus 5cm}int {\bf index} = 36}}
\label{loadme_8h_750b5d744c39a06bfb13e6eb010e35d0}


\hypertarget{loadme_8h_494d6f580c2a5363542d4d2258575f5c}{
\index{loadme.h@{loadme.h}!levels@{levels}}
\index{levels@{levels}!loadme.h@{loadme.h}}
\subsubsection[{levels}]{\setlength{\rightskip}{0pt plus 5cm}int {\bf levels} = {\bf number\_\-of\_\-vars} - {\bf occ\_\-bitsize}}}
\label{loadme_8h_494d6f580c2a5363542d4d2258575f5c}


\hypertarget{loadme_8h_027a1f1731d22465c926ce57be2364c3}{
\index{loadme.h@{loadme.h}!model@{model}}
\index{model@{model}!loadme.h@{loadme.h}}
\subsubsection[{model}]{\setlength{\rightskip}{0pt plus 5cm}int {\bf model}}}
\label{loadme_8h_027a1f1731d22465c926ce57be2364c3}


/var the number of elements in a set \hypertarget{loadme_8h_1e2350b709115e7c7fa932ba47a4d452}{
\index{loadme.h@{loadme.h}!number\_\-of\_\-vars@{number\_\-of\_\-vars}}
\index{number\_\-of\_\-vars@{number\_\-of\_\-vars}!loadme.h@{loadme.h}}
\subsubsection[{number\_\-of\_\-vars}]{\setlength{\rightskip}{0pt plus 5cm}int {\bf number\_\-of\_\-vars}}}
\label{loadme_8h_1e2350b709115e7c7fa932ba47a4d452}


\hypertarget{loadme_8h_daa158a1417a339282d2f8396a2f1018}{
\index{loadme.h@{loadme.h}!occ\_\-bitsize@{occ\_\-bitsize}}
\index{occ\_\-bitsize@{occ\_\-bitsize}!loadme.h@{loadme.h}}
\subsubsection[{occ\_\-bitsize}]{\setlength{\rightskip}{0pt plus 5cm}int {\bf occ\_\-bitsize}}}
\label{loadme_8h_daa158a1417a339282d2f8396a2f1018}


/var specifies wether the model is a set model or a bag model. The set model is 0 and the bag model is 1 \hypertarget{loadme_8h_d92ea8ff21b4905b8c8f46e33895fcec}{
\index{loadme.h@{loadme.h}!one\_\-1@{one\_\-1}}
\index{one\_\-1@{one\_\-1}!loadme.h@{loadme.h}}
\subsubsection[{one\_\-1}]{\setlength{\rightskip}{0pt plus 5cm}bdd {\bf one\_\-1} = bdd\_\-ithvar(0)}}
\label{loadme_8h_d92ea8ff21b4905b8c8f46e33895fcec}


