Lines Matching refs:pointer
655 The integer returned as the first component of the pair is a pointer
657 descriptors. This pointer points to the root node. Each node
801 following the low ({\t{false}}) or high ({\t{true}}) pointer,
961 first component is the \emph{destructor} (a function pointer) and the
962 second component is the \emph{data} (typicaly a pointer). When the
1072 \t{Varmap.eq} & pointer equality of varmaps ({\it not} general equality) \\ \hline
1427 pointer equal
1462 {\t{\footnotesize BddOpError}} is raised if the varmaps of the hypotheses are not pointer equal
1569 Raises \t{BddAppallError} if the varmaps in the hypotheses are not pointer equal, or
1612 Raises \t{BddAppexError} if the varmaps of the hypotheses are not pointer equal, or
1650 Raises \t{BddComposeError} if varmaps in the hypotheses are not pointer equal,
1692 Raises \t{BddListComposeError} if the varmaps in the hypotheses are not all pointer equal,
1738 \t{BddRestrictError} is raised if the varmaps in the hypotheses are not all pointer equal,
1782 Raises \t{BddReplaceError} if the varmaps in the hypotheses are not all pointer equal,
1817 {\t{\footnotesize BddSimplifyError}} is raised if the varmaps in the hypotheses are not pointer equal