\hypertarget{pfa_8h}{
\section{pfa.h File Reference}
\label{pfa_8h}\index{pfa.h@{pfa.h}}
}
\subsection*{Classes}
\begin{CompactItemize}
\item 
struct \hyperlink{structless__bdd}{less\_\-bdd}
\end{CompactItemize}
\subsection*{Typedefs}
\begin{CompactItemize}
\item 
typedef set$<$ bdd, \hyperlink{structless__bdd}{less\_\-bdd} $>$ \hyperlink{pfa_8h_64c5a778c66194561f6dd90a07185001}{FAMILY}
\end{CompactItemize}
\subsection*{Functions}
\begin{CompactItemize}
\item 
\hyperlink{pfa_8h_64c5a778c66194561f6dd90a07185001}{FAMILY} \hyperlink{pfa_8h_f1e2b5de75ef075fe01082736938cd85}{DOT} (\hyperlink{pfa_8h_64c5a778c66194561f6dd90a07185001}{FAMILY} \hyperlink{families_8h_2680526b6e328a49d4229d7402cd43d0}{f1}, \hyperlink{pfa_8h_64c5a778c66194561f6dd90a07185001}{FAMILY} f2)
\item 
\hyperlink{pfa_8h_64c5a778c66194561f6dd90a07185001}{FAMILY} \hyperlink{pfa_8h_9844ab2e763834ec39de24a8a0ba43e5}{PLUS} (\hyperlink{pfa_8h_64c5a778c66194561f6dd90a07185001}{FAMILY} \hyperlink{families_8h_2680526b6e328a49d4229d7402cd43d0}{f1}, \hyperlink{pfa_8h_64c5a778c66194561f6dd90a07185001}{FAMILY} f2)
\end{CompactItemize}


\subsection{Typedef Documentation}
\hypertarget{pfa_8h_64c5a778c66194561f6dd90a07185001}{
\index{pfa.h@{pfa.h}!FAMILY@{FAMILY}}
\index{FAMILY@{FAMILY}!pfa.h@{pfa.h}}
\subsubsection[{FAMILY}]{\setlength{\rightskip}{0pt plus 5cm}typedef set$<$bdd, {\bf less\_\-bdd}$>$ {\bf FAMILY}}}
\label{pfa_8h_64c5a778c66194561f6dd90a07185001}




\subsection{Function Documentation}
\hypertarget{pfa_8h_f1e2b5de75ef075fe01082736938cd85}{
\index{pfa.h@{pfa.h}!DOT@{DOT}}
\index{DOT@{DOT}!pfa.h@{pfa.h}}
\subsubsection[{DOT}]{\setlength{\rightskip}{0pt plus 5cm}{\bf FAMILY} DOT ({\bf FAMILY} {\em f1}, \/  {\bf FAMILY} {\em f2})\hspace{0.3cm}{\tt  \mbox{[}inline\mbox{]}}}}
\label{pfa_8h_f1e2b5de75ef075fe01082736938cd85}


This is the DOT function on the upper level sets. Given two families, f1 and f2, it returns a new family which is the dot of the two orignal families. the function behaves differently if we use the set model or the bag model. In the set model, we utilize the setUnion on sets (bdds) while in the bag model, we ultilize the bagUnion on bags(bdds). \hypertarget{pfa_8h_9844ab2e763834ec39de24a8a0ba43e5}{
\index{pfa.h@{pfa.h}!PLUS@{PLUS}}
\index{PLUS@{PLUS}!pfa.h@{pfa.h}}
\subsubsection[{PLUS}]{\setlength{\rightskip}{0pt plus 5cm}{\bf FAMILY} PLUS ({\bf FAMILY} {\em f1}, \/  {\bf FAMILY} {\em f2})\hspace{0.3cm}{\tt  \mbox{[}inline\mbox{]}}}}
\label{pfa_8h_9844ab2e763834ec39de24a8a0ba43e5}


This function is the PLUS funtion on the upper level sets. Given two families, f1 and f2, it returns a new family which is the plus of the two original familes. The plus is the union of the upper sets. 