next up previous contents
Next: Simple conditionals Up: The SMV language Previous: Defined types   Contents

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.



Subsections

2002-10-28