[Next] [Up] [Previous] [Contents]
Next: Simple conditionals Up: SMV language overview Previous: Defined types

Conditionals

Assignments or groups of assignments may be made conditional. This is especially useful when several assignments all depend on the same condition - it avoids repeating the conditional structure in each assignment.





Ken McMillan
Sat Jun 6 21:41:59 PDT 1998