A | |
| assert_and_validate [Misc] | |
E | |
| emitter [Misc] | |
| empty_env [Collect] | |
| exp_to_predicate [Value2acsl] | |
G | |
| generate_hypotheses [Hyp] | |
| get_function_name [Parameter_sig.String] | returns the given argument only if it is a valid function name
(see |
| get_plain_string [Parameter_sig.String] | always return the argument, even if the argument is not a function name. |
| get_possible_values [Parameter_sig.String] | What are the acceptable values for this parameter. |
| get_relevant [Collect] | |
| get_relevant_vars_stmt [Collect] | |
L | |
| lval_to_predicate [Value2acsl] | |
N | |
| not_implemented [Misc] | |
O | |
| off [Parameter_sig.Bool] | Set the boolean to |
| on [Parameter_sig.Bool] | Set the boolean to |
S | |
| set_possible_values [Parameter_sig.String] | Set what are the acceptable values for this parameter. |
| should_annotate_stmt [Collect] | |
V | |
| value_to_predicate_opt [Value2acsl] |