set [-h] [<name>] [<value>]
A variable environment is maintained by the command interpreter. The "set" command sets a variable to a particular value, and the "unset" command removes the definition of a variable. If "set" is given no arguments, it prints the current value of all variables.
Command options:
Interpolation of variables is allowed when using the set command. The
variables are referred to with the prefix of '$'. So for example,
what follows can be done to check the value of a set variable:
NuSMV> set foo bar
The last line "bar" will be the output produced by NuSMV.
NuSMV> echo $foo
bar
Variables can be extended by using the character ':' to concatenate
values. For example:
NuSMV> set foo bar
The variable
NuSMV> set foo $foo:foobar
NuSMV> echo $foo
bar:foobar
foo
is extended with the value
foobar
.
Whitespace characters may be present within quotes. However, variable
interpolation lays the restriction that the characters ':' and '/' may
not be used within quotes. This is to allow for recursive interpolation.
So for example, the following is allowed
NuSMV> set "foo bar" this
The last line will be the output produced by NuSMV.
NuSMV> echo $"foo bar"
this
But in the following, the value of the variable foo/bar
will not be interpreted correctly:
NuSMV> set "foo/bar" this
If a variable is not set by the "set" command, then the variable is returned
unchanged.
NuSMV> echo $"foo/bar"
foo/bar
Different commands use environment information for different purposes. The command interpreter makes use of the following parameters: