\hypertarget{structhyperalert}{ \section{hyperalert Struct Reference} \label{structhyperalert}\index{hyperalert@{hyperalert}} } \subsection*{Data Fields} \begin{DoxyCompactItemize} \item \hyperlink{structhyperalert__key}{hyperalert\_\-key} \hyperlink{structhyperalert_a592c41f4772230c065ce352ec6c6cf0d}{key} \item char $\ast$$\ast$ \hyperlink{structhyperalert_afa2862b9a574be52e5dc4a4cc0178d66}{preconds} \item unsigned int \hyperlink{structhyperalert_a84181558bdbb98e49087d4ce7353bf70}{n\_\-preconds} \item char $\ast$$\ast$ \hyperlink{structhyperalert_a69e0ed6e53e6fe23d3de2ec1f5d13863}{postconds} \item unsigned int \hyperlink{structhyperalert_a16c46535e62397b5ef394b014943f58a}{n\_\-postconds} \item UT\_\-hash\_\-handle \hyperlink{structhyperalert_aa2993f19f3cc95627cfdaf4f47f78b04}{hh} \end{DoxyCompactItemize} \subsection{Detailed Description} Hyperalert hash table \subsection{Field Documentation} \hypertarget{structhyperalert_aa2993f19f3cc95627cfdaf4f47f78b04}{ \index{hyperalert@{hyperalert}!hh@{hh}} \index{hh@{hh}!hyperalert@{hyperalert}} \subsubsection[{hh}]{\setlength{\rightskip}{0pt plus 5cm}UT\_\-hash\_\-handle {\bf hyperalert::hh}}} \label{structhyperalert_aa2993f19f3cc95627cfdaf4f47f78b04} Make the struct 'hashable' \hypertarget{structhyperalert_a592c41f4772230c065ce352ec6c6cf0d}{ \index{hyperalert@{hyperalert}!key@{key}} \index{key@{key}!hyperalert@{hyperalert}} \subsubsection[{key}]{\setlength{\rightskip}{0pt plus 5cm}{\bf hyperalert\_\-key} {\bf hyperalert::key}}} \label{structhyperalert_a592c41f4772230c065ce352ec6c6cf0d} Hyperalert key \hypertarget{structhyperalert_a16c46535e62397b5ef394b014943f58a}{ \index{hyperalert@{hyperalert}!n\_\-postconds@{n\_\-postconds}} \index{n\_\-postconds@{n\_\-postconds}!hyperalert@{hyperalert}} \subsubsection[{n\_\-postconds}]{\setlength{\rightskip}{0pt plus 5cm}unsigned int {\bf hyperalert::n\_\-postconds}}} \label{structhyperalert_a16c46535e62397b5ef394b014943f58a} Number of post-\/conditions \hypertarget{structhyperalert_a84181558bdbb98e49087d4ce7353bf70}{ \index{hyperalert@{hyperalert}!n\_\-preconds@{n\_\-preconds}} \index{n\_\-preconds@{n\_\-preconds}!hyperalert@{hyperalert}} \subsubsection[{n\_\-preconds}]{\setlength{\rightskip}{0pt plus 5cm}unsigned int {\bf hyperalert::n\_\-preconds}}} \label{structhyperalert_a84181558bdbb98e49087d4ce7353bf70} Number of pre-\/conditions \hypertarget{structhyperalert_a69e0ed6e53e6fe23d3de2ec1f5d13863}{ \index{hyperalert@{hyperalert}!postconds@{postconds}} \index{postconds@{postconds}!hyperalert@{hyperalert}} \subsubsection[{postconds}]{\setlength{\rightskip}{0pt plus 5cm}char$\ast$$\ast$ {\bf hyperalert::postconds}}} \label{structhyperalert_a69e0ed6e53e6fe23d3de2ec1f5d13863} Post-\/conditions, as array of strings \hypertarget{structhyperalert_afa2862b9a574be52e5dc4a4cc0178d66}{ \index{hyperalert@{hyperalert}!preconds@{preconds}} \index{preconds@{preconds}!hyperalert@{hyperalert}} \subsubsection[{preconds}]{\setlength{\rightskip}{0pt plus 5cm}char$\ast$$\ast$ {\bf hyperalert::preconds}}} \label{structhyperalert_afa2862b9a574be52e5dc4a4cc0178d66} Pre-\/conditions, as array of strings The documentation for this struct was generated from the following file:\begin{DoxyCompactItemize} \item \hyperlink{correlation_8c}{correlation.c}\end{DoxyCompactItemize}