\hypertarget{structless__bdd}{
\section{less\_\-bdd Struct Reference}
\label{structless__bdd}\index{less\_\-bdd@{less\_\-bdd}}
}
{\tt \#include $<$pfa.h$>$}

\subsection*{Public Member Functions}
\begin{CompactItemize}
\item 
bool \hyperlink{structless__bdd_d4ebd31a3bfba76267f420038c05ac6d}{operator()} (const bdd x, const bdd y) const 
\item 
bool \hyperlink{structless__bdd_d5af1740d789fde0de1905880111f9ed}{lessbdd} (const bdd x, const bdd y) const 
\end{CompactItemize}


\subsection{Detailed Description}
Product Family Algebra Module This module contains the functions that correspond to the DOT and PLUS in Product Family Algebra. The module provides the upper set-layer. PFA is a set of sets for the set model and a set of bags in the bag model. This utilizes the STL library as a wrapper to the sets(bdds), or bags(bdds) in the lower level. This is a comparison function that works as an orderering relation between the upper level of sets. The sets of sets or the sets of bags. 

\subsection{Member Function Documentation}
\hypertarget{structless__bdd_d5af1740d789fde0de1905880111f9ed}{
\index{less\_\-bdd@{less\_\-bdd}!lessbdd@{lessbdd}}
\index{lessbdd@{lessbdd}!less_bdd@{less\_\-bdd}}
\subsubsection[{lessbdd}]{\setlength{\rightskip}{0pt plus 5cm}bool less\_\-bdd::lessbdd (const bdd {\em x}, \/  const bdd {\em y}) const\hspace{0.3cm}{\tt  \mbox{[}inline\mbox{]}}}}
\label{structless__bdd_d5af1740d789fde0de1905880111f9ed}


\hypertarget{structless__bdd_d4ebd31a3bfba76267f420038c05ac6d}{
\index{less\_\-bdd@{less\_\-bdd}!operator()@{operator()}}
\index{operator()@{operator()}!less_bdd@{less\_\-bdd}}
\subsubsection[{operator()}]{\setlength{\rightskip}{0pt plus 5cm}bool less\_\-bdd::operator() (const bdd {\em x}, \/  const bdd {\em y}) const\hspace{0.3cm}{\tt  \mbox{[}inline\mbox{]}}}}
\label{structless__bdd_d4ebd31a3bfba76267f420038c05ac6d}




The documentation for this struct was generated from the following file:\begin{CompactItemize}
\item 
\hyperlink{pfa_8h}{pfa.h}\end{CompactItemize}
