Index of values


A
add [Plugin.GEN_STRING_SET]
Add a string to the string set option.
add_choice [Plugin.INDEXED_VAL]
adds a new choice for the option.

B
bar [Register]

C
compare_proof [Register]

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

F
find [Plugin.STRING_HASHTBL]

G
get_possible_values [Plugin.STRING]
What are the acceptable values for this parameter.
get_proofs [Register]
get_range [Plugin.INT]
What is the possible range of values for this parameter.
get_set [Plugin.GEN_STRING_SET]
Get a string which concatenates each string in the set with a separator.
get_val [Plugin.INDEXED_VAL]
the currently selected value.

I
incr [Plugin.INT]
Increment the integer.
is_complete [Register]
is_empty [Plugin.GEN_STRING_SET]
Check if the set is empty.
iter [Plugin.GEN_STRING_SET]
Iter on each string in the set.

M
main [Register]

O
off [Plugin.BOOL]
Set the boolean to false.
on [Plugin.BOOL]
Set the boolean to true.

P
print [Register]

R
remove [Plugin.GEN_STRING_SET]
Remove a string from the option.
report [Register]

S
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
txt_partial [Register]
txt_unknown [Register]
txt_valid [Register]