Index of values

C
compute [Api]

Propagate constant into the functions given by the parameters (in the same way that Api.get.

compute [Constant_Propagation.Api]

Propagate constant into the functions given by the parameters (in the same way that Constant_Propagation.Api.get.

E
exists [Parameter_sig.Set]

Is there some element satisfying the given predicate?

G
get [Api]

Propagate constant into the functions given by name.

get [Constant_Propagation.Api]

Propagate constant into the functions given by name.

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.

M
mem [Parameter_sig.Set]

Does the given element belong to the set?

O
off [Parameter_sig.Bool]

Set the boolean to false.

on [Parameter_sig.Bool]

Set the boolean to true.

S
self [Api]

Internal state of the constant propagation plugin.

self [Constant_Propagation.Api]

Internal state of the constant propagation plugin.

set_possible_values [Parameter_sig.String]

Set what are the acceptable values for this parameter.