\hypertarget{families_8h}{
\section{families.h File Reference}
\label{families_8h}\index{families.h@{families.h}}
}
\subsection*{Variables}
\begin{CompactItemize}
\item 
bdd \hyperlink{families_8h_ecd57c7e10594c53f4e62d4de7380761}{a1} = bdd\_\-ithvar(1)
\item 
bdd \hyperlink{families_8h_671b697a0da7ec58b60d4de750d6fa0f}{b1} = bdd\_\-ithvar(2)
\item 
bdd \hyperlink{families_8h_4bc7a9dcf583187fd22551b3b8d6452f}{c1} = bdd\_\-ithvar(3)
\item 
bdd \hyperlink{families_8h_18f1048a6af48d12960286595d2c0ecc}{d1} = bdd\_\-ithvar(4)
\item 
bdd \hyperlink{families_8h_51acd0ad162a2b355cea32accc6943b6}{e1} = bdd\_\-ithvar(5)
\item 
bdd \hyperlink{families_8h_2680526b6e328a49d4229d7402cd43d0}{f1} = bdd\_\-ithvar(6)
\item 
bdd \hyperlink{families_8h_548b05ba38420c8041f93f87b858016d}{g1} = bdd\_\-ithvar(7)
\item 
bdd \hyperlink{families_8h_b0550cdf09cb04c2e31766f356dc8c60}{h1} = bdd\_\-ithvar(8)
\item 
bdd \hyperlink{families_8h_c38a559c43bb2a7175961d56007d4216}{i1} = bdd\_\-ithvar(9)
\item 
bdd \hyperlink{families_8h_653a961eba6114cb7087cf8ef24647c2}{j1} = bdd\_\-ithvar(10)
\item 
bdd \hyperlink{families_8h_eb1e5f90c3ba2ea01ae81051e9f997c2}{k1} = bdd\_\-ithvar(11)
\item 
bdd \hyperlink{families_8h_de9d854030b615882666c5b835d5e209}{l1} = bdd\_\-ithvar(12)
\item 
bdd \hyperlink{families_8h_48a25d9173e61430e92a3f20d8e2a391}{m1} = bdd\_\-ithvar(13)
\item 
bdd \hyperlink{families_8h_59fe24ff8f0461cd83ee4da24aa99e80}{n1} = bdd\_\-ithvar(14)
\item 
bdd \hyperlink{families_8h_95baea7add8b893863ae9a3a853e41ea}{o1} = bdd\_\-ithvar(15)
\item 
bdd \hyperlink{families_8h_8b5a22e63cc8a6f67942124b9573f971}{p1} = bdd\_\-ithvar(16)
\item 
bdd \hyperlink{families_8h_2e4dc98441ab4aafadc22447ee08ea1b}{temp1}
\end{CompactItemize}


\subsection{Variable Documentation}
\hypertarget{families_8h_ecd57c7e10594c53f4e62d4de7380761}{
\index{families.h@{families.h}!a1@{a1}}
\index{a1@{a1}!families.h@{families.h}}
\subsubsection[{a1}]{\setlength{\rightskip}{0pt plus 5cm}bdd {\bf a1} = bdd\_\-ithvar(1)}}
\label{families_8h_ecd57c7e10594c53f4e62d4de7380761}


\hypertarget{families_8h_671b697a0da7ec58b60d4de750d6fa0f}{
\index{families.h@{families.h}!b1@{b1}}
\index{b1@{b1}!families.h@{families.h}}
\subsubsection[{b1}]{\setlength{\rightskip}{0pt plus 5cm}bdd {\bf b1} = bdd\_\-ithvar(2)}}
\label{families_8h_671b697a0da7ec58b60d4de750d6fa0f}


\hypertarget{families_8h_4bc7a9dcf583187fd22551b3b8d6452f}{
\index{families.h@{families.h}!c1@{c1}}
\index{c1@{c1}!families.h@{families.h}}
\subsubsection[{c1}]{\setlength{\rightskip}{0pt plus 5cm}bdd {\bf c1} = bdd\_\-ithvar(3)}}
\label{families_8h_4bc7a9dcf583187fd22551b3b8d6452f}


\hypertarget{families_8h_18f1048a6af48d12960286595d2c0ecc}{
\index{families.h@{families.h}!d1@{d1}}
\index{d1@{d1}!families.h@{families.h}}
\subsubsection[{d1}]{\setlength{\rightskip}{0pt plus 5cm}bdd {\bf d1} = bdd\_\-ithvar(4)}}
\label{families_8h_18f1048a6af48d12960286595d2c0ecc}


\hypertarget{families_8h_51acd0ad162a2b355cea32accc6943b6}{
\index{families.h@{families.h}!e1@{e1}}
\index{e1@{e1}!families.h@{families.h}}
\subsubsection[{e1}]{\setlength{\rightskip}{0pt plus 5cm}bdd {\bf e1} = bdd\_\-ithvar(5)}}
\label{families_8h_51acd0ad162a2b355cea32accc6943b6}


