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] |