optional

int 
CommandAddProperty(
  int  argc, 
  char** argv 
)
Adds a property to the list of properties

See Also show_property
Defined in propCmd.c

int 
CommandCheckProperty(
  int  argc, 
  char ** argv 
)
Checks properties

See Also check_property
Defined in propCmd.c

int 
CommandShowProperty(
  int  argc, 
  char** argv 
)
Shows the currently stored properties

See Also add_property check_spec check_ltlspec check_invar compute
Defined in propCmd.c

PropDb_ptr 
PropPkg_get_prop_database(
    
)
Returns the global property database instance

Defined in propPkg.c

void 
PropPkg_init_cmd(
    
)
Initialize the prop package for commands. This must be called independently from the package initialization function

Defined in propCmd.c

void 
PropPkg_init(
    
)
After you had called this, you must also call PropPkg_init_cmd if you need to use the interactive shell for commands

Defined in propPkg.c

void 
PropPkg_quit_cmd(
    
)
This must be called independently from the package initialization function

Defined in propCmd.c

void 
PropPkg_quit(
    
)
Quits the package

Defined in propPkg.c

void 
PropPkg_set_prop_database(
  PropDb_ptr  db 
)
Simply overwrites global_prop_database with a new value. Hence, caller is responsible for freeing global_prop_database before calling this function.

Defined in propPkg.c

Last updated on 2011/04/06 21h:16