\hypertarget{set_8h}{
\section{set.h File Reference}
\label{set_8h}\index{set.h@{set.h}}
}
\subsection*{Functions}
\begin{CompactItemize}
\item 
bdd \hyperlink{set_8h_d57fd14f542e3c1a812e6122867ee456}{setUnion} (bdd s1, bdd s2)
\item 
bdd \hyperlink{set_8h_7a8a8e0f0ec0139394f4e34c0fc8bad7}{setIntersection} (bdd s1, bdd s2)
\item 
bdd \hyperlink{set_8h_6f3643b0fa6bdc55867fc9d4af197b92}{setXOR} (bdd s1, bdd s2)
\end{CompactItemize}


\subsection{Function Documentation}
\hypertarget{set_8h_7a8a8e0f0ec0139394f4e34c0fc8bad7}{
\index{set.h@{set.h}!setIntersection@{setIntersection}}
\index{setIntersection@{setIntersection}!set.h@{set.h}}
\subsubsection[{setIntersection}]{\setlength{\rightskip}{0pt plus 5cm}bdd setIntersection (bdd {\em s1}, \/  bdd {\em s2})}}
\label{set_8h_7a8a8e0f0ec0139394f4e34c0fc8bad7}


This funtions the set intersection between two sets. The returned set contains the elements that are shared in the original sets. \hypertarget{set_8h_d57fd14f542e3c1a812e6122867ee456}{
\index{set.h@{set.h}!setUnion@{setUnion}}
\index{setUnion@{setUnion}!set.h@{set.h}}
\subsubsection[{setUnion}]{\setlength{\rightskip}{0pt plus 5cm}bdd setUnion (bdd {\em s1}, \/  bdd {\em s2})}}
\label{set_8h_d57fd14f542e3c1a812e6122867ee456}


Set Operations Module This module contains the operations on sets. It is used when we use the set model. The operations takes place on the bdd level. Every bdd in a set model, is a set and hence these functions operate on sets (bdds). This function is the set uinon between two sets. The returned set contains both the elements of the unioned sets. \hypertarget{set_8h_6f3643b0fa6bdc55867fc9d4af197b92}{
\index{set.h@{set.h}!setXOR@{setXOR}}
\index{setXOR@{setXOR}!set.h@{set.h}}
\subsubsection[{setXOR}]{\setlength{\rightskip}{0pt plus 5cm}bdd setXOR (bdd {\em s1}, \/  bdd {\em s2})}}
\label{set_8h_6f3643b0fa6bdc55867fc9d4af197b92}


This function is the xor between two sets. The returned set contains all the elements in both the sets except the common ones. 