Searched refs:t2 (Results 101 - 103 of 103) sorted by relevance

12345

/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Dumscmacros.tex167 {\tt SameType(t1, t2)} & true if the arguments have the same type. \\
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Dumscmacros.tex184 {\tt SameType(t1, t2)} & true if the arguments have the same type. \\
/barrelfish-master/lib/tommath/
H A Dtommath.tex3443 1. Initialize the following temporary mp\_ints: $x0$, $x1$, $t1$, $t2$, $x0x0$ and $x1x1$. \\
3458 10. $t2 \leftarrow x0x0 + x1x1$ (\textit{s\_mp\_add}) \\
3459 11. $t1 \leftarrow t1 - t2$ \\
5426 \hspace{6mm}13.5.6 If $\vert t1 \vert > \vert t2 \vert$ then goto step 13.5. \\

Completed in 193 milliseconds

12345