next up previous contents
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:

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

\begin{eqnarray*}
x &=& x_1,x_2,x_3,\ldots\\
y &=& y_1,y_2,y_3,\ldots
\end{eqnarray*}



and $\cdot$ is a binary operator, then


\begin{displaymath}x \cdot y = (x_1 \cdot y_1),(x_2 \cdot y_2),(x_3 \cdot y_3),\ldots\end{displaymath}

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



Subsections

2002-10-28