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