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

Last updated on 2004/06/10 13h:44