next up previous
Next: Observing Conjunctive Predicates Up: Figures in the book Previous: Global State

Observing Global Predicates

Figure: An efficient algorithm to detect a linear predicate
\fbox{\begin{minipage}{\textwidth}\sf \begin{tabbing} x\=xxxx\=xxxx\=xxxx\=xxxx\... ...\\ \> {\bf endwhile};\\ \> {\bf return} $true$; \end{tabbing}\end{minipage}}


Vijay K. Garg 2005-02-08