Index of values


A
add [Plugin.String_collection]
Add a string to the string set option.
add_choice [Plugin.Indexed_val]
adds a new choice for the option.
add_consolidation [Scan]
add_pending [Scan]
add_property [Scan]

B
bar [Register]
bar [Dump]

C
compare_with_emitter [Emitter.Usable_emitter]
correctness_parameters [Emitter.Usable_emitter]
create [Dump]

D
dead_reasons [Scan]
dim [Dump]

E
exists [Plugin.String_collection]
Checks if at least one element of the set satisfies the predicate.

F
find [Plugin.String_hashtbl]

G
get_name [Emitter.Usable_emitter]
get_possible_values [Plugin.String]
What are the acceptable values for this parameter.
get_range [Plugin.Int]
What is the possible range of values for this parameter.
get_set [Plugin.String_collection]
Get a string which concatenates each string in the set with a separator.
get_unique_name [Emitter.Usable_emitter]
get_val [Plugin.Indexed_val]
the currently selected value.

I
incr [Plugin.Int]
Increment the integer.
is_empty [Plugin.String_collection]
Check if the set is empty.
iter [Plugin.String_collection]
Iter on each string in the set.
iter [Scan]

M
main [Register]

N
never_tried [Scan]

O
off [Plugin.Bool]
Set the boolean to false.
on [Plugin.Bool]
Set the boolean to true.
output [Plugin.WithOutput]
To be used by the plugin to output the results of the option in a controlled way.

P
partial_pending [Scan]
pp_status [Dump]
pretty_parameter [Emitter.Usable_emitter]
Pretty print the parameter (given by its name) with its value.
print [Register]

R
remove [Plugin.String_collection]
Remove a string from the option.

S
set_output_dependencies [Plugin.WithOutput]
Set the dependecies for the output of the option.
set_possible_values [Plugin.String]
Set what are the acceptable values for this parameter.
set_range [Plugin.Int]
Set what is the possible range of values for this parameter.

T
tab [Dump]
tuning_parameters [Emitter.Usable_emitter]