NavigationTopContentsFootnotes

Contents

Index

Footnotes

(1)
The guards seem complex, but are actually quite simple. This is a consequence of using NBAC which does not deal with equalities but only with inequalities:
x=0 is written not((x-1) >= 0) and x >= 0

F Ployette, F-X Ponscarme, October 18, 2007


NavigationTopContentsFootnotesContentsIndex