-
Prop_apply_coi_for_bdd()
- Applies cone of influence to the given property
-
Prop_apply_coi_for_bmc()
- Applies cone of influence to the given property
-
Prop_check_type()
- Check if a property in the database is of a given type
-
Prop_create_partial()
- Creates a property
-
Prop_create()
- Allocate a property
-
Prop_destroy()
- Free a property
-
Prop_get_bdd_fsm()
- Returns the boolean FSM in BDD of a property
-
Prop_get_be_fsm()
- Returns the boolean FSM in BE of a property
-
Prop_get_bool_sexp_fsm()
- Returns the boolean FSM in sexp of a property
-
Prop_get_cone()
- Returns the cone of a property
-
Prop_get_context_text()
- Returns the context name of a property
-
Prop_get_expr()
- Returns the property
-
Prop_get_index()
- Returns the index of a property
-
Prop_get_number_as_string()
- Returns the number value as a string (only for compute
types)
-
Prop_get_number()
- Returns the number of the property
-
Prop_get_scalar_sexp_fsm()
- Returns the scalar FSM in sexp of a property
-
Prop_get_status_as_string()
- Returns the a string associated to a property status
-
Prop_get_status()
- Returns the status of the property
-
Prop_get_text()
- Returns the property text, with no explicit context
-
Prop_get_trace()
- Returns the trace number associated to a property
-
Prop_get_type_as_string()
- Returns the a string associated to a property type
-
Prop_get_type()
- Returns the property type
-
Prop_master_get_bdd_fsm()
- Returns the boolean FSM in BDD
-
Prop_master_get_be_fsm()
- Returns the boolean FSM in BE
-
Prop_master_get_bool_sexp_fsm()
- Returns the boolean FSM in sexp
-
Prop_master_get_scalar_sexp_fsm()
- Returns the scalar FSM
-
Prop_master_set_bdd_fsm()
- Set the boolean FSM in BDD
-
Prop_master_set_be_fsm()
- Set the boolean FSM in BE
-
Prop_master_set_bool_sexp_fsm()
- Set the boolean FSM in sexp
-
Prop_master_set_scalar_sexp_fsm()
- Set the scalar FSM
-
Prop_print()
- Prints a property
-
Prop_set_bdd_fsm()
- Sets the boolean FSM in BDD of a property
-
Prop_set_be_fsm()
- Sets the boolean FSM in BE of a property
-
Prop_set_bool_sexp_fsm()
- Sets the boolean FSM in sexp of a property
-
Prop_set_cone()
- Sets the cone of a property
-
Prop_set_fsm_to_master()
- Copies master prop FSM data into prop
-
Prop_set_index()
- Sets the index of a property
-
Prop_set_number_infinite()
- Sets the number of the property to INFINITE
-
Prop_set_number()
- Sets the number of the property
-
Prop_set_scalar_sexp_fsm()
- Sets the scalar FSM in sexp of a property
-
Prop_set_status()
- Sets the status of the property
-
Prop_set_trace()
- Sets the trace number
-
Prop_verify()
- Verifies a given property
-
prop_db_get_prop_type_as_parsing_string()
- Returns the parsing type given the property type
-
prop_db_prop_parse_from_arg_and_add()
- Add a property to the database from an arg structure
and a type
-
prop_deinit()
- Destroy the elements of a property
-
prop_init()
- Initializes the property
-
prop_print()
- Prints a property
-
prop_set_bdd_fsm()
-
-
prop_set_be_fsm()
-
-
prop_set_bool_sexp_fsm()
-
-
prop_set_scalar_sexp_fsm()
-
Last updated on 2004/06/10 11h:11