[Next] [Up] [Previous] [Contents]
Next: Basic for-loops
Up: SMV language overview
Previous: Complex conditionals - switch
A looping construct is provided for expressing regular
structures more succinctly. Loops are simply unrolled by
the compiler into the equivalent ``in-line'' code.
Ken McMillan
Sat Jun 6 21:41:59 PDT 1998