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