Predicate/Method Index
A
- abs_sort/3 (domains predicate)
- abs_subset/3 (domains predicate)
- abstract_instance/5 (domains predicate)
- acheck/0 (ciaopp predicate)
- again/0 (auto_interface predicate)
- aidomain/1 (domains predicate)
- amgu/5 (domains predicate)
- analyze/1 (ciaopp predicate)
- asub_to_info/5 (domains predicate)
- asub_to_native/5 (domains predicate)
- augment_asub/4 (domains predicate)
- augment_two_asub/4 (domains predicate)
- auto_analyze/1 (auto_interface predicate)
- auto_analyze/2 (auto_interface predicate)
- auto_check_assert/1 (auto_interface predicate)
- auto_check_assert/2 (auto_interface predicate)
- auto_optimize/1 (auto_interface predicate)
- auto_optimize/2 (auto_interface predicate)
B
C
- call_to_entry/9 (domains predicate)
- call_to_success_builtin/7 (domains predicate)
- call_to_success_fact/9 (domains predicate)
- check/1 (assertions_doc predicate)
- clean_aux_files/1 (auto_interface predicate)
- collect_types_in_abs/4 (domains predicate)
- compute_lub/3 (domains predicate)
- concrete/4 (domains predicate)
- contains_parameters/2 (domains predicate)
- current_pp_flag/2 (ciaopp predicate)
- customize/0 (auto_interface predicate)
- customize/1 (auto_interface predicate)
- customize_and_preprocess/0 (auto_interface predicate)
- customize_and_preprocess/1 (auto_interface predicate)
- customize_and_preprocess_java/1 (auto_interface predicate)
- customize_but_dont_save/1 (auto_interface predicate)
- customize_java/1 (auto_interface predicate)
D
E
- eliminate_equivalent/3 (domains predicate)
- empty_entry/3 (domains predicate)
- exit_to_prime/8 (domains predicate)
- extend/5 (domains predicate)
F
G
- get_menu_configs/1 (auto_interface predicate)
- glb/4 (domains predicate)
- gr_asub_to_native/3 (gr predicate)
- gr_call_to_entry/8 (gr predicate)
- gr_call_to_success_builtin/6 (gr predicate)
- gr_call_to_success_fact/8 (gr predicate)
- gr_compute_lub/2 (gr predicate)
- gr_empty_entry/2 (gr predicate)
- gr_exit_to_prime/7 (gr predicate)
- gr_extend/4 (gr predicate)
- gr_glb/3 (gr predicate)
- gr_input_interface/4 (gr predicate)
- gr_input_user_interface/3 (gr predicate)
- gr_less_or_equal/2 (gr predicate)
- gr_project/3 (gr predicate)
- gr_sort/2 (gr predicate)
- gr_special_builtin/4 (gr predicate)
- gr_success_builtin/5 (gr predicate)
- gr_unknown_call/3 (gr predicate)
- gr_unknown_entry/2 (gr predicate)
H
- help/0 (ciaopp predicate)
- hook_menu_check_flag_value/3 (auto_interface predicate)
- hook_menu_default_option/3 (auto_interface predicate)
- hook_menu_flag_help/3 (auto_interface predicate)
- hook_menu_flag_values/3 (auto_interface predicate)
I
- identical_abstract/3 (domains predicate)
- identical_proj/5 (domains predicate)
- identical_proj_1/7 (domains predicate)
- info_to_asub/5 (domains predicate)
- init_abstract_domain/2 (domains predicate)
- input_interface/5 (domains predicate)
- input_user_interface/4 (domains predicate)
L
M
N
O
P
- part_conc/5 (domains predicate)
- pop_pp_flag/1 (ciaopp predicate)
- pp_flag/1 (ciaopp predicate)
- project/5 (domains predicate)
- push_pp_flag/2 (ciaopp predicate)
R
- remove_menu_config/1 (auto_interface predicate)
- rename_types_in_abs/4 (domains predicate)
- restore_menu_config/1 (auto_interface predicate)
S
- save_menu_config/1 (auto_interface predicate)
- select_modules/1 (auto_interface predicate)
- set_pp_flag/2 (ciaopp predicate)
- show_menu_config/1 (auto_interface predicate)
- show_menu_configs/0 (auto_interface predicate)
- special_builtin/6 (domains predicate)
- success_builtin/7 (domains predicate)
T
U
- unknown_call/4 (domains predicate)
- unknown_call/5 (domains predicate)
- unknown_entry/3 (domains predicate)
- unknown_entry/4 (domains predicate)
