Global Index
This is a global index containing pointers to places where concepts, predicates, modes, properties, types, applications, etc., are referred to in the text of the document.Symbols
- ','/2 (in basic_props)
- */2 (in assertions_props)
- +/1 (in assertions_props)
- +/2 (in assertions_props)
- ::/2 (in assertions_doc)
- = /2 (in native_props)
- =>/2 (in assertions_doc)
A
- abs_sort/3 (domains predicate)
- abs_subset/3 (domains predicate)
- abstract_instance/5 (domains predicate)
- absu/1 (gr regular type)
- absu_elem/1 (gr regular type)
- acceptable modes (in assertions_props)
- acheck/0 (ciaopp predicate)
- acheck_summary/1 (ciaopp udreexp)
- adding_new_domain (adding_new_domain library)
- again/0 (auto_interface predicate)
- aggregates (in auto_interface)
- aidomain/1 (domains predicate)
- amgu/5 (domains predicate)
- analysis/1 (ciaopp property)
- analyze/1 (ciaopp predicate)
- analyzer output (in assertions_doc)
- api(api_menu) (in auto_interface)
- argnames (in auto_interface)
- arithmetic (in auto_interface)
- assertion body syntax (in assertions_props)
- assertion checking (in ciaopp_ref_manintro)
- assertion language (in ciaopp_ref_man)
- assertion status (in assertions_doc)
- assertions (assertions_doc library)
- assertions/assertions_props (in assertions_doc)
- assertions/native_props (in basic_props)
- assertions_props (assertions_props library)
- assrt_body/1 (assertions_props regular type)
- assrt_status/1 (assertions_props regular type)
- assrt_type/1 (assertions_props regular type)
- asub_to_info/5 (domains predicate)
- asub_to_native/5 (domains predicate)
- atm/1 (basic_props regular type)
- atm_or_atm_list/1 (basic_props regular type)
- atom/1 (in auto_interface)
- atomic_basic (in auto_interface)
- 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_check_assrt/1 (in auto_interface)
- auto_interface (auto_interface library)
- auto_interface(auto_help) (in ciaopp)
- auto_interface(auto_interface) (in ciaopp)
- auto_interface(optim_comp) (in auto_interface)
- auto_optimize/1 (auto_interface predicate)
- auto_optimize/2 (auto_interface predicate)
B
- basic_props (basic_props library)
- basic_props.pl (in rtchecks_doc)
- basic_props:regtype/1 (in regtypes_doc)
- basiccontrol (in auto_interface)
- basicmodes (in gr)
- bind_ins/1 (basic_props property)
- binding/1 (gr regular type)
- binds/1 (gr regular type)
- body_succ_builtin/9 (domains predicate)
- bzip2 (in ciaopp_ref_manintro)
C
- Check(X) (in native_props)
- Claudio Vaucheret (gr author)
- c_assrt_body/1 (assertions_props regular type)
- call/1 (in assertions_props)
- call_rtc/1 (in rtchecks_doc)
- call_to_entry/9 (domains predicate)
- call_to_success_builtin/7 (domains predicate)
- call_to_success_fact/9 (domains predicate)
- callable/1 (basic_props regular type)
- calls assertion (in assertions_doc)
- calls/1 (assertions_doc declaration)
- calls/2 (assertions_doc declaration)
- character string (in assertions_doc)
- character_code/1 (basic_props regular type)
- check assertion (in assertions_doc)
- check/1 (assertions_doc predicate)
- checking the assertions (in ciaopp_ref_man)
- ciaopp (ciaopp library)
- ciaopp(driver) (in auto_interface)
- ciaopp(infercost(infercost_register)) (in ciaopp)
- ciaopp(p_unit(p_dump)) (in auto_interface)
- ciaopp(plai(fixpo_ops)) (in auto_interface)
- ciaopp(preprocess_flags) (in auto_interface)
- ciaopp(printer) (in auto_interface)
- ciaopp(resources(resources_register)) (in ciaopp)
- ciaopp_options (in ciaopp)
- clean_aux_files/1 (auto_interface predicate)
- clique/1 (native_props property)
- clique_1/1 (native_props property)
- collect_types_in_abs/4 (domains predicate)
- comment assertion (in assertions_doc)
- comment string (in assertions_props)
- comment/2 (assertions_doc declaration)
- comments, machine readable (in assertions_doc)
- comp assertion (in assertions_doc)
- comp/1 (assertions_doc declaration)
- comp/2 (assertions_doc declaration)
- compat/1 (native_props property)
- compat/2 (basic_props property)
- compatibility properties (in regtypes_doc)
- compatible (in assertions_props)
- complex argument property (in assertions_props)
- complex goal property (in assertions_props)
- complex_arg_property/1 (assertions_props regular type)
- complex_goal_property/1 (assertions_props regular type)
- computational cost (in ciaopp_ref_man)
- compute_lub/3 (domains predicate)
- concrete/4 (domains predicate)
- condcomp (in ciaopp)
- constant/1 (basic_props regular type)
- constraint/1 (native_props property)
- contains_parameters/2 (domains predicate)
- covered/1 (native_props property)
- covered/2 (native_props property)
- ctcheck_sum/1 (ciaopp udreexp)
- 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
- Daniel Cabeza (basic_props author)
- David Trallero Mena (auto_interface author)
- data declaration (in debugging_in_ciaopp)
- data_facts (in auto_interface)
- dcg (in assertions_props)
- debugger_support (in auto_interface)
- debugging (in ciaopp_ref_manintro)
- debugging_in_ciaopp (debugging_in_ciaopp library)
- decl assertion (in assertions_doc)
- decl/1 (assertions_doc declaration)
- decl/2 (assertions_doc declaration)
- deprecated/1 (basic_props property)
- determinacy (in ciaopp_ref_man)
- dictionary/1 (assertions_props regular type)
- doc/2 (assertions_doc declaration)
- docstring/1 (assertions_props property)
- dom_statistics/2 (domains predicate)
- domain(aeq_top) (in domains)
- domain(bshare(bshare)) (in domains)
- domain(def) (in domains)
- domain(deftypes) (in domains)
- domain(depthk) (in domains)
- domain(detplai) (in domains)
- domain(eterms) (in domains)
- domain(fd) (in domains)
- domain(fr_top) (in domains)
- domain(gr) (in domains)
- domain(java_cha) (in domains)
- domain(java_nullity) (in domains)
- domain(lsign) (in domains)
- domain(nfplai) (in domains)
- domain(oo_shnltau) (in domains)
- domain(oo_son) (in domains)
- domain(oo_types) (in domains)
- domain(pd) (in domains)
- domain(pdb) (in domains)
- domain(polyhedra) (in domains)
- domain(ptypes) (in domains)
- domain(share) (in domains)
- domain(share_amgu) (in domains)
- domain(share_clique) (in domains)
- domain(shareson) (in domains)
- domain(shfret) (in domains)
- domain(shfrson) (in domains)
- domain(sondergaard) (in domains)
- domain(svterms) (in domains)
- domain(termsd) (in domains)
- domain(top_path_sharing) (in domains)
- domains (domains library)
- driver (in ciaopp)
- dynamic declaration (in debugging_in_ciaopp)
E
- Edison Mera (native_props author)
- eliminate_equivalent/3 (domains predicate)
- emacs (in ciaopp_ref_manintro)
- empty_entry/3 (domains predicate)
- entry assertion (in assertions_doc)
- entry declaration (in debugging_in_ciaopp)
- entry/1 (assertions_doc declaration)
- equiv/2 (basic_props property)
- error_free/1 (basic_props property)
- eval/1 (basic_props property)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- exception/1 (native_props property)
- exception/2 (native_props property)
- exceptions (in auto_interface)
- exit assertion (in assertions_doc)
- exit/1 (assertions_doc declaration)
- exit/2 (assertions_doc declaration)
- exit_to_prime/8 (domains predicate)
- exports (in rtchecks_doc)
- extend/5 (domains predicate)
- extrainfo/1 (gr regular type)
F
- Francisco Bueno (debugging_in_ciaopp author)
- fails/1 (native_props property)
- false assertion (in assertions_doc)
- false/1 (assertions_doc predicate)
- file_utils (in native_props)
- filenames (in auto_interface)
- filter/2 (basic_props property)
- finite_solutions/1 (native_props property)
- flag_value/1 (ciaopp regular type)
- flag_values/1 (basic_props regular type)
- flt/1 (basic_props regular type)
- formatting commands (in assertions_doc)
- fsyntax (in auto_interface)
- full_info_to_asub/4 (domains predicate)
- func/1 (in assertions_props)
- functor1/2 (auto_interface udreexp)
G
- GNU (in ciaopp_ref_manintro)
- GNU general public license (in ciaopp_ref_man)
- German Puebla (assertions_doc author)
- g_assrt_body/1 (assertions_props regular type)
- get_menu_configs/1 (auto_interface predicate)
- get_menu_flag/3 (auto_interface udreexp)
- glb/4 (domains predicate)
- gnd/1 (basic_props regular type)
- gndstr/1 (basic_props regular type)
- gr (gr library)
- 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_mode/1 (gr regular type)
- 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)
- granularity control (in ciaopp_ref_man)
- ground/1 (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in native_props)
- (in native_props)
- (in native_props)
- gunzip (in ciaopp_ref_manintro)
H
- hard side-effects (in native_props)
- have_choicepoints/1 (native_props property)
- head pattern (in assertions_props)
- head_pattern/1 (assertions_props property)
- help/0 (ciaopp predicate)
- hiord (in native_props)
- hiord_rt (in auto_interface)
- hiordlib (in native_props)
- 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
- ISO-Prolog (in debugging_in_ciaopp)
- Inference of properties (in ciaopp_ref_man)
- identical_abstract/3 (domains predicate)
- identical_proj/5 (domains predicate)
- identical_proj_1/7 (domains predicate)
- indep/1 (native_props property)
- indep/2 (native_props property)
- infer(infer_db) (in auto_interface)
- infer(infer_dom) (in auto_interface)
- infer(low_level_props) (in domains)
- info_to_asub/5 (domains predicate)
- init_abstract_domain/2 (domains predicate)
- inner (in rtchecks_doc)
- input_interface/5 (domains predicate)
- input_user_interface/4 (domains predicate)
- inst/2 (basic_props property)
- instance/1 (native_props property)
- instance/2 (native_props property)
- instantiation properties (in regtypes_doc)
- int/1 (basic_props regular type)
- integer/1 (in assertions_props)
- inter-modular analysis (in ciaopp)
- internals (in native_props)
- io_aux (in auto_interface)
- io_basic (in auto_interface)
- is_det/1 (native_props property)
- iso/1 (basic_props property)
L
- L=[[A],[p(A)]] (in native_props)
- L=[[A],[p(B)]] (in native_props)
- less_or_equal/3 (domains predicate)
- less_or_equal_proj/5 (domains predicate)
- library(basicmodes) (in assertions_props)
- library(isomodes) (in assertions_props)
- linear/1 (native_props property)
- list/1 (basic_props regular type)
- list/2 (basic_props regular type)
- lists (in auto_interface)
- literal (in rtchecks_doc)
- long (in rtchecks_doc)
- lpdoc (in ciaopp_ref_man)
M
- Manuel Hermenegildo (assertions_doc author)
- Maria Garcia de la Banda (domains author)
- make (in ciaopp_ref_manintro)
- member/2 (basic_props property)
- memo/1 (basic_props property)
- menu/menu (in auto_interface)
- menu/menu_generator (in auto_interface)
- menu/menu_rt (in auto_interface)
- menu_branch/3 (auto_interface udreexp)
- menu_branch/4 (auto_interface udreexp)
- menu_generator (in auto_interface)
- menu_rt (in auto_interface)
- messages (in auto_interface)
- mode (in assertions_doc)
- modedef/1 (assertions_doc declaration)
- modes (in ciaopp_ref_man)
- module declaration (in debugging_in_ciaopp)
- module/1 (ciaopp predicate)
- mshare/1 (native_props property)
- multi_part_conc/4 (domains predicate)
- mut_exclusive/1 (native_props property)
N
- n_assrt_body/5 (in assertions_props)
- nabody/1 (assertions_props property)
- native/1 (basic_props property)
- native/2 (basic_props property)
- native_props (native_props library)
- nativeprops (in basic_props)
- nativeprops.pl (in rtchecks_doc)
- nlist/1 (in basic_props)
- nlist/2 (basic_props regular type)
- nnegint/1 (basic_props regular type)
- no (in rtchecks_doc)
- no_choicepoints/1 (native_props property)
- no_exception/1 (native_props property)
- no_exception/2 (native_props property)
- no_rtcheck/1 (basic_props property)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in native_props)
- (in native_props)
- (in native_props)
- (in native_props)
- (in native_props)
- (in native_props)
- (in native_props)
- (in native_props)
- (in native_props)
- (in native_props)
- (in native_props)
- (in native_props)
- (in native_props)
- (in native_props)
- (in native_props)
- (in native_props)
- (in native_props)
- (in native_props)
- (in native_props)
- (in native_props)
- (in native_props)
- (in native_props)
- (in native_props)
- (in native_props)
- no_signal/1 (native_props property)
- no_signal/2 (native_props property)
- non-failure (in ciaopp_ref_man)
- non_det/1 (native_props property)
- nonground/1 (native_props property)
- nonpure (in auto_interface)
- nonvar/1 (in ciaopp)
- (in ciaopp)
- (in ciaopp)
- (in ciaopp)
- (in ciaopp)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- (in gr)
- normalize_asub/3 (domains predicate)
- nortchecks (in basic_props)
- not_covered/1 (native_props property)
- not_fails/1 (native_props property)
- not_further_inst/1 (in assertions_props)
- not_further_inst/2 (basic_props property)
- not_mut_exclusive/1 (native_props property)
- num/1 (basic_props regular type)
- num_code/1 (basic_props regular type)
- num_solutions/2 (native_props property)
O
- obtain_info/5 (domains predicate)
- odd (in native_props)
- operator_specifier/1 (basic_props regular type)
- output/0 (ciaopp predicate)
- output/1 (ciaopp predicate)
- output/2 (ciaopp udreexp)
P
- Partial deduction (in ciaopp)
- Pedro Lopez (regtypes_doc author)
- parametric type functor (in regtypes_doc)
- part_conc/5 (domains predicate)
- partial evaluation (in ciaopp_ref_man)
- pe_type/1 (basic_props property)
- plai(acc_ops) (in auto_interface)
- plai(fixpo_ops) (in domains)
- plai(intermod) (in auto_interface)
- plai(plai_errors) (in domains)
- pop_pp_flag/1 (ciaopp predicate)
- possibly_fails/1 (native_props property)
- possibly_nondet/1 (native_props property)
- pp_flag/1 (ciaopp predicate)
- pred assertion (in assertions_doc)
- pred/1 (assertions_doc declaration)
- pred/2 (assertions_doc declaration)
- predfunctor/1 (assertions_props regular type)
- predicate (in rtchecks_doc)
- predname/1 (basic_props regular type)
- prelude (in auto_interface)
- printer (in ciaopp)
- program assertions (in assertions_doc)
- program parallelization (in ciaopp_ref_man)
- program specialization (in ciaopp_ref_man)
- program transformations (in ciaopp_ref_man)
- program(assrt_db) (in auto_interface)
- program(aux_filenames) (in auto_interface)
- program(itf_db) (in auto_interface)
- program(p_asr) (in ciaopp)
- program(p_unit) (in auto_interface)
- project/5 (domains predicate)
- prolog_flags (in auto_interface)
- prolog_sys (in auto_interface)
- prompt (in auto_interface)
- prop assertion (in assertions_doc)
- prop/1 (assertions_doc declaration)
- prop/2 (assertions_doc declaration)
- properties of computations (in regtypes_doc)
- properties of execution states (in regtypes_doc)
- properties, basic (in basic_props)
- properties, native (in native_props)
- property (in assertions_doc)
- property compatibility (in basic_props)
- property_conjunction/1 (assertions_props regular type)
- property_starterm/1 (assertions_props regular type)
- propfunctor/1 (assertions_props regular type)
- providing information to the compiler (in assertions_doc)
- pure (in regtypes_doc)
- push_pp_flag/2 (ciaopp predicate)
R
- regtype assertion (in regtypes_doc)
- regtype/1 (regtypes_doc declaration)
- regtype/2 (regtypes_doc declaration)
- regtypes (regtypes_doc library)
- regular type (in regtypes_doc)
- regular type definitions (in regtypes_doc)
- regular type expression (in regtypes_doc)
- regular types (in regtypes_doc)
- relations/2 (native_props property)
- remove_menu_config/1 (auto_interface predicate)
- rename_types_in_abs/4 (domains predicate)
- restore_menu_config/1 (auto_interface predicate)
- rtc_status/1 (in basic_props)
- rtcheck/1 (basic_props property)
- rtcheck/2 (basic_props property)
- rtchecks (rtchecks_doc library)
- rtchecks/rtchecks_send (in native_props)
- rtchecks_abort_on_error (in rtchecks_doc)
- rtchecks_asrloc (in rtchecks_doc)
- rtchecks_callloc (in rtchecks_doc)
- rtchecks_entry (in rtchecks_doc)
- rtchecks_exit (in rtchecks_doc)
- rtchecks_inline (in rtchecks_doc)
- rtchecks_level (in rtchecks_doc)
- rtchecks_namefmt (in rtchecks_doc)
- rtchecks_predloc (in rtchecks_doc)
- rtchecks_rt.pl (in rtchecks_doc)
- rtchecks_test (in rtchecks_doc)
- rtchecks_trust (in rtchecks_doc)
- run-time checks (in assertions_doc)
- run-time tests (in ciaopp_ref_man)
S
- s_assrt_body/1 (assertions_props regular type)
- save_menu_config/1 (auto_interface predicate)
- select_modules/1 (auto_interface predicate)
- sequence/2 (basic_props regular type)
- sequence_or_list/2 (basic_props regular type)
- set_menu_flag/3 (auto_interface udreexp)
- set_pp_flag/2 (ciaopp predicate)
- sets (in domains)
- sharing sets (in native_props)
- short (in rtchecks_doc)
- show_menu_config/1 (auto_interface predicate)
- show_menu_configs/0 (auto_interface predicate)
- sideff/2 (basic_props property)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- sideff_hard/1 (native_props property)
- sideff_pure/1 (native_props property)
- sideff_soft/1 (native_props property)
- signal/1 (native_props property)
- signal/2 (native_props property)
- signals/2 (native_props property)
- size/2 (native_props property)
- size/3 (native_props property)
- size_lb/2 (native_props property)
- size_metric/3 (native_props property)
- size_metric/4 (native_props property)
- size_o/2 (native_props property)
- size_ub/2 (native_props property)
- sizes of terms (in ciaopp_ref_man)
- soft side-effects (in native_props)
- solutions/2 (native_props property)
- sort (in native_props)
- sourcename/1 (in ciaopp)
- special_builtin/6 (domains predicate)
- specifications (in ciaopp_ref_man)
- static debugging (in ciaopp_ref_man)
- steps/2 (native_props property)
- steps_lb/2 (native_props property)
- steps_o/2 (native_props property)
- steps_ub/2 (native_props property)
- streams (in native_props)
- streams_basic (in auto_interface)
- string/1 (basic_props regular type)
- stringcommand/1 (in assertions_doc)
- struct/1 (basic_props regular type)
- succeeds/1 (native_props property)
- success assertion (in assertions_doc)
- success/1 (assertions_doc declaration)
- success/2 (assertions_doc declaration)
- success_builtin/7 (domains predicate)
- system (in auto_interface)
- system_info (in auto_interface)
T
- The CLIP Group (part_usage author)
- tau/1 (native_props property)
- term/1 (basic_props regular type)
- term_basic (in auto_interface)
- term_compare (in auto_interface)
- term_typing (in auto_interface)
- terminates/1 (native_props property)
- terms_check (in basic_props)
- terms_vars (in native_props)
- test assertion (in assertions_doc)
- test/1 (assertions_doc declaration)
- test/2 (assertions_doc declaration)
- test_type/2 (native_props property)
- texec assertion (in assertions_doc)
- texec/1 (assertions_doc declaration)
- texec/2 (assertions_doc declaration)
- throws/2 (native_props property)
- transform/1 (ciaopp predicate)
- transformation/1 (ciaopp property)
- true assertion (in assertions_doc)
- true/1 (auto_interface udreexp)
- true/2 (auto_interface udreexp)
- trust assertion (in assertions_doc)
- trust assertions (in debugging_in_ciaopp)
- trust/1 (assertions_doc predicate)
- types (in ciaopp_ref_man)
- typeslib(typeslib) (in ciaopp)
U
- unknown_call/4 (domains predicate)
- unknown_call/5 (domains predicate)
- unknown_entry/3 (domains predicate)
- unknown_entry/4 (domains predicate)
- usage (in assertions_doc)
- user_output/2 (native_props property)
V
- valid_flag_value/2 (ciaopp property)
- var/1 (in auto_interface)
- variable instantiation (in ciaopp_ref_man)
- variable names (in assertions_doc)
