[Next] [Up] [Previous] [Contents]
Next: Parentheses and precedence Up: SMV language overview Previous: Chained constructor loops

Expressions

  An ``expression'' combines signals using a collection of operators. These operators include:

Since signals are sequences of values, all of these operators apply to the elements of a sequence one-by-one. Thus, if

eqnarray165

and tex2html_wrap_inline920 is a binary operator, then

displaymath918

The following describes the various operators as they apply to individual values.





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