Index of values

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 Parameter_customize.get_c_ified_functions for more information), and abort otherwise.

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 false.

on [Parameter_sig.Bool]

Set the boolean to true.

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]