int
CommandSetVariable(
int argc,
char** argv
)
- Sets an environment variable
- See Also
unset
- Defined in
optCmd.c
int
CommandUnsetVariable(
int argc,
char** argv
)
- Unsets an environment variable
- See Also
set
- Defined in
optCmd.c
void
init_options_cmd(
)
- This function declares the interactive shell
commands necessary to manipulate NuSMV options.
- Defined in
optCmd.c
options_ptr
init_options(
)
- The NuSMV options are initialized. A pointer to
a structure containing the NuSMV options is allocated, its fields
are initialized and the pointer is returned.
- Defined in
optCmd.c
static char*
remove_non_existant_pps(
const char* pp_list
)
- Returned string must be freed
- Defined in
optCmd.c
(
)
- Makes append_cluster option visible to the shell
interface. The default is that it is not visible. Notice that only
the printing hide it. The set unset function handle it.
- Defined in
optInt.h
(
)
- This sets a constant (not dynamic) string option,
_never_ cleaning up the memory. Use NULL for default if there is no
default. All the strings are considered constant, to be NOT freed.
Constant strings are those that are never provided by the user
(i.e. are never built dynamically).
- Defined in
optCmd.c
(
)
- This sets a string option, cleaning up the memory if
needed. Use NULL for default if there is no default. Default string
is considered constant, to be NOT freed.
- Defined in
optCmd.c