The internal header file of the opt package.

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

Last updated on 2009/03/04 13h:34