Next: Parentheses and precedence
Up: The SMV language
Previous: Chained constructor loops
  Contents
Expressions
An ``expression'' combines signals using a collection of operators.
These operators include:
- boolean operators (``and'', ``or'', ``not'' and ``xor''),
- conditional operators (``if-then-else'', ``case'' and ``switch'')
- arithmetic operators (``+'', ``-'', ``*'', ``/'', ``mod'', and shifts)
- comparison operators (``='', ``<'', ``>'', ``>='',
``<='')
- set operators (union, integer subrange and inclusion)
- vector operators (concatenation, subrange)
- conversion operations (integer to bit vector and vice versa)
Since signals are sequences of values, all of these operators
apply to the elements of a sequence one-by-one. Thus, if
and is a binary operator, then
The following describes the various operators as they apply to
individual values.
Subsections
2002-10-28