\hypertarget{setbag__old_8h}{
\section{setbag\_\-old.h File Reference}
\label{setbag__old_8h}\index{setbag\_\-old.h@{setbag\_\-old.h}}
}
{\tt \#include $<$bdd.h$>$}\par
{\tt \#include $<$iostream$>$}\par
{\tt \#include $<$bitset$>$}\par
{\tt \#include \char`\"{}bag.h\char`\"{}}\par
{\tt \#include \char`\"{}set.h\char`\"{}}\par
\subsection*{Functions}
\begin{CompactItemize}
\item 
bdd \hyperlink{setbag__old_8h_a45f03a59f2e10eb503c527606391bc3}{bag2set} (bdd bag)
\item 
bdd \hyperlink{setbag__old_8h_110b4b864dca0a40eb6d531fb749d22f}{set2bag} (bdd set)
\end{CompactItemize}


\subsection{Function Documentation}
\hypertarget{setbag__old_8h_a45f03a59f2e10eb503c527606391bc3}{
\index{setbag\_\-old.h@{setbag\_\-old.h}!bag2set@{bag2set}}
\index{bag2set@{bag2set}!setbag_old.h@{setbag\_\-old.h}}
\subsubsection[{bag2set}]{\setlength{\rightskip}{0pt plus 5cm}bdd bag2set (bdd {\em bag})}}
\label{setbag__old_8h_a45f03a59f2e10eb503c527606391bc3}


\hypertarget{setbag__old_8h_110b4b864dca0a40eb6d531fb749d22f}{
\index{setbag\_\-old.h@{setbag\_\-old.h}!set2bag@{set2bag}}
\index{set2bag@{set2bag}!setbag_old.h@{setbag\_\-old.h}}
\subsubsection[{set2bag}]{\setlength{\rightskip}{0pt plus 5cm}bdd set2bag (bdd {\em set})}}
\label{setbag__old_8h_110b4b864dca0a40eb6d531fb749d22f}