\hypertarget{families_8h_2680526b6e328a49d4229d7402cd43d0}{
\index{families.h@{families.h}!f1@{f1}}
\index{f1@{f1}!families.h@{families.h}}
\subsubsection[{f1}]{\setlength{\rightskip}{0pt plus 5cm}bdd {\bf f1} = bdd\_\-ithvar(6)}}
\label{families_8h_2680526b6e328a49d4229d7402cd43d0}


\hypertarget{families_8h_548b05ba38420c8041f93f87b858016d}{
\index{families.h@{families.h}!g1@{g1}}
\index{g1@{g1}!families.h@{families.h}}
\subsubsection[{g1}]{\setlength{\rightskip}{0pt plus 5cm}bdd {\bf g1} = bdd\_\-ithvar(7)}}
\label{families_8h_548b05ba38420c8041f93f87b858016d}


\hypertarget{families_8h_b0550cdf09cb04c2e31766f356dc8c60}{
\index{families.h@{families.h}!h1@{h1}}
\index{h1@{h1}!families.h@{families.h}}
\subsubsection[{h1}]{\setlength{\rightskip}{0pt plus 5cm}bdd {\bf h1} = bdd\_\-ithvar(8)}}
\label{families_8h_b0550cdf09cb04c2e31766f356dc8c60}


\hypertarget{families_8h_c38a559c43bb2a7175961d56007d4216}{
\index{families.h@{families.h}!i1@{i1}}
\index{i1@{i1}!families.h@{families.h}}
\subsubsection[{i1}]{\setlength{\rightskip}{0pt plus 5cm}bdd {\bf i1} = bdd\_\-ithvar(9)}}
\label{families_8h_c38a559c43bb2a7175961d56007d4216}


\hypertarget{families_8h_653a961eba6114cb7087cf8ef24647c2}{
\index{families.h@{families.h}!j1@{j1}}
\index{j1@{j1}!families.h@{families.h}}
\subsubsection[{j1}]{\setlength{\rightskip}{0pt plus 5cm}bdd {\bf j1} = bdd\_\-ithvar(10)}}
\label{families_8h_653a961eba6114cb7087cf8ef24647c2}


\hypertarget{families_8h_eb1e5f90c3ba2ea01ae81051e9f997c2}{
\index{families.h@{families.h}!k1@{k1}}
\index{k1@{k1}!families.h@{families.h}}
\subsubsection[{k1}]{\setlength{\rightskip}{0pt plus 5cm}bdd {\bf k1} = bdd\_\-ithvar(11)}}
\label{families_8h_eb1e5f90c3ba2ea01ae81051e9f997c2}


\hypertarget{families_8h_de9d854030b615882666c5b835d5e209}{
\index{families.h@{families.h}!l1@{l1}}
\index{l1@{l1}!families.h@{families.h}}
\subsubsection[{l1}]{\setlength{\rightskip}{0pt plus 5cm}bdd {\bf l1} = bdd\_\-ithvar(12)}}
\label{families_8h_de9d854030b615882666c5b835d5e209}


\hypertarget{families_8h_48a25d9173e61430e92a3f20d8e2a391}{
\index{families.h@{families.h}!m1@{m1}}
\index{m1@{m1}!families.h@{families.h}}
\subsubsection[{m1}]{\setlength{\rightskip}{0pt plus 5cm}bdd {\bf m1} = bdd\_\-ithvar(13)}}
\label{families_8h_48a25d9173e61430e92a3f20d8e2a391}


\hypertarget{families_8h_59fe24ff8f0461cd83ee4da24aa99e80}{
\index{families.h@{families.h}!n1@{n1}}
\index{n1@{n1}!families.h@{families.h}}
\subsubsection[{n1}]{\setlength{\rightskip}{0pt plus 5cm}bdd {\bf n1} = bdd\_\-ithvar(14)}}
\label{families_8h_59fe24ff8f0461cd83ee4da24aa99e80}


\hypertarget{families_8h_95baea7add8b893863ae9a3a853e41ea}{
\index{families.h@{families.h}!o1@{o1}}
\index{o1@{o1}!families.h@{families.h}}
\subsubsection[{o1}]{\setlength{\rightskip}{0pt plus 5cm}bdd {\bf o1} = bdd\_\-ithvar(15)}}
\label{families_8h_95baea7add8b893863ae9a3a853e41ea}


\hypertarget{families_8h_8b5a22e63cc8a6f67942124b9573f971}{
\index{families.h@{families.h}!p1@{p1}}
\index{p1@{p1}!families.h@{families.h}}
\subsubsection[{p1}]{\setlength{\rightskip}{0pt plus 5cm}bdd {\bf p1} = bdd\_\-ithvar(16)}}
\label{families_8h_8b5a22e63cc8a6f67942124b9573f971}


\hypertarget{families_8h_2e4dc98441ab4aafadc22447ee08ea1b}{
\index{families.h@{families.h}!temp1@{temp1}}
\index{temp1@{temp1}!families.h@{families.h}}
\subsubsection[{temp1}]{\setlength{\rightskip}{0pt plus 5cm}bdd {\bf temp1}}}
\label{families_8h_2e4dc98441ab4aafadc22447ee08ea1b}


