Search this manual
Type below to search for where concepts, predicates, modes, properties, types, applications, authors, etc., are defined or referred to in this manual. Use _ to show all entries in the index.Symbols
- $CIAOROOT/core/lib/rtchecks/rtchecks_rt_propimpl.pl (in rtchecks)
- $change_list/3 (fixpo_dd predicate)
- $depend_list/3 (fixpo_plai predicate)
- $is_persistent/2 (preprocess_flags predicate)
- ','/2 (in basic_props)
- (Sg,Proj,Prime) (in plai_db)
- * /2 (in native_props_cost)
- ** /2 (in native_props_cost)
- */2 (in assertions_props)
- + /1 (in native_props_cost)
- + /2 (in native_props_cost)
- ++ /1 (in native_props_cost)
- +/1 (in assertions_props)
- +/2 (in assertions_props)
- - /1 (in native_props_cost)
- - /2 (in native_props_cost)
- -- /1 (in native_props_cost)
- .(notrace) (in apply_assertions)
- / /2 (in native_props_cost)
- :- include (in intermod_punit)
- ::/2 (in assertions)
- =>/2 (in assertions)
- =/2 (in nonrel_intervals)
- ==/2 (in nonrel_intervals)
A
- APG06 (cite)
- Alejandro Serrano (etermsvar author)
- Amadeo Casas (native_props author)
- abs_eval_arith/3 (eterms predicate)
- abs_eval_arithcomp/4 (eterms predicate)
- abs_exec (in auto_interface)
- abs_normalize/8 (apply_assertions predicate)
- abs_sort/2 (def predicate)
- abs_sort/3 (domains predicate)
- abs_subset/3 (domains predicate)
- abstract_instance/5 (domains predicate)
- absu/1 (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in sharefree)
- (in sharing)
- absub_eliminate_equivalent/3 (domains predicate)
- absub_fixpoint_covered/3 (domains predicate)
- acc_ops (in auto_interface)
- acheck/0 (ciaopp predicate)
- acheck/1 (analyze_driver predicate)
- acheck/2 (ciaopp udreexp)
- acheck_summary/1 (ciaopp udreexp)
- acheck_summary/2 (ciaopp udreexp)
- add_all_clauses/1 (incanal_db predicate)
- add_assertion/1 (p_unit predicate)
- add_assertion_source_db/1 (incanal_db predicate)
- add_assertions/1 (p_unit predicate)
- add_change/5 (fixpo_dd predicate)
- add_change_scc/6 (fixpo_dd predicate)
- add_changed_registry/4 (incanal_db predicate)
- add_comment/1 (p_unit predicate)
- add_commented_assertion/1 (p_unit predicate)
- add_commented_assertions/1 (p_unit predicate)
- add_defined_pred/2 (p_unit predicate)
- add_directive/1 (p_unit predicate)
- add_entries_to_registry/1 (intermod_entry predicate)
- add_environment_vars/3 (sharefree predicate)
- add_invalid_call/6 (plai_db predicate)
- add_main_module/1 (intermod_db predicate)
- add_mod_typedb/2 (intermod_db predicate)
- add_naive_pending_modules/1 (intermod_schedule predicate)
- add_new_preds/1 (incanal_db predicate)
- add_output_operator/3 (p_unit predicate)
- add_output_package/1 (p_unit predicate)
- add_parent_complete/5 (plai_db predicate)
- add_registry/2 (intermod_db predicate)
- add_src_changed/1 (intermod_db predicate)
- add_srcloc_prop/0 (ciaopp udreexp)
- add_success_asr/6 (apply_assertions predicate)
- add_task/1 (tasks_db predicate)
- add_task/3 (in tasks_db)
- add_task_status/5 (db_analysis predicate)
- add_tasks/1 (tasks_db predicate)
- add_to_db/1 (ciaopp udreexp)
- adding_new_domain (adding_new_domain library)
- aeq (aeq library)
- again/0 (auto_interface predicate)
- agg_expression/1 (native_props_cost regular type)
- aggregates (in auto_interface)
- (in eterms)
- (in etermsvar)
- (in sharing_clique)
- (in svterms)
- (in apply_assertions)
- (in frontend_driver)
- (in raw_printer)
- (in analyze_driver)
- (in intermod)
- (in intermod_punit)
- (in intermod_success)
- (in preprocess_flags)
- (in incanal)
- (in incanal_driver)
- (in incanal_deletion)
- (in incanal_db)
- (in tarjan_inc)
- (in fixpo_dd)
- (in p_unit)
- (in infer)
- (in plai)
- (in fixpo_plai)
- (in trace_fixp)
- aidom.abs_sort/3 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.abs_subset/3 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.amgu/5 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.asub_to_native/6 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.augment_asub/4 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.augment_two_asub/4 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.body_succ_builtin/9 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.call_to_entry/10 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.call_to_success_builtin/7 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.call_to_success_fact/10 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.collect_auxinfo_asub/4 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.combined_special_builtin0/3 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.compute_clauses_glb/4 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.compute_clauses_lub/4 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.compute_lub/3 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.concrete/4 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.contains_parameters/2 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.dom_statistics/2 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.eliminate_equivalent/3 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.empty_entry/4 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.exit_to_prime/8 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.extend/6 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.fixpoint_covered/3 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.fixpoint_covered_gfp/3 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.glb/4 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.identical_abstract/3 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.init_abstract_domain/2 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.input_interface/5 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.input_user_interface/6 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.less_or_equal/3 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.multi_part_conc/4 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.needs/2 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.obtain_info/5 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.part_conc/5 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.project/6 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.rename_auxinfo_asub/4 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.special_builtin/6 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.split_combined_domain/4 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.success_builtin/7 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.unknown_call/5 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.unknown_entry/4 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.widen/4 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidom.widencall/4 (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidomain (in aeq)
- (in def)
- (in deftypes)
- (in depthk)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in gr)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in nonrel_intervals)
- (in pd)
- (in pdb)
- (in polyhedra)
- (in ptypes)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharefree_clique_def)
- (in sharefree_non_var)
- (in shareson)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sharing_clique_1)
- (in sharing_clique_def)
- (in shfret)
- (in shfrlin_amgu)
- (in shfrson)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- aidomain/1 (auto_interface predicate)
- (aeq predicate)
- (def predicate)
- (deftypes predicate)
- (depthk predicate)
- (eterms predicate)
- (etermsvar predicate)
- (fd predicate)
- (fr_top predicate)
- (gr predicate)
- (lsign predicate)
- (lsigndiff predicate)
- (detplai predicate)
- (nfplai predicate)
- (nonrel_intervals predicate)
- (pd predicate)
- (pdb predicate)
- (polyhedra predicate)
- (ptypes predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharefree_clique_def predicate)
- (sharefree_non_var predicate)
- (shareson predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sharing_clique_1 predicate)
- (sharing_clique_def predicate)
- (shfret predicate)
- (shfrlin_amgu predicate)
- (shfrson predicate)
- (sondergaard predicate)
- (svterms predicate)
- (termsd predicate)
- (top_path_sharing predicate)
- (domains predicate)
- (analyze_driver predicate)
- (intermod predicate)
- (in auto_interface)
- (in def)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in shfret)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- (in analyze_driver)
- (in intermod)
- all_assertions_pred/4 (incanal predicate)
- all_different_mods/0 (incanal_db predicate)
- all_terms_identical/2 (sharefree predicate)
- amgu/4 (sharefree_amgu predicate)
- amgu/5 (domains predicate)
- analysis/1 (ciaopp property)
- analysis/4 (analyze_driver predicate)
- analysis_module/2 (analyze_driver predicate)
- analysis_opt/1 (ciaopp_batch property)
- analysis_start/2 (ciaopp_batch predicate)
- analysis_stats (in auto_interface)
- analysis_task/4 (tasks_db predicate)
- analyze/1 (ciaopp predicate)
- analyze/2 (analyze_driver predicate)
- analyze/7 (plai predicate)
- analyze1/2 (ciaopp udreexp)
- analyze_driver (analyze_driver library)
- analyzed_mods/1 (incanal_db predicate)
- analyzer output (in assertions)
- apply_assertions (apply_assertions library)
- apply_assertions_inc (in incanal)
- apply_assertions_old (in eterms)
- apply_assrt_call_to_success/8 (apply_assertions predicate)
- apply_assrt_exit/7 (apply_assertions predicate)
- apply_assrt_no_source/6 (apply_assertions predicate)
- apply_success_policy/9 (intermod_success predicate)
- approx/1 (native_props_cost regular type)
- approx/6 (fixpo_plai predicate)
- arg_filtering (in transform_driver)
- argnames (in auto_interface)
- arithmetic (in auto_interface)
- (in ciaopp)
- (in aeq)
- (in def)
- (in deftypes)
- (in depthk)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in gr)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in nonrel_intervals)
- (in pd)
- (in pdb)
- (in polyhedra)
- (in ptypes)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharefree_clique_def)
- (in sharefree_non_var)
- (in shareson)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sharing_clique_1)
- (in sharing_clique_def)
- (in shfret)
- (in shfrlin_amgu)
- (in shfrson)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in assertions)
- (in assertions)
- (in assertions_props)
- (in regtypes)
- (in basic_props)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_cardinality)
- (in native_props_exceptions)
- (in native_props_sideff)
- (in native_props_polyhedral)
- (in native_props_cost)
- (in rtchecks)
- (in apply_assertions)
- (in domains)
- (in frontend_driver)
- (in raw_printer)
- (in analyze_driver)
- (in transform_driver)
- (in intermod)
- (in intermod_db)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_entry)
- (in intermod_success)
- (in preprocess_flags)
- (in incanal)
- (in incanal_driver)
- (in incanal_deletion)
- (in incanal_db)
- (in incanal_persistent_db)
- (in tarjan_inc)
- (in diff)
- (in fixpo_dd)
- (in p_unit)
- (in native)
- (in program_keys)
- (in tr_syntax)
- (in infer)
- (in plai)
- (in fixpo_plai)
- (in plai_db)
- (in trace_fixp)
- (in view_fixp)
- (in ciaopp_batch)
- (in ciaopp_worker)
- (in ciaopp_batch_aux)
- (in db_analysis)
- (in tasks_db)
- arrays (in aeq)
- assert_domain/1 (ciaopp udreexp)
- assertion body syntax (in assertions_props)
- assertion language (in ciaopp_ref_man)
- assertion status (in assertions)
- assertion_set_calls/3 (p_unit predicate)
- assertion_set_comp/3 (p_unit predicate)
- assertion_set_head/3 (p_unit predicate)
- assertion_set_status/3 (p_unit predicate)
- assertion_set_success/3 (p_unit predicate)
- assertions (assertions library)
- (in auto_interface)
- (in ciaopp)
- (in def)
- (in deftypes)
- (in depthk)
- (in eterms)
- (in etermsvar)
- (in gr)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in nonrel_intervals)
- (in pd)
- (in pdb)
- (in ptypes)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharefree_clique_def)
- (in sharefree_non_var)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sharing_clique_1)
- (in sharing_clique_def)
- (in shfret)
- (in shfrlin_amgu)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in assertions)
- (in assertions)
- (in assertions_props)
- (in assertions_props)
- (in regtypes)
- (in basic_props)
- (in basic_props)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_cardinality)
- (in native_props_exceptions)
- (in native_props_sideff)
- (in native_props_polyhedral)
- (in native_props_cost)
- (in rtchecks)
- (in apply_assertions)
- (in domains)
- (in frontend_driver)
- (in raw_printer)
- (in analyze_driver)
- (in transform_driver)
- (in intermod)
- (in intermod_db)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_entry)
- (in intermod_success)
- (in preprocess_flags)
- (in incanal)
- (in incanal_driver)
- (in incanal_deletion)
- (in incanal_db)
- (in incanal_persistent_db)
- (in tarjan_inc)
- (in diff)
- (in fixpo_dd)
- (in p_unit)
- (in native)
- (in program_keys)
- (in tr_syntax)
- (in infer)
- (in plai)
- (in fixpo_plai)
- (in plai_db)
- (in trace_fixp)
- (in view_fixp)
- (in ciaopp_batch)
- (in ciaopp_worker)
- (in ciaopp_batch_aux)
- (in db_analysis)
- (in tasks_db)
- assertions/assertions_basic (in auto_interface)
- (in ciaopp)
- (in def)
- (in deftypes)
- (in depthk)
- (in eterms)
- (in etermsvar)
- (in gr)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in nonrel_intervals)
- (in pd)
- (in pdb)
- (in ptypes)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharefree_clique_def)
- (in sharefree_non_var)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sharing_clique_1)
- (in sharing_clique_def)
- (in shfret)
- (in shfrlin_amgu)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in assertions)
- (in assertions_props)
- (in regtypes)
- (in basic_props)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_cardinality)
- (in native_props_exceptions)
- (in native_props_sideff)
- (in native_props_polyhedral)
- (in native_props_cost)
- (in rtchecks)
- (in apply_assertions)
- (in domains)
- (in frontend_driver)
- (in raw_printer)
- (in analyze_driver)
- (in transform_driver)
- (in intermod)
- (in intermod_db)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_entry)
- (in intermod_success)
- (in preprocess_flags)
- (in incanal)
- (in incanal_driver)
- (in incanal_deletion)
- (in incanal_db)
- (in incanal_persistent_db)
- (in tarjan_inc)
- (in diff)
- (in fixpo_dd)
- (in p_unit)
- (in native)
- (in program_keys)
- (in tr_syntax)
- (in infer)
- (in plai)
- (in fixpo_plai)
- (in plai_db)
- (in trace_fixp)
- (in view_fixp)
- (in ciaopp_batch)
- (in ciaopp_worker)
- (in ciaopp_batch_aux)
- (in db_analysis)
- (in tasks_db)
- assertions/native_props (in rtchecks)
- assertions_basic (in assertions)
- assertions_props (assertions_props library)
- assoc (in eterms)
- assrt_body/1 (assertions_props regular type)
- assrt_db (in auto_interface)
- assrt_lib (in auto_interface)
- assrt_norm (in Punit0)
- assrt_status/1 (assertions_props regular type)
- assrt_type/1 (assertions_props regular type)
- assrt_write (in raw_printer)
- asub/1 (gr property)
- asub/4 (detplai predicate)
- asub_elem/1 (gr property)
- asub_gt/2 (sharing_clique predicate)
- asub_to_info/5 (domains predicate)
- asub_to_native/5 (def predicate)
- asub_to_native/6 (domains predicate)
- atm/1 (basic_props regular type)
- (in auto_interface)
- (in auto_interface)
- (in auto_interface)
- (in auto_interface)
- (in eterms)
- (in eterms)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in basic_props)
- (in basic_props)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in frontend_driver)
- (in frontend_driver)
- (in analyze_driver)
- (in intermod_db)
- (in intermod_db)
- (in intermod_db)
- (in intermod_schedule)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_entry)
- (in preprocess_flags)
- (in preprocess_flags)
- (in preprocess_flags)
- (in preprocess_flags)
- (in preprocess_flags)
- (in preprocess_flags)
- (in preprocess_flags)
- (in preprocess_flags)
- (in preprocess_flags)
- (in preprocess_flags)
- (in incanal)
- (in incanal)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_db)
- (in incanal_db)
- (in incanal_db)
- (in incanal_db)
- (in incanal_db)
- (in incanal_db)
- (in incanal_db)
- (in incanal_persistent_db)
- (in tarjan_inc)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in program_keys)
- (in program_keys)
- (in program_keys)
- (in program_keys)
- (in program_keys)
- (in program_keys)
- (in program_keys)
- (in program_keys)
- (in program_keys)
- (in program_keys)
- (in program_keys)
- (in program_keys)
- (in program_keys)
- (in program_keys)
- (in program_keys)
- (in program_keys)
- (in program_keys)
- (in infer)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in ciaopp_batch_aux)
- (in ciaopp_batch_aux)
- (in ciaopp_batch_aux)
- (in ciaopp_batch_aux)
- (in db_analysis)
- (in db_analysis)
- (in db_analysis)
- (in db_analysis)
- (in db_analysis)
- (in db_analysis)
- (in db_analysis)
- (in db_analysis)
- (in db_analysis)
- (in db_analysis)
- (in db_analysis)
- atm_or_atm_list/1 (basic_props regular type)
- atom/1 (in p_unit)
- atomic_basic (in auto_interface)
- (in ciaopp)
- (in aeq)
- (in def)
- (in deftypes)
- (in depthk)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in gr)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in nonrel_intervals)
- (in pd)
- (in pdb)
- (in polyhedra)
- (in ptypes)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharefree_clique_def)
- (in sharefree_non_var)
- (in shareson)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sharing_clique_1)
- (in sharing_clique_def)
- (in shfret)
- (in shfrlin_amgu)
- (in shfrson)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in assertions)
- (in assertions_props)
- (in regtypes)
- (in basic_props)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_cardinality)
- (in native_props_exceptions)
- (in native_props_sideff)
- (in native_props_polyhedral)
- (in native_props_cost)
- (in rtchecks)
- (in apply_assertions)
- (in domains)
- (in frontend_driver)
- (in raw_printer)
- (in analyze_driver)
- (in transform_driver)
- (in intermod)
- (in intermod_db)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_entry)
- (in intermod_success)
- (in preprocess_flags)
- (in incanal)
- (in incanal_driver)
- (in incanal_deletion)
- (in incanal_db)
- (in incanal_persistent_db)
- (in tarjan_inc)
- (in diff)
- (in fixpo_dd)
- (in p_unit)
- (in native)
- (in program_keys)
- (in tr_syntax)
- (in infer)
- (in plai)
- (in fixpo_plai)
- (in plai_db)
- (in trace_fixp)
- (in view_fixp)
- (in ciaopp_batch)
- (in ciaopp_worker)
- (in ciaopp_batch_aux)
- (in db_analysis)
- (in tasks_db)
- augment_asub/3 (sharefree_amgu predicate)
- augment_asub/4 (domains predicate)
- augment_asub0/3 (sharefree_amgu predicate)
- augment_two_asub/3 (sharing_amgu 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_optimize/1 (auto_interface predicate)
- auto_optimize/2 (auto_interface predicate)
- aux_filenames (in auto_interface)
B
- BCC04 (cite)
- BCHP96 (cite)
- BGH94 (cite)
- BLGH04 (cite)
- basic_props (basic_props library)
- (in auto_interface)
- (in ciaopp)
- (in def)
- (in deftypes)
- (in depthk)
- (in eterms)
- (in etermsvar)
- (in gr)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in nonrel_intervals)
- (in pd)
- (in pdb)
- (in polyhedra)
- (in ptypes)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharefree_clique_def)
- (in sharefree_non_var)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sharing_clique_1)
- (in sharing_clique_def)
- (in shfret)
- (in shfrlin_amgu)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in assertions)
- (in assertions)
- (in assertions_props)
- (in regtypes)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_cardinality)
- (in native_props_exceptions)
- (in native_props_sideff)
- (in native_props_polyhedral)
- (in native_props_cost)
- (in rtchecks)
- (in apply_assertions)
- (in domains)
- (in frontend_driver)
- (in raw_printer)
- (in analyze_driver)
- (in transform_driver)
- (in intermod)
- (in intermod_db)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_entry)
- (in intermod_success)
- (in preprocess_flags)
- (in incanal)
- (in incanal_driver)
- (in incanal_deletion)
- (in incanal_db)
- (in incanal_persistent_db)
- (in tarjan_inc)
- (in diff)
- (in fixpo_dd)
- (in p_unit)
- (in native)
- (in program_keys)
- (in tr_syntax)
- (in infer)
- (in plai)
- (in fixpo_plai)
- (in plai_db)
- (in trace_fixp)
- (in view_fixp)
- (in ciaopp_batch)
- (in ciaopp_worker)
- (in ciaopp_batch_aux)
- (in db_analysis)
- (in tasks_db)
- basic_props:regtype/1 (in regtypes)
- basiccontrol (in auto_interface)
- (in ciaopp)
- (in aeq)
- (in def)
- (in deftypes)
- (in depthk)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in gr)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in nonrel_intervals)
- (in pd)
- (in pdb)
- (in polyhedra)
- (in ptypes)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharefree_clique_def)
- (in sharefree_non_var)
- (in shareson)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sharing_clique_1)
- (in sharing_clique_def)
- (in shfret)
- (in shfrlin_amgu)
- (in shfrson)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in assertions)
- (in assertions_props)
- (in regtypes)
- (in basic_props)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_cardinality)
- (in native_props_exceptions)
- (in native_props_sideff)
- (in native_props_polyhedral)
- (in native_props_cost)
- (in rtchecks)
- (in apply_assertions)
- (in domains)
- (in frontend_driver)
- (in raw_printer)
- (in analyze_driver)
- (in transform_driver)
- (in intermod)
- (in intermod_db)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_entry)
- (in intermod_success)
- (in preprocess_flags)
- (in incanal)
- (in incanal_driver)
- (in incanal_deletion)
- (in incanal_db)
- (in incanal_persistent_db)
- (in tarjan_inc)
- (in diff)
- (in fixpo_dd)
- (in p_unit)
- (in native)
- (in program_keys)
- (in tr_syntax)
- (in infer)
- (in plai)
- (in fixpo_plai)
- (in plai_db)
- (in trace_fixp)
- (in view_fixp)
- (in ciaopp_batch)
- (in ciaopp_worker)
- (in ciaopp_batch_aux)
- (in db_analysis)
- (in tasks_db)
- basicmodes (in deftypes)
- batch_analyze (in db_analysis)
- bind_ins/1 (basic_props property)
- binding/1 (gr property)
- binds/1 (gr property)
- bitcodesets (in aeq)
- body/1 (program_keys predicate)
- body_builtin/9 (domains predicate)
- body_succ_builtin/9 (domains predicate)
- bottom_up_delete_complete/5 (incanal_deletion predicate)
- bottom_up_delete_completes_preds/4 (incanal_deletion predicate)
- bu_delete_clauses/2 (incanal_driver predicate)
- builtin predicate (in Punit0)
- builtin/2 (native predicate)
- bundle_paths (in frontend_driver)
- bytelist/1 (basic_props regular type)
C
- CH94 (cite)
- CMB93 (cite)
- COS96 (cite)
- Check(X) (in native_props_cardinality)
- Ciao Development Team (deftypes author)
- CiaoPP development team (auto_interface author)
- Claudio Vaucheret (eterms author)
- c_assrt_body/1 (assertions_props regular type)
- c_itf (in intermod)
- c_itf_props (in intermod_punit)
- cache_and_preload_lib_sources/0 (ciaopp udreexp)
- call/1 (in assertions_props)
- call_asr/5 (apply_assertions predicate)
- call_to_entry (in domains)
- call_to_entry/10 (domains predicate)
- call_to_entry/9 (def predicate)
- (sharefree predicate)
- (sharefree_amgu predicate)
- (sharefree_clique predicate)
- (sharing predicate)
- (sharing_amgu predicate)
- (sharing_clique predicate)
- (sondergaard predicate)
- (in def)
- (in nonrel_intervals)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sondergaard)
- call_to_prime_fact/6 (sharefree predicate)
- call_to_success_builtin/6 (sharefree predicate)
- call_to_success_builtin/7 (domains predicate)
- call_to_success_fact/10 (domains predicate)
- call_to_success_fact/9 (def predicate)
- callable/1 (basic_props property)
- caller_module/2 (intermod_db predicate)
- calls assertion (in assertions)
- calls/1 (assertions declaration)
- calls/2 (assertions declaration)
- cardinality/3 (native_props_cardinality property)
- cgoal/1 (basic_props regular type)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in sharefree)
- (in sharing)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in native_props_cardinality)
- (in native_props_cardinality)
- (in native_props_cardinality)
- (in native_props_cardinality)
- (in native_props_cardinality)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in domains)
- (in domains)
- (in preprocess_flags)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in program_keys)
- (in program_keys)
- (in program_keys)
- change_id_clause/2 (incanal_db predicate)
- change_open_mode/2 (intermod_punit predicate)
- change_values/4 (sharefree predicate)
- change_values_if_f/4 (sharefree predicate)
- change_values_if_not_g/4 (sharefree predicate)
- character string (in assertions)
- character_code/1 (basic_props regular type)
- check assertion (in assertions)
- check/1 (assertions predicate)
- check_curr_entry_id/1 (intermod_entry predicate)
- check_global_props/2 (frontend_driver predicate)
- check_stop_one_module/1 (in intermod_punit)
- checking the assertions (in ciaopp_ref_man)
- ciaopp (ciaopp library)
- ciaopp(analysis_register) (in analyze_driver)
- ciaopp(ciaopp_options) (in auto_interface)
- ciaopp(p_unit/p_unit_argnames) (in frontend_driver)
- ciaopp(plai/notrace) (in incanal)
- ciaopp-batch (in ciaopp_worker)
- ciaopp_batch (ciaopp_batch library)
- ciaopp_batch(ciaopp_batch) (in ciaopp-batch)
- ciaopp_batch(db_analysis) (in ciaopp_worker)
- ciaopp_batch_aux (ciaopp_batch_aux library)
- ciaopp_log (in auto_interface)
- ciaopp_worker (ciaopp_worker library)
- clause(Clause) (in program_keys)
- clause(Clause0) (in program_keys)
- clause/1 (program_keys regular type)
- clause_db (in frontend_driver)
- clause_key/2 (program_keys predicate)
- clause_number/2 (program_keys predicate)
- clausebody/1 (program_keys predicate)
- clauses_keys/2 (program_keys predicate)
- clean_all_ciaopp_db/0 (ciaopp udreexp)
- clean_analysis_info/0 (analyze_driver predicate)
- clean_analysis_info0/0 (ciaopp udreexp)
- clean_ciaopp_db/1 (ciaopp udreexp)
- clean_db/0 (db_analysis predicate)
- clean_fixpoint_graph/0 (view_fixp predicate)
- clean_incanal_mod_data/0 (incanal_db predicate)
- clean_incremental_db/0 (incanal_db predicate)
- clean_persistent_analysis/0 (incanal_persistent_db predicate)
- clean_program_structure/0 (intermod_db predicate)
- clean_rev_idx/1 (plai_db predicate)
- clean_tmp_db/0 (db_analysis predicate)
- cleanup_applied_assertions/1 (apply_assertions predicate)
- cleanup_comment_db/0 (p_unit predicate)
- cleanup_commented_assrt/0 (p_unit predicate)
- cleanup_fixpoint/1 (fixpo_dd predicate)
- cleanup_for_codegen/0 (ciaopp udreexp)
- cleanup_intermod/0 (intermod predicate)
- cleanup_intermod_scheduling/0 (intermod_schedule predicate)
- cleanup_plai/1 (plai predicate)
- cleanup_plai_db/1 (plai_db predicate)
- cleanup_program_keys/0 (program_keys predicate)
- cleanup_punit/0 (p_unit predicate)
- cleanup_registry/1 (intermod_db predicate)
- cleanup_tr_syntax/0 (tr_syntax predicate)
- clid_of_atomid/2 (program_keys predicate)
- clique/1 (native_props_shfrg property)
- clique_1/1 (native_props_shfrg property)
- clique_make_decomposition/5 (sharing_clique predicate)
- clique_part_less_or_equal/2 (sharing_clique predicate)
- clkey/1 (program_keys regular type)
- codegen (in transform_driver)
- collect_types_in_abs/4 (domains predicate)
- comment assertion (in assertions)
- comment string (in assertions_props)
- comment/2 (assertions declaration)
- comments, machine readable (in assertions)
- comp assertion (in assertions)
- comp/1 (assertions declaration)
- comp/2 (assertions declaration)
- compat/2 (basic_props property)
- compatibility properties (in regtypes)
- compatible (in assertions_props)
- compiler (in analyze_driver)
- complete/7 (plai_db predicate)
- complete_id_key/3 (plai_db predicate)
- complete_key_from_id/3 (plai_db predicate)
- complete_parent/2 (plai_db predicate)
- 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)
- compound_to_simple_assrt/2 (p_unit udreexp)
- compound_to_simple_assrt_same_pred/2 (p_unit udreexp)
- computational cost (in ciaopp_ref_man)
- compute/9 (fixpo_dd predicate)
- compute_change (in fixpo_dd)
- compute_glb/3 (domains predicate)
- compute_imported_modules/0 (intermod_punit predicate)
- compute_intermodule_graph/1 (in intermod_punit)
- compute_lub/2 (def predicate)
- compute_lub/3 (domains predicate)
- compute_lub_el/3 (def predicate)
- compute_lub_sh/3 (sharefree predicate)
- compute_punit_modules/2 (in intermod_punit)
- compute_punit_modules/3 (intermod_punit predicate)
- compute_type/3 (termsd predicate)
- compute_upper_amgu/2 (sharing_clique predicate)
- concrete/4 (domains predicate)
- condcomp (in auto_interface)
- (in ciaopp)
- (in aeq)
- (in def)
- (in deftypes)
- (in depthk)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in gr)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in nonrel_intervals)
- (in pd)
- (in pdb)
- (in polyhedra)
- (in ptypes)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharefree_clique_def)
- (in sharefree_non_var)
- (in shareson)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sharing_clique_1)
- (in sharing_clique_def)
- (in shfret)
- (in shfrlin_amgu)
- (in shfrson)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in assertions)
- (in assertions_props)
- (in regtypes)
- (in basic_props)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_cardinality)
- (in native_props_exceptions)
- (in native_props_sideff)
- (in native_props_polyhedral)
- (in native_props_cost)
- (in rtchecks)
- (in apply_assertions)
- (in domains)
- (in frontend_driver)
- (in raw_printer)
- (in analyze_driver)
- (in transform_driver)
- (in intermod)
- (in intermod_db)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_entry)
- (in intermod_success)
- (in preprocess_flags)
- (in incanal)
- (in incanal_driver)
- (in incanal_deletion)
- (in incanal_db)
- (in incanal_persistent_db)
- (in tarjan_inc)
- (in diff)
- (in fixpo_dd)
- (in p_unit)
- (in native)
- (in program_keys)
- (in tr_syntax)
- (in infer)
- (in plai)
- (in fixpo_plai)
- (in plai_db)
- (in trace_fixp)
- (in view_fixp)
- (in ciaopp_batch)
- (in ciaopp_worker)
- (in ciaopp_batch_aux)
- (in db_analysis)
- (in tasks_db)
- config_common (in ciaopp_batch)
- config_incremental_load/1 (incanal predicate)
- constant/1 (basic_props regular type)
- constraint/1 (native_props_polyhedral property)
- contains_parameters/2 (domains predicate)
- cost/4 (native_props_cost property)
- cost_expression/1 (native_props_cost regular type)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- costb/4 (native_props_cost property)
- counter/3 (program_keys predicate)
- counters (in analyze_driver)
- covered/1 (native_props_nfdet property)
- covered/2 (native_props_shfrg property)
- covering/3 (sharefree predicate)
- ctcheck_sum(S) (in analyze_driver)
- ctcheck_sum/1 (ciaopp udreexp)
- ctchecks_common (in analyze_driver)
- ctchecks_pp (in analyze_driver)
- ctchecks_pred (in analyze_driver)
- ctrlcclean (in intermod_punit)
- curr_entry_id/1 (intermod_entry predicate)
- current module (in part_internals)
- current_pp_flag/2 (ciaopp predicate)
- current_task_proc/2 (db_analysis 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_but_dont_save/1 (auto_interface predicate)
D
- DEDC96 (cite)
- DL93 (cite)
- DLGH97 (cite)
- DLGHL97 (cite)
- DZ92 (cite)
- Daniel Cabeza (basic_props author)
- Debug_plai (Debug_plai library)
- Dum94 (cite)
- data declaration (in debugging_in_ciaopp)
- datadir (in frontend_driver)
- datafacts (in auto_interface)
- (in aeq)
- (in def)
- (in etermsvar)
- (in fr_top)
- (in gr)
- (in polyhedra)
- (in sharefree)
- (in apply_assertions)
- (in frontend_driver)
- (in raw_printer)
- (in analyze_driver)
- (in transform_driver)
- (in intermod)
- (in intermod_db)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_entry)
- (in intermod_success)
- (in preprocess_flags)
- (in incanal)
- (in incanal_driver)
- (in incanal_deletion)
- (in incanal_db)
- (in incanal_persistent_db)
- (in tarjan_inc)
- (in fixpo_dd)
- (in p_unit)
- (in program_keys)
- (in infer)
- (in fixpo_plai)
- (in plai_db)
- (in trace_fixp)
- (in view_fixp)
- (in ciaopp_batch)
- (in ciaopp_worker)
- (in db_analysis)
- (in tasks_db)
- datafacts_rt (in auto_interface)
- (in aeq)
- (in def)
- (in etermsvar)
- (in fr_top)
- (in gr)
- (in polyhedra)
- (in sharefree)
- (in apply_assertions)
- (in frontend_driver)
- (in raw_printer)
- (in analyze_driver)
- (in transform_driver)
- (in intermod)
- (in intermod_db)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_entry)
- (in intermod_success)
- (in preprocess_flags)
- (in incanal)
- (in incanal_driver)
- (in incanal_deletion)
- (in incanal_db)
- (in incanal_persistent_db)
- (in tarjan_inc)
- (in fixpo_dd)
- (in p_unit)
- (in program_keys)
- (in infer)
- (in fixpo_plai)
- (in plai_db)
- (in trace_fixp)
- (in view_fixp)
- (in ciaopp_batch)
- (in ciaopp_worker)
- (in db_analysis)
- (in tasks_db)
- db_analysis (db_analysis library)
- db_data_dir/1 (db_analysis predicate)
- dcg (in auto_interface)
- debugger_support (in auto_interface)
- (in ciaopp)
- (in aeq)
- (in def)
- (in deftypes)
- (in depthk)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in gr)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in nonrel_intervals)
- (in pd)
- (in pdb)
- (in polyhedra)
- (in ptypes)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharefree_clique_def)
- (in sharefree_non_var)
- (in shareson)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sharing_clique_1)
- (in sharing_clique_def)
- (in shfret)
- (in shfrlin_amgu)
- (in shfrson)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in assertions)
- (in assertions_props)
- (in regtypes)
- (in basic_props)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_cardinality)
- (in native_props_exceptions)
- (in native_props_sideff)
- (in native_props_polyhedral)
- (in native_props_cost)
- (in rtchecks)
- (in apply_assertions)
- (in domains)
- (in frontend_driver)
- (in raw_printer)
- (in analyze_driver)
- (in transform_driver)
- (in intermod)
- (in intermod_db)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_entry)
- (in intermod_success)
- (in preprocess_flags)
- (in incanal)
- (in incanal_driver)
- (in incanal_deletion)
- (in incanal_db)
- (in incanal_persistent_db)
- (in tarjan_inc)
- (in diff)
- (in fixpo_dd)
- (in p_unit)
- (in native)
- (in program_keys)
- (in tr_syntax)
- (in infer)
- (in plai)
- (in fixpo_plai)
- (in plai_db)
- (in trace_fixp)
- (in view_fixp)
- (in ciaopp_batch)
- (in ciaopp_worker)
- (in ciaopp_batch_aux)
- (in db_analysis)
- (in tasks_db)
- debugging_in_ciaopp (debugging_in_ciaopp library)
- decl assertion (in assertions)
- decl/1 (assertions declaration)
- decl/2 (assertions declaration)
- decode_clkey/4 (program_keys predicate)
- decode_entrykey/4 (program_keys predicate)
- decode_litkey/5 (program_keys predicate)
- decode_predkey/3 (program_keys predicate)
- def (def library)
- deftools (in def)
- deftypes (deftypes library)
- del(Pos, Elem) (in diff)
- del_assertion_source_db/1 (incanal_db predicate)
- del_parent/4 (plai_db predicate)
- del_parent_complete/6 (plai_db predicate)
- del_strategy (in incanal)
- delete_complete/3 (plai_db predicate)
- delete_plai_db_one_clause/4 (plai_db predicate)
- deprecated/1 (basic_props property)
- depthk (depthk library)
- det/1 (native_props_nfdet property)
- det_abs_sort/2 (detplai predicate)
- det_asub/1 (detplai regular type)
- det_asub_to_native/5 (detplai predicate)
- det_call_to_entry/9 (detplai predicate)
- det_call_to_success_fact/9 (detplai predicate)
- det_collect_auxinfo_asub/3 (detplai predicate)
- det_combined_special_builtin0/2 (detplai predicate)
- det_compute_clauses_lub/3 (detplai predicate)
- det_compute_lub/2 (detplai predicate)
- det_dom_statistics/1 (detplai predicate)
- det_eliminate_equivalent/2 (detplai predicate)
- det_empty_entry/3 (detplai predicate)
- det_exit_to_prime/7 (detplai predicate)
- det_extend/5 (detplai predicate)
- det_glb/3 (detplai predicate)
- det_identical_abstract/2 (detplai predicate)
- det_init_abstract_domain/1 (detplai predicate)
- det_input_interface/4 (detplai predicate)
- det_input_user_interface/5 (detplai predicate)
- det_less_or_equal/2 (detplai predicate)
- det_obtain_info/4 (detplai predicate)
- det_project/5 (detplai predicate)
- det_rename_auxinfo_asub/3 (detplai predicate)
- det_special_builtin/5 (detplai predicate)
- det_split_combined_domain/3 (detplai predicate)
- det_success_builtin/6 (detplai predicate)
- det_unknown_call/4 (detplai predicate)
- det_unknown_entry/3 (detplai predicate)
- det_widen/3 (detplai predicate)
- det_widencall/3 (detplai predicate)
- detabs (in detplai)
- detect_language/2 (ciaopp udreexp)
- determinacy (in ciaopp_ref_man)
- determinate_sel/3 (eterms predicate)
- detplai (detplai library)
- dictionary/1 (assertions_props regular type)
- diff (diff library)
- diff/4 (diff predicate)
- diff_item/1 (diff regular type)
- difflsign_abs_sort/2 (lsigndiff predicate)
- difflsign_asub_to_native/5 (lsigndiff predicate)
- difflsign_call_to_entry/9 (lsigndiff predicate)
- difflsign_call_to_success_fact/9 (lsigndiff predicate)
- difflsign_compute_lub/2 (lsigndiff predicate)
- difflsign_empty_entry/3 (lsigndiff predicate)
- difflsign_exit_to_prime/7 (lsigndiff predicate)
- difflsign_extend/5 (lsigndiff predicate)
- difflsign_glb/3 (lsigndiff predicate)
- difflsign_input_interface/4 (lsigndiff predicate)
- difflsign_input_user_interface/5 (lsigndiff predicate)
- difflsign_less_or_equal/2 (lsigndiff predicate)
- difflsign_project/5 (lsigndiff predicate)
- difflsign_special_builtin/5 (lsigndiff predicate)
- difflsign_success_builtin/6 (lsigndiff predicate)
- difflsign_unknown_call/4 (lsigndiff predicate)
- difflsign_unknown_entry/3 (lsigndiff predicate)
- doc/2 (assertions declaration)
- docstring/1 (assertions_props property)
- dom_statistics/2 (domains predicate)
- domain/1 (in ciaopp)
- domains (domains library)
- (in aeq)
- (in def)
- (in deftypes)
- (in depthk)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in gr)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in nonrel_intervals)
- (in pd)
- (in pdb)
- (in polyhedra)
- (in ptypes)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharefree_clique_def)
- (in sharefree_non_var)
- (in shareson)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sharing_clique_1)
- (in sharing_clique_def)
- (in shfret)
- (in shfrlin_amgu)
- (in shfrson)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in apply_assertions)
- (in part_internals)
- (in intermod_entry)
- (in intermod_success)
- (in incanal_driver)
- (in incanal_deletion)
- (in incanal_db)
- (in fixpo_dd)
- (in Punit0)
- (in infer)
- (in Plai0)
- (in plai)
- (in fixpo_plai)
- drid/1 (program_keys regular type)
- driver (in part_internals)
- dual_widen/4 (domains predicate)
- dual_widencall/4 (domains predicate)
- dump/1 (ciaopp udreexp)
- dump/2 (ciaopp udreexp)
- dump_dir/1 (ciaopp udreexp)
- dump_file/4 (ciaopp_batch_aux predicate)
- dump_flags/1 (preprocess_flags predicate)
- dump_flags_list (in preprocess_flags)
- dump_flags_list/2 (intermod predicate)
- dynamic (in intermod)
- dynamic declaration (in debugging_in_ciaopp)
- dynamic_or_unknown_predicate/1 (p_unit predicate)
- dynamic_rt (in intermod)
E
- Edison Mera (native_props author)
- eliminate_couples_clique/4 (sharing_clique predicate)
- eliminate_equivalent/2 (sharing_clique predicate)
- eliminate_equivalent/3 (domains predicate)
- eliminate_non_element/4 (sharefree predicate)
- emacs (in part_usage)
- empty_entry/3 (def predicate)
- empty_entry/4 (domains predicate)
- end_view/0 (view_fixp predicate)
- engine(basic_props) (in Punit0)
- ensure_lib_sources_loaded/0 (ciaopp udreexp)
- ensure_registry_file/3 (intermod_punit predicate)
- entry assertion (in assertions)
- entry declaration (in debugging_in_ciaopp)
- entry/1 (assertions declaration)
- entry_assertion/3 (p_unit predicate)
- entry_point/5 (plai predicate)
- entry_policy (in intermod_entry)
- entry_to_exit/7 (fixpo_dd predicate)
- entry_to_exit/9 (fixpo_plai predicate)
- enum_mod_typedb/1 (intermod_db predicate)
- equiv/2 (basic_props property)
- erase_directive/1 (p_unit predicate)
- erase_last_memo_table/3 (plai_db predicate)
- erase_previous_memo_lubs/2 (plai_db predicate)
- erase_previous_memo_tables_and_parents/4 (plai_db predicate)
- erase_previous_parents_info/5 (plai_db predicate)
- errhandle (in intermod_punit)
- error_free/1 (basic_props property)
- eterms (eterms library)
- eterms_abs_sort/2 (eterms predicate)
- eterms_arg_call_to_success/9 (eterms predicate)
- eterms_asub/1 (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- eterms_asub_to_native/5 (eterms predicate)
- eterms_call_to_entry/9 (eterms predicate)
- eterms_call_to_success_builtin/6 (eterms predicate)
- eterms_call_to_success_fact/9 (eterms predicate)
- eterms_collect_auxinfo_asub/3 (eterms predicate)
- eterms_compute_lub/2 (eterms predicate)
- eterms_compute_lub_el/3 (eterms predicate)
- eterms_concrete/3 (eterms predicate)
- eterms_empty_entry/3 (eterms predicate)
- eterms_exit_to_prime/7 (eterms predicate)
- eterms_extend/5 (eterms predicate)
- eterms_extrainfo(ExtraInfo) (in eterms)
- eterms_extrainfo/1 (in eterms)
- eterms_glb/3 (eterms predicate)
- eterms_glbnames/3 (eterms predicate)
- eterms_identical_abstract/2 (eterms predicate)
- eterms_init_abstract_domain/1 (eterms predicate)
- eterms_input_interface/4 (eterms predicate)
- eterms_input_user_interface/5 (eterms predicate)
- eterms_less_or_equal/2 (eterms predicate)
- eterms_multi_part_conc/3 (eterms predicate)
- eterms_needs/1 (eterms predicate)
- eterms_obtain_info/4 (eterms predicate)
- eterms_output_interface/2 (eterms predicate)
- eterms_part_conc/4 (eterms predicate)
- eterms_project/5 (eterms predicate)
- eterms_rename_auxinfo_asub/3 (eterms predicate)
- eterms_special_builtin/5 (eterms predicate)
- eterms_success_builtin/6 (eterms predicate)
- eterms_unknown_call/4 (eterms predicate)
- eterms_unknown_entry/3 (eterms predicate)
- eterms_widen/3 (eterms predicate)
- eterms_widencall/3 (eterms predicate)
- etermsvar (etermsvar library)
- etermsvar_abs_sort/2 (etermsvar predicate)
- etermsvar_arg_call_to_success/9 (etermsvar predicate)
- etermsvar_asub_to_native/5 (etermsvar predicate)
- etermsvar_call_to_entry/9 (etermsvar predicate)
- etermsvar_call_to_success_builtin/6 (etermsvar predicate)
- etermsvar_call_to_success_fact/9 (etermsvar predicate)
- etermsvar_collect_auxinfo_asub/3 (etermsvar predicate)
- etermsvar_compute_lub/2 (etermsvar predicate)
- etermsvar_compute_lub_el/3 (etermsvar predicate)
- etermsvar_concrete/3 (etermsvar predicate)
- etermsvar_empty_entry/3 (etermsvar predicate)
- etermsvar_exit_to_prime/7 (etermsvar predicate)
- etermsvar_extend/5 (etermsvar predicate)
- etermsvar_glb/3 (etermsvar predicate)
- etermsvar_identical_abstract/2 (etermsvar predicate)
- etermsvar_init_abstract_domain/1 (etermsvar predicate)
- etermsvar_input_interface/4 (etermsvar predicate)
- etermsvar_input_user_interface/5 (etermsvar predicate)
- etermsvar_less_or_equal/2 (etermsvar predicate)
- etermsvar_multi_part_conc/3 (etermsvar predicate)
- etermsvar_needs/1 (etermsvar predicate)
- etermsvar_obtain_info/4 (etermsvar predicate)
- etermsvar_output_interface/2 (etermsvar predicate)
- etermsvar_part_conc/4 (etermsvar predicate)
- etermsvar_project/5 (etermsvar predicate)
- etermsvar_rename_auxinfo_asub/3 (etermsvar predicate)
- etermsvar_special_builtin/5 (etermsvar predicate)
- etermsvar_success_builtin/6 (etermsvar predicate)
- etermsvar_unknown_call/4 (etermsvar predicate)
- etermsvar_unknown_entry/3 (etermsvar predicate)
- etermsvar_widen/3 (etermsvar predicate)
- etermsvar_widencall/3 (etermsvar predicate)
- 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)
- (in basic_props)
- (in basic_props)
- example (in basic_props)
- example/1 (basic_props property)
- exception/1 (native_props_exceptions property)
- exception/2 (native_props_exceptions property)
- exceptions (in auto_interface)
- (in ciaopp)
- (in aeq)
- (in def)
- (in deftypes)
- (in depthk)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in gr)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in nonrel_intervals)
- (in pd)
- (in pdb)
- (in polyhedra)
- (in ptypes)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharefree_clique_def)
- (in sharefree_non_var)
- (in shareson)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sharing_clique_1)
- (in sharing_clique_def)
- (in shfret)
- (in shfrlin_amgu)
- (in shfrson)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in assertions)
- (in assertions_props)
- (in regtypes)
- (in basic_props)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_cardinality)
- (in native_props_exceptions)
- (in native_props_sideff)
- (in native_props_polyhedral)
- (in native_props_cost)
- (in rtchecks)
- (in apply_assertions)
- (in domains)
- (in frontend_driver)
- (in raw_printer)
- (in analyze_driver)
- (in transform_driver)
- (in intermod)
- (in intermod_db)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_entry)
- (in intermod_success)
- (in preprocess_flags)
- (in incanal)
- (in incanal_driver)
- (in incanal_deletion)
- (in incanal_db)
- (in incanal_persistent_db)
- (in tarjan_inc)
- (in diff)
- (in fixpo_dd)
- (in p_unit)
- (in native)
- (in program_keys)
- (in tr_syntax)
- (in infer)
- (in plai)
- (in fixpo_plai)
- (in plai_db)
- (in trace_fixp)
- (in view_fixp)
- (in ciaopp_batch)
- (in ciaopp_worker)
- (in ciaopp_batch_aux)
- (in db_analysis)
- (in tasks_db)
- exit assertion (in assertions)
- exit/1 (assertions declaration)
- exit/2 (assertions declaration)
- exit_to_prime (in domains)
- exit_to_prime/7 (def predicate)
- exit_to_prime/8 (domains predicate)
- exp/1 (in native_props_cost)
- exp/2 (in native_props_cost)
- exports (in rtchecks)
- extend/4 (in nonrel_intervals)
- extend/5 (def predicate)
- extend/6 (domains predicate)
- external_calls/4 (incanal_deletion predicate)
- extrainfo(ExtraInfo) (in etermsvar)
- extrainfo/1 (gr property)
F
- Francisco Bueno (eterms author)
- fact/1 (in native_props_cost)
- fails/1 (native_props_nfdet property)
- false assertion (in assertions)
- false/1 (assertions predicate)
- fastrw (in intermod_punit)
- fd (fd library)
- file_name(In) (in frontend_driver)
- file_name(Out) (in frontend_driver)
- file_name/1 (in frontend_driver)
- file_search_path/2 (intermod predicate)
- filename/1 (in p_unit)
- filter/2 (basic_props property)
- filtered_program_clauses/3 (p_unit predicate)
- find_list_entry/3 (termsd predicate)
- finite_solutions/1 (native_props_cardinality property)
- first_key/2 (program_keys predicate)
- fixp_stick_to_calls (in apply_assertions)
- fixp_stick_to_success (in apply_assertions)
- fixpo_bu (in plai)
- fixpo_check_di (in plai)
- fixpo_check_di2 (in plai)
- fixpo_check_di3 (in plai)
- fixpo_check_di4 (in plai)
- fixpo_check_di5 (in plai)
- fixpo_check_reduced_di (in plai)
- fixpo_dd (fixpo_dd library)
- fixpo_del (in Plai0)
- fixpo_di (in Plai0)
- fixpo_ops (in auto_interface)
- fixpo_ops:inexistent/1 (in fixpo_dd)
- fixpo_plai (fixpo_plai library)
- fixpo_plai_gfp (in plai)
- fixpoint/6 (fixpo_plai predicate)
- fixpoint_compute_change/9 (fixpo_dd predicate)
- fixpoint_id_/2 (incanal_db predicate)
- fixpoint_trace/7 (trace_fixp predicate)
- flag_value/1 (ciaopp regular type)
- flag_values/1 (basic_props regular type)
- flt/1 (basic_props regular type)
- foo.pl (in rtchecks)
- foo_rtc.pl (in rtchecks)
- force_analysis/1 (intermod_schedule predicate)
- format (in frontend_driver)
- formatting commands (in assertions)
- fr_abs_sort/2 (fr_top predicate)
- fr_asub_to_native/5 (fr_top predicate)
- fr_call_to_entry/9 (fr_top predicate)
- fr_call_to_success_fact/9 (fr_top predicate)
- fr_compute_lub/2 (fr_top predicate)
- fr_empty_entry/3 (fr_top predicate)
- fr_exit_to_prime/7 (fr_top predicate)
- fr_extend/5 (fr_top predicate)
- fr_glb/3 (fr_top predicate)
- fr_identical_abstract/2 (fr_top predicate)
- fr_input_interface/4 (fr_top predicate)
- fr_input_user_interface/5 (fr_top predicate)
- fr_less_or_equal/2 (fr_top predicate)
- fr_output_interface/3 (fr_top predicate)
- fr_project/5 (fr_top predicate)
- fr_sets (in fd)
- fr_shared (in fd)
- fr_special_builtin/5 (fr_top predicate)
- fr_success_builtin/6 (fr_top predicate)
- fr_top (fr_top library)
- fr_unknown_call/4 (fr_top predicate)
- fr_unknown_entry/3 (fr_top predicate)
- frdef_abs_sort/2 (fd predicate)
- frdef_asub_to_native/5 (fd predicate)
- frdef_call_to_entry/9 (fd predicate)
- frdef_call_to_success_fact/9 (fd predicate)
- frdef_compute_lub/2 (fd predicate)
- frdef_empty_entry/3 (fd predicate)
- frdef_exit_to_prime/7 (fd predicate)
- frdef_extend/5 (fd predicate)
- frdef_glb/3 (fd predicate)
- frdef_identical_abstract/2 (fd predicate)
- frdef_input_interface/4 (fd predicate)
- frdef_input_user_interface/5 (fd predicate)
- frdef_less_or_equal/2 (fd predicate)
- frdef_project/5 (fd predicate)
- frdef_special_builtin/5 (fd predicate)
- frdef_success_builtin/6 (fd predicate)
- frdef_unknown_call/4 (fd predicate)
- frdef_unknown_entry/3 (fd predicate)
- frontend_driver (frontend_driver library)
- (in auto_interface)
- (in ciaopp)
- (in ciaopp)
- (in ciaopp)
- (in ciaopp)
- (in ciaopp)
- (in ciaopp)
- (in ciaopp)
- (in ciaopp)
- (in ciaopp)
- (in ciaopp)
- (in ciaopp)
- (in ciaopp)
- (in ciaopp)
- (in ciaopp)
- (in ciaopp)
- (in ciaopp)
- (in ciaopp)
- (in ciaopp)
- (in ciaopp)
- (in ciaopp)
- (in analyze_driver)
- (in transform_driver)
- (in intermod)
- (in preprocess_flags)
- (in incanal)
- (in incanal_driver)
- (in ciaopp_worker)
- fsyntax (in auto_interface)
- full_info_to_asub/5 (domains predicate)
- func/1 (in assertions_props)
- functor1/2 (auto_interface udreexp)
G
- GHM00 (cite)
- GNU general public license (in ciaopp_ref_man)
- GdW94 (cite)
- German Puebla (assertions author)
- g_assrt_body/1 (assertions_props regular type)
- gen_registry_info/3 (in intermod_punit)
- generateSucc0_cond/5 (eterms predicate)
- generate_a_type_assignment/3 (termsd predicate)
- generate_subs/3 (eterms predicate)
- generate_subs_exit/4 (eterms predicate)
- generate_trans_clauses/4 (plai predicate)
- get_absint/4 (infer predicate)
- get_all_module_cycles/2 (intermod_punit predicate)
- get_applicable_status/3 (apply_assertions predicate)
- get_assert_count/1 (ciaopp udreexp)
- get_assertion/2 (p_unit predicate)
- get_call_assertions_asub/5 (apply_assertions predicate)
- get_call_from_call_assrt/7 (p_unit predicate)
- get_changed_registry/4 (incanal_db predicate)
- get_clkey/4 (program_keys predicate)
- get_comment/1 (p_unit predicate)
- get_commented_assertion/2 (p_unit predicate)
- get_complete/8 (plai_db predicate)
- get_completes/4 (infer predicate)
- get_completes_lub/6 (infer predicate)
- get_current_assertions/1 (incanal_db predicate)
- get_current_clauses/1 (incanal_db predicate)
- get_data/2 (ciaopp udreexp)
- get_entry_info/3 (intermod_entry predicate)
- get_free_vars/3 (fr_top predicate)
- get_imported_module_base/2 (intermod_punit predicate)
- get_info/5 (infer predicate)
- get_list_names_is/2 (eterms predicate)
- get_litkey/5 (program_keys predicate)
- get_memo_lub/5 (infer predicate)
- get_memo_table/7 (plai_db predicate)
- get_menu_configs/1 (auto_interface predicate)
- get_menu_flag/3 (auto_interface udreexp)
- get_mod_name_from_file/2 (ciaopp_batch_aux predicate)
- get_modules_analyzed/1 (intermod_punit predicate)
- get_output_operator/3 (p_unit predicate)
- get_output_package/1 (p_unit predicate)
- get_output_path/2 (p_unit predicate)
- get_parent_key/4 (plai_db predicate)
- get_pred_mod_defined/2 (p_unit predicate)
- get_predkey/3 (program_keys predicate)
- get_predkeys/2 (program_keys predicate)
- get_punit_included_files/1 (intermod_punit predicate)
- get_punit_modules/1 (intermod_punit predicate)
- get_raw_success/6 (plai_db predicate)
- get_raw_success/7 (plai_db predicate)
- get_registry/4 (intermod_db predicate)
- get_succ_assertion_asubs/7 (apply_assertions predicate)
- get_success_info/7 (intermod_success predicate)
- get_type/3 (eterms predicate)
- get_var_types_by_unification/3 (termsd predicate)
- getargtypes/6 (eterms predicate)
- getfunctors/2 (eterms predicate)
- getvalue/2 (eterms predicate)
- getvalues_comp_cond/3 (eterms predicate)
- glb/3 (def predicate)
- glb/4 (domains predicate)
- global_control (in fixpo_dd)
- gnd/1 (basic_props regular type)
- gndstr/1 (basic_props regular type)
- gr (gr library)
- gr_mode/1 (gr regular type)
- 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 basic_props)
- (in native_props_shfrg)
- (in native_props_shfrg)
- (in native_props_shfrg)
H
- HBC12 (cite)
- HPB99 (cite)
- HPBLG05 (cite)
- HPMS00 (cite)
- HR95 (cite)
- Her99 (cite)
- hard side-effects (in native_props_sideff)
- has_dump/2 (incanal_persistent_db predicate)
- head pattern (in assertions_props)
- head/1 (program_keys regular type)
- head_pattern/1 (assertions_props property)
- hentenwid/3 (in ptypes)
- hiord (in aeq)
- hiord_rt (in auto_interface)
- (in aeq)
- (in deftypes)
- (in eterms)
- (in etermsvar)
- (in gr)
- (in detplai)
- (in nfplai)
- (in nonrel_intervals)
- (in pd)
- (in pdb)
- (in ptypes)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharefree_clique_def)
- (in sharefree_non_var)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sharing_clique_1)
- (in sharing_clique_def)
- (in shfret)
- (in shfrlin_amgu)
- (in svterms)
- (in termsd)
- (in basic_props)
- (in apply_assertions)
- (in domains)
- (in frontend_driver)
- (in raw_printer)
- (in analyze_driver)
- (in transform_driver)
- (in intermod)
- (in intermod_db)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_entry)
- (in intermod_success)
- (in preprocess_flags)
- (in incanal_driver)
- (in incanal_deletion)
- (in incanal_db)
- (in tarjan_inc)
- (in diff)
- (in fixpo_dd)
- (in p_unit)
- (in native)
- (in program_keys)
- (in tr_syntax)
- (in fixpo_plai)
- (in plai_db)
- (in ciaopp_batch)
- (in db_analysis)
- hiordlib (in eterms)
- 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)
- Isabel Garcia-Contreras (nonrel_intervals author)
- (ciaopp-dump author)
- (ciaopp-batch author)
- (ciaopp_batch_report author)
- (apply_assertions author)
- (raw_printer author)
- (intermod author)
- (Debug_plai author)
- (incanal author)
- (incanal_driver author)
- (incanal_deletion author)
- (tarjan_inc author)
- (diff author)
- (ciaopp_batch author)
- (ciaopp_worker author)
- (db_analysis author)
- identical_abstract/2 (sharefree_clique predicate)
- identical_abstract/3 (domains predicate)
- identical_proj/5 (domains predicate)
- identical_proj_1/7 (domains predicate)
- idlists (in aeq)
- imported_module/2 (intermod_db predicate)
- inc_add_source_clauses/3 (tarjan_inc predicate)
- inc_persistent_status/1 (incanal_persistent_db regular type)
- incanal (incanal library)
- incanal_db (incanal_db library)
- incanal_deletion (incanal_deletion library)
- incanal_driver (incanal_driver library)
- incanal_persistent_db (incanal_persistent_db library)
- incremental_analyze/1 (incanal predicate)
- incremental_analyze/2 (incanal predicate)
- incremental_module/1 (incanal predicate)
- incremental_module/2 (incanal predicate)
- incrementally_update_analysis/2 (incanal_driver predicate)
- indep/1 (native_props_shfrg property)
- indep/2 (native_props_shfrg property)
- indexvar/1 (native_props_cost regular type)
- inductive_ctcheck/2 (intermod predicate)
- inductive_ctcheck/4 (intermod predicate)
- inductive_ctcheck_summary/3 (intermod predicate)
- infer (infer library)
- infer_db (in auto_interface)
- infer_dom (in auto_interface)
- infercost (in part_internals)
- infernf (in part_internals)
- inferseff (in analyze_driver)
- info_to_asub/7 (domains predicate)
- init_abstract_domain/2 (domains predicate)
- init_analysis_db/0 (db_analysis predicate)
- init_clkeys/0 (incanal_db predicate)
- init_empty_inc_analysis (in incanal_driver)
- init_empty_inc_analysis/0 (incanal_driver predicate)
- init_file_inc_analysis/3 (incanal_driver predicate)
- init_fixpoint/0 (fixpo_dd predicate)
- init_fixpoint/1 (plai predicate)
- init_rev_idx/1 (plai_db predicate)
- init_tasks_db/0 (tasks_db predicate)
- init_tmp_db/1 (db_analysis predicate)
- initial (in auto_interface)
- (in ciaopp)
- (in aeq)
- (in def)
- (in deftypes)
- (in depthk)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in gr)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in nonrel_intervals)
- (in pd)
- (in pdb)
- (in polyhedra)
- (in ptypes)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharefree_clique_def)
- (in sharefree_non_var)
- (in shareson)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sharing_clique_1)
- (in sharing_clique_def)
- (in shfret)
- (in shfrlin_amgu)
- (in shfrson)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in assertions)
- (in assertions_props)
- (in regtypes)
- (in basic_props)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_cardinality)
- (in native_props_exceptions)
- (in native_props_sideff)
- (in native_props_polyhedral)
- (in native_props_cost)
- (in rtchecks)
- (in apply_assertions)
- (in domains)
- (in frontend_driver)
- (in raw_printer)
- (in analyze_driver)
- (in transform_driver)
- (in intermod)
- (in intermod_db)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_entry)
- (in intermod_success)
- (in preprocess_flags)
- (in incanal)
- (in incanal_driver)
- (in incanal_deletion)
- (in incanal_db)
- (in incanal_persistent_db)
- (in tarjan_inc)
- (in diff)
- (in fixpo_dd)
- (in p_unit)
- (in native)
- (in program_keys)
- (in tr_syntax)
- (in infer)
- (in plai)
- (in fixpo_plai)
- (in plai_db)
- (in trace_fixp)
- (in view_fixp)
- (in ciaopp_batch)
- (in ciaopp_worker)
- (in ciaopp_batch_aux)
- (in db_analysis)
- (in tasks_db)
- initial_transformations/2 (frontend_driver predicate)
- inject_output_package/1 (p_unit predicate)
- inner (in rtchecks)
- input_interface/4 (def predicate)
- input_interface/5 (domains predicate)
- input_user_interface/5 (def predicate)
- input_user_interface/6 (domains predicate)
- ins(Pos, Elem) (in diff)
- insert_after_clkey/2 (incanal_db predicate)
- insert_each/3 (sharefree predicate)
- inst/2 (basic_props property)
- instantiation properties (in regtypes)
- int/1 (basic_props regular type)
- integer/1 (in assertions_props)
- inter-modular analysis (in part_fixpoint)
- intermod (intermod library)
- intermod_analyze/2 (intermod predicate)
- intermod_analyze/3 (intermod predicate)
- intermod_ctcheck/2 (intermod predicate)
- intermod_ctcheck_opt/2 (intermod predicate)
- intermod_ctcheck_opt/3 (intermod predicate)
- intermod_db (intermod_db library)
- intermod_entry (intermod_entry library)
- intermod_entry_point/7 (intermod_entry predicate)
- intermod_ops (in frontend_driver)
- intermod_punit (intermod_punit library)
- intermod_schedule (intermod_schedule library)
- intermod_simp_libs/2 (intermod predicate)
- intermod_simp_libs/3 (intermod predicate)
- intermod_success (intermod_success library)
- intermod_transform/3 (intermod predicate)
- internal_module_id/1 (basic_props regular type)
- internals (in frontend_driver)
- invalid_call/6 (plai_db predicate)
- inverse_rewrite_source_body/2 (program_keys predicate)
- inverse_rewrite_source_program_cl/2 (program_keys predicate)
- io_alias_redirection (in ciaopp_worker)
- io_basic (in auto_interface)
- is_checker/1 (plai predicate)
- is_clause/4 (program_keys predicate)
- is_clkey/1 (program_keys predicate)
- is_det/1 (native_props_nfdet 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 native_props_nfdet)
- (in apply_assertions)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in intermod_db)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_deletion)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in plai_db)
- is_directive/3 (program_keys predicate)
- is_entrykey/1 (program_keys predicate)
- is_litkey/1 (program_keys predicate)
- is_naive_scheduling/1 (intermod_schedule predicate)
- iso/1 (basic_props property)
- isomodes (in auto_interface)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharefree_clique_def)
- (in sharefree_non_var)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sharing_clique_1)
- (in sharing_clique_def)
- (in shfrlin_amgu)
- (in assertions_props)
- (in apply_assertions)
- (in domains)
- (in raw_printer)
- (in intermod_db)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_entry)
- (in intermod_success)
- (in preprocess_flags)
- (in incanal_driver)
- (in incanal_deletion)
- (in incanal_db)
- (in tarjan_inc)
- (in fixpo_dd)
- (in plai_db)
- (in ciaopp_batch)
- (in db_analysis)
- iterations/1 (intermod_schedule predicate)
- itf_db (in auto_interface)
- ivar/1 (native_props_shfrg property)
J
K
L
- LGBH05 (cite)
- LGBH10 (cite)
- LGHD96 (cite)
- Leu98 (cite)
- language(L) (in frontend_driver)
- language/1 (in frontend_driver)
- language_extension/2 (frontend_driver predicate)
- language_output_extension/2 (ciaopp udreexp)
- last_clause/1 (program_keys predicate)
- last_domain_used/1 (ciaopp udreexp)
- last_file_log/2 (db_analysis predicate)
- lazy_analysis/1 (analyze_driver predicate)
- leaves_choicepoints/1 (native_props_nfdet property)
- less_or_equal/2 (def predicate)
- less_or_equal/3 (domains predicate)
- less_or_equal_proj/5 (domains predicate)
- library (in intermod_punit)
- library(assertions/native_props) (in Punit0)
- library(isomodes) (in assertions_props)
- library_directory/1 (intermod predicate)
- linear/1 (native_props_shfrg property)
- list/1 (basic_props regular type)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in sharefree)
- (in sharing)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in native_props_cardinality)
- (in native_props_exceptions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in intermod_db)
- (in intermod_db)
- (in intermod_db)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in incanal)
- (in incanal)
- (in incanal)
- (in incanal)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_db)
- (in incanal_db)
- (in incanal_db)
- (in incanal_db)
- (in incanal_db)
- (in incanal_db)
- (in incanal_db)
- (in incanal_persistent_db)
- (in tarjan_inc)
- (in tarjan_inc)
- (in tarjan_inc)
- (in diff)
- (in diff)
- (in diff)
- (in diff)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in program_keys)
- (in plai_db)
- (in plai_db)
- (in ciaopp_batch)
- (in ciaopp_batch)
- (in tasks_db)
- list/2 (basic_props regular type)
- (in auto_interface)
- (in ciaopp)
- (in eterms)
- (in etermsvar)
- (in termsd)
- (in assertions_props)
- (in assertions_props)
- (in assertions_props)
- (in basic_props)
- (in domains)
- (in domains)
- (in frontend_driver)
- (in frontend_driver)
- (in frontend_driver)
- (in frontend_driver)
- (in analyze_driver)
- (in analyze_driver)
- (in analyze_driver)
- (in analyze_driver)
- (in intermod)
- (in intermod)
- (in intermod_schedule)
- (in intermod_punit)
- (in diff)
- (in diff)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in program_keys)
- (in program_keys)
- (in infer)
- (in plai_db)
- (in plai_db)
- (in trace_fixp)
- lists (in auto_interface)
- (in aeq)
- (in depthk)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in lsign)
- (in detplai)
- (in nfplai)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharefree_non_var)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sharing_clique_1)
- (in shfret)
- (in shfrlin_amgu)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in assertions)
- (in assertions)
- (in apply_assertions)
- (in domains)
- (in frontend_driver)
- (in raw_printer)
- (in intermod)
- (in intermod_schedule)
- (in intermod_entry)
- (in intermod_success)
- (in preprocess_flags)
- (in incanal)
- (in incanal_driver)
- (in incanal_deletion)
- (in incanal_db)
- (in tarjan_inc)
- (in diff)
- (in fixpo_dd)
- (in p_unit)
- (in native)
- (in program_keys)
- (in infer)
- (in plai)
- (in fixpo_plai)
- (in ciaopp_batch)
- (in ciaopp_worker)
- (in ciaopp_batch_aux)
- lit_ppkey/3 (program_keys predicate)
- literal (in rtchecks)
- literal_ppkey(Arg1) (in program_keys)
- literal_ppkey/1 (program_keys regular type)
- litkey/1 (program_keys regular type)
- llists (in auto_interface)
- lnewiden_el/4 (in eterms)
- load_config(X) (in incanal)
- load_config/1 (in incanal)
- load_persistent_if_needed/2 (incanal_persistent_db predicate)
- loaded_analysis/1 (analyze_driver predicate)
- loaded_mods/1 (incanal_db predicate)
- local_ana_module/2 (intermod_db predicate)
- log/1 (in native_props_cost)
- log/2 (in native_props_cost)
- log10/1 (in native_props_cost)
- log2/1 (in native_props_cost)
- logged_once_port_reify/4 (ciaopp_worker predicate)
- long (in rtchecks)
- low_level_props (in domains)
- lpdoc (in ciaopp_ref_man)
- lsets (in lsign)
- lsign (lsign library)
- lsign_abs_sort/2 (lsign predicate)
- lsign_abs_subset/2 (lsign predicate)
- lsign_asub_to_native/5 (lsign predicate)
- lsign_call_to_entry/9 (lsign predicate)
- lsign_call_to_success_fact/9 (lsign predicate)
- lsign_compute_lub/2 (lsign predicate)
- lsign_eliminate_equivalent/2 (lsign predicate)
- lsign_empty_entry/3 (lsign predicate)
- lsign_exit_to_prime/7 (lsign predicate)
- lsign_extend/5 (lsign predicate)
- lsign_glb/3 (lsign predicate)
- lsign_global_info/5 (lsign predicate)
- lsign_init_abstract_domain/1 (lsign predicate)
- lsign_input_interface/4 (lsign predicate)
- lsign_input_user_interface/5 (lsign predicate)
- lsign_less_or_equal/2 (lsign predicate)
- lsign_output_interface/2 (lsign predicate)
- lsign_project/5 (lsign predicate)
- lsign_propagate_fixpoint/8 (lsign predicate)
- lsign_special_builtin/5 (lsign predicate)
- lsign_success_builtin/6 (lsign predicate)
- lsign_sum/3 (lsign predicate)
- lsign_unknown_call/4 (lsign predicate)
- lsign_unknown_entry/3 (lsign predicate)
- lsigndiff (lsigndiff library)
- lub/3 (sharing predicate)
- lub_complete/6 (plai_db predicate)
M
- MBdlBH99 (cite)
- MH89a (cite)
- MH89b (cite)
- MH91 (cite)
- MH92 (cite)
- MS94 (cite)
- Manuel Hermenegildo (assertions author)
- Maria Garcia de la Banda (sharefree author)
- Mye86 (cite)
- main_module/2 (intermod_db predicate)
- make_dependence/5 (sharefree predicate)
- make_dir_nofail/1 (ciaopp_batch_aux predicate)
- mark_parents_change_list_scc/3 (fixpo_dd predicate)
- max/2 (in native_props_cost)
- may_be_var/2 (sharing_clique predicate)
- measure_t/1 (native_props_cost regular type)
- mem_usage (in intermod)
- member/2 (basic_props property)
- member_value_freeness_differ/3 (sharefree predicate)
- memo/1 (basic_props property)
- memo_call/5 (plai_db predicate)
- memo_lub/5 (plai_db predicate)
- memo_table/6 (plai_db predicate)
- memo_table_id_key/3 (plai_db predicate)
- memotable_trace/3 (trace_fixp predicate)
- menu (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)
- merge_parents/3 (plai_db predicate)
- messages (in auto_interface)
- messages_basic (in analyze_driver)
- min/2 (in native_props_cost)
- minimal_functors (in TypeWidening)
- minimal_lists (in TypeWidening)
- mod_plai/5 (plai predicate)
- mod_topdown_analysis/3 (plai predicate)
- mod_typedb/2 (intermod_db predicate)
- moddesc/1 (in p_unit)
- mode (in assertions)
- modedef/1 (assertions declaration)
- modes (in ciaopp_ref_man)
- module declaration (in debugging_in_ciaopp)
- module/1 (ciaopp predicate)
- module/2 (frontend_driver predicate)
- module_depth/2 (intermod_db predicate)
- module_has_entries/1 (incanal_driver predicate)
- module_is_processable/1 (intermod_punit predicate)
- module_name(M) (in frontend_driver)
- module_name/1 (in frontend_driver)
- module_processed/2 (intermod_schedule predicate)
- modules_analyzed/1 (intermod_schedule predicate)
- mshare/1 (native_props_shfrg property)
- mshare/2 (native_props_shfrg property)
- multi/1 (native_props_nfdet property)
- multi_part_conc/4 (domains predicate)
- multifile_predicate_names/1 (p_unit predicate)
- mut_exclusive/1 (native_props_nfdet property)
- myappend/3 (sharing_clique predicate)
N
- Nataliia Stulova (rtchecks author)
- n_assrt_body/5 (in assertions_props)
- nabody/1 (assertions_props property)
- naive_module_order/1 (intermod_schedule predicate)
- naive_pending_modules/1 (intermod_schedule predicate)
- native (native library)
- native properties (in Punit0)
- native/1 (basic_props property)
- (native regular type)
- (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_shfrg)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_nfdet)
- (in native_props_polyhedral)
- native/2 (basic_props property)
- native_prop_map/3 (native predicate)
- native_prop_term/1 (native regular type)
- native_props (in gr)
- (in basic_props)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_cardinality)
- (in native_props_exceptions)
- (in native_props_sideff)
- (in native_props_polyhedral)
- (in native_props_cost)
- (in apply_assertions)
- (in domains)
- (in frontend_driver)
- (in analyze_driver)
- (in transform_driver)
- (in intermod)
- (in intermod_db)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_entry)
- (in incanal)
- (in incanal_driver)
- (in incanal_deletion)
- (in fixpo_dd)
- (in p_unit)
- (in native)
- (in fixpo_plai)
- (in plai_db)
- native_props_cardinality (native_props_cardinality library)
- native_props_cost (native_props_cost library)
- native_props_exceptions (native_props_exceptions library)
- native_props_nfdet (native_props_nfdet library)
- native_props_polyhedral (native_props_polyhedral library)
- native_props_rtc (in native_props)
- native_props_shfrg (native_props_shfrg library)
- native_props_sideff (native_props_sideff library)
- native_to_prop/2 (p_unit predicate)
- native_to_props_visible/2 (p_unit predicate)
- nativeprops (in gr)
- (in basic_props)
- (in apply_assertions)
- (in domains)
- (in frontend_driver)
- (in analyze_driver)
- (in transform_driver)
- (in intermod)
- (in intermod_db)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_entry)
- (in incanal)
- (in incanal_driver)
- (in incanal_deletion)
- (in fixpo_dd)
- (in p_unit)
- (in native)
- (in fixpo_plai)
- (in plai_db)
- needs/1 (sharefree predicate)
- needs/2 (domains predicate)
- new_predicate/3 (p_unit predicate)
- newer/2 (ciaopp_batch_aux predicate)
- nf_abs_sort/2 (nfplai predicate)
- nf_asub/1 (nfplai regular type)
- nf_asub_to_native/5 (nfplai predicate)
- nf_call_to_entry/9 (nfplai predicate)
- nf_call_to_success_fact/9 (nfplai predicate)
- nf_collect_auxinfo_asub/3 (nfplai predicate)
- nf_combined_special_builtin0/2 (nfplai predicate)
- nf_compute_clauses_lub/3 (nfplai predicate)
- nf_compute_lub/2 (nfplai predicate)
- nf_dom_statistics/1 (nfplai predicate)
- nf_eliminate_equivalent/2 (nfplai predicate)
- nf_empty_entry/3 (nfplai predicate)
- nf_exit_to_prime/7 (nfplai predicate)
- nf_extend/5 (nfplai predicate)
- nf_glb/3 (nfplai predicate)
- nf_identical_abstract/2 (nfplai predicate)
- nf_init_abstract_domain/1 (nfplai predicate)
- nf_input_interface/4 (nfplai predicate)
- nf_input_user_interface/5 (nfplai predicate)
- nf_less_or_equal/2 (nfplai predicate)
- nf_obtain_info/4 (nfplai predicate)
- nf_par_asub/2 (nfplai regular type)
- nf_pred_asub/1 (nfplai regular type)
- nf_pred_asub_sl(ASubL) (in nfplai)
- nf_pred_asub_sl(LubL) (in nfplai)
- nf_pred_asub_sl/1 (nfplai regular type)
- nf_project/5 (nfplai predicate)
- nf_rename_auxinfo_asub/3 (nfplai predicate)
- nf_special_builtin/5 (nfplai predicate)
- nf_split_combined_domain/3 (nfplai predicate)
- nf_success_builtin/6 (nfplai predicate)
- nf_unknown_call/4 (nfplai predicate)
- nf_unknown_entry/3 (nfplai predicate)
- nf_widen/3 (nfplai predicate)
- nf_widencall/3 (nfplai predicate)
- nfabs (in nfplai)
- nfdet (in domains)
- nfdet_common (in infer)
- nfplai (nfplai library)
- nlist/1 (in basic_props)
- nlist/2 (basic_props regular type)
- nnegint/1 (basic_props regular type)
- no (in rtchecks)
- no_choicepoints/1 (native_props_nfdet property)
- no_exception/1 (native_props_exceptions property)
- no_exception/2 (native_props_exceptions property)
- no_rtcheck/1 (basic_props property)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in native_props_shfrg)
- (in native_props_shfrg)
- (in native_props_shfrg)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_nfdet)
- (in native_props_nfdet)
- (in native_props_nfdet)
- (in native_props_nfdet)
- (in native_props_cardinality)
- (in native_props_cardinality)
- (in native_props_sideff)
- (in native_props_sideff)
- (in native_props_sideff)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- no_signal/1 (native_props_exceptions property)
- no_signal/2 (native_props_exceptions property)
- non-failure (in ciaopp_ref_man)
- non_det/1 (native_props_nfdet property)
- nondet/1 (native_props_nfdet property)
- nonground/1 (native_props_shfrg property)
- nonrel_abs_sort/2 (nonrel_intervals predicate)
- nonrel_amgu/5 (nonrel_intervals predicate)
- nonrel_asub_to_native/6 (nonrel_intervals predicate)
- nonrel_base.pl (in nonrel_intervals)
- nonrel_bot/2 (nonrel_intervals predicate)
- nonrel_call_to_entry/10 (nonrel_intervals predicate)
- nonrel_call_to_success_builtin/7 (nonrel_intervals predicate)
- nonrel_call_to_success_fact/10 (nonrel_intervals predicate)
- nonrel_compute_glb_elem/4 (nonrel_intervals predicate)
- nonrel_compute_lub/3 (nonrel_intervals predicate)
- nonrel_compute_lub_elem/4 (nonrel_intervals predicate)
- nonrel_exit_to_prime/8 (nonrel_intervals predicate)
- nonrel_extend/6 (nonrel_intervals predicate)
- nonrel_glb/4 (nonrel_intervals predicate)
- nonrel_identical_abstract/2 (nonrel_intervals predicate)
- nonrel_input_interface/5 (nonrel_intervals predicate)
- nonrel_input_user_interface/6 (nonrel_intervals predicate)
- nonrel_intervals (nonrel_intervals library)
- nonrel_less_or_equal/3 (nonrel_intervals predicate)
- nonrel_less_or_equal_elem/3 (nonrel_intervals predicate)
- nonrel_project/5 (nonrel_intervals predicate)
- nonrel_special_builtin/6 (nonrel_intervals predicate)
- nonrel_success_builtin/7 (nonrel_intervals predicate)
- nonrel_top/2 (nonrel_intervals predicate)
- nonrel_unknown_call/5 (nonrel_intervals predicate)
- nonrel_unknown_entry/4 (nonrel_intervals predicate)
- nonrel_var_elem/2 (nonrel_intervals predicate)
- nonrel_widen/4 (nonrel_intervals predicate)
- nonrel_widen_elem/4 (nonrel_intervals predicate)
- nonrel_widencall/4 (nonrel_intervals predicate)
- nonvar/1 (in ciaopp)
- (in ciaopp)
- (in ciaopp)
- (in ciaopp)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in sharefree)
- (in sharefree)
- (in sharing)
- (in sharing)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (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 apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in frontend_driver)
- (in frontend_driver)
- (in frontend_driver)
- (in frontend_driver)
- (in analyze_driver)
- (in analyze_driver)
- (in analyze_driver)
- (in analyze_driver)
- (in analyze_driver)
- (in analyze_driver)
- (in transform_driver)
- (in transform_driver)
- (in intermod)
- (in intermod)
- (in intermod)
- (in intermod)
- (in intermod)
- (in intermod)
- (in intermod)
- (in intermod)
- (in intermod)
- (in intermod_db)
- (in intermod_db)
- (in intermod_schedule)
- (in intermod_schedule)
- (in intermod_schedule)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_entry)
- (in intermod_entry)
- (in intermod_entry)
- (in intermod_success)
- (in intermod_success)
- (in intermod_success)
- (in intermod_success)
- (in intermod_success)
- (in intermod_success)
- (in intermod_success)
- (in intermod_success)
- (in intermod_success)
- (in intermod_success)
- (in intermod_success)
- (in intermod_success)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_deletion)
- (in incanal_deletion)
- (in incanal_deletion)
- (in incanal_deletion)
- (in incanal_deletion)
- (in incanal_deletion)
- (in incanal_deletion)
- (in incanal_deletion)
- (in incanal_db)
- (in tarjan_inc)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in program_keys)
- (in tr_syntax)
- (in tr_syntax)
- (in tr_syntax)
- (in infer)
- (in infer)
- (in fixpo_plai)
- (in fixpo_plai)
- (in fixpo_plai)
- (in fixpo_plai)
- (in fixpo_plai)
- (in fixpo_plai)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- normal_asub/2 (eterms predicate)
- normalize (in Plai0)
- normalize_args (in transform_driver)
- normalize_asub/3 (domains predicate)
- nortchecks (in basic_props)
- not_covered/1 (native_props_nfdet property)
- not_fails/1 (native_props_nfdet property)
- (in ciaopp)
- (in native_props_nfdet)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in analyze_driver)
- (in intermod)
- (in intermod_db)
- (in intermod_db)
- (in intermod_db)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_entry)
- (in incanal)
- (in incanal)
- (in incanal)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_driver)
- (in incanal_deletion)
- (in incanal_deletion)
- (in incanal_deletion)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in plai_db)
- (in plai_db)
- not_further_inst/1 (in assertions_props)
- not_further_inst/2 (basic_props property)
- not_mut_exclusive/1 (native_props_nfdet property)
- num/1 (basic_props regular type)
- num_solutions/2 (native_props_cardinality property)
- number_lattice (in native_props_cost)
- number_lattice/1 (native_props_cost regular type)
- numeric_constant/1 (native_props_cost regular type)
O
- obtain_freeness/2 (sharefree predicate)
- obtain_info/3 (sharefree predicate)
- obtain_info/4 (sharefree predicate)
- obtain_info/5 (domains predicate)
- obtain_prime_var_var/3 (sharefree predicate)
- obtains_names/4 (eterms predicate)
- op/3 (in p_unit)
- open_mode/3 (intermod_punit predicate)
- operator_specifier/1 (basic_props regular type)
- orig_clause_id/2 (program_keys predicate)
- output/0 (ciaopp predicate)
- output/1 (ciaopp predicate)
- output/2 (ciaopp udreexp)
- output_by_ext/2 (ciaopp udreexp)
- output_ext/1 (ciaopp udreexp)
- output_option/1 (in frontend_driver)
P
- PAH04 (cite)
- PBH00 (cite)
- PCH03 (cite)
- PH96 (cite)
- PRO (cite)
- Partial deduction (in part_transformations)
- Pawel Pietrzak (deftypes author)
- Pedro Lopez (regtypes author)
- Plai0 (Plai0 library)
- Punit0 (Punit0 library)
- p_abs (in Punit0)
- p_asr (in ciaopp)
- p_canonical (in p_unit)
- p_dump (in auto_interface)
- p_printer (in frontend_driver)
- p_unit (p_unit library)
- p_unit_basic (in p_unit)
- parametric type functor (in regtypes)
- parents_complete(Parents) (in plai_db)
- parents_complete/1 (in plai_db)
- part_conc/5 (domains predicate)
- partial evaluation (in ciaopp_ref_man)
- partition_sf/4 (sharefree predicate)
- patch/3 (diff predicate)
- patch_parents/6 (plai_db predicate)
- path_to_shfr/3 (top_path_sharing predicate)
- pathnames (in auto_interface)
- paths.pl (in part_internals)
- pd (pd library)
- pdb (pdb library)
- pe_type/1 (basic_props property)
- persdb (in preprocess_flags)
- persdb/persdb_decl (in preprocess_flags)
- persdb_rt (in preprocess_flags)
- persistent_dir/2 (preprocess_flags predicate)
- persistent_dir/4 (preprocess_flags predicate)
- plai (plai library)
- plai/5 (plai predicate)
- plai_db (plai_db library)
- plai_db_comparator (in incanal_driver)
- plai_db_id(Id) (in incanal_driver)
- plai_db_id/1 (plai_db regular type)
- plai_errors (in aeq)
- polyhedra (polyhedra library)
- polyhedra_finalize/0 (polyhedra predicate)
- polyhedra_initialize/0 (polyhedra predicate)
- pool (in aeq)
- pop/2 (intermod_schedule predicate)
- pop_history/1 (p_unit predicate)
- pop_pp_flag/1 (ciaopp predicate)
- pop_task/4 (tasks_db predicate)
- port_reify (in auto_interface)
- pos/4 (sharing predicate)
- possible_exceptions/2 (native_props_exceptions property)
- possible_signals/2 (native_props_exceptions property)
- possibly_fails/1 (native_props_nfdet property)
- possibly_nondet/1 (native_props_nfdet property)
- possibly_not_covered/1 (native_props_nfdet property)
- possibly_not_mut_exclusive/1 (native_props_nfdet property)
- postcondition_builtin/4 (termsd predicate)
- powerset_with_empty_set/2 (sharing_clique predicate)
- pp_flag/1 (ciaopp predicate)
- pp_flag/2 (preprocess_flags predicate)
- ppl_interface (in polyhedra)
- pr_key/1 (in p_unit)
- pr_key_add/1 (p_unit predicate)
- pr_key_clean/0 (p_unit predicate)
- pr_key_get/1 (p_unit predicate)
- pragma/5 (plai_db predicate)
- precondition_builtin/2 (termsd predicate)
- pred assertion (in assertions)
- pred/1 (assertions declaration)
- pred/2 (assertions declaration)
- predfunctor/1 (assertions_props regular type)
- predicate (in rtchecks)
- predicate_names/1 (p_unit predicate)
- predicates/1 (tarjan_inc predicate)
- predkey/1 (program_keys regular type)
- predkey_from_sg/2 (program_keys predicate)
- predname/1 (basic_props regular type)
- prednames (in program_keys)
- prelude (in auto_interface)
- (in ciaopp)
- (in aeq)
- (in def)
- (in deftypes)
- (in depthk)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in gr)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in nonrel_intervals)
- (in pd)
- (in pdb)
- (in polyhedra)
- (in ptypes)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharefree_clique_def)
- (in sharefree_non_var)
- (in shareson)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sharing_clique_1)
- (in sharing_clique_def)
- (in shfret)
- (in shfrlin_amgu)
- (in shfrson)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in assertions)
- (in assertions_props)
- (in regtypes)
- (in basic_props)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_cardinality)
- (in native_props_exceptions)
- (in native_props_sideff)
- (in native_props_polyhedral)
- (in native_props_cost)
- (in rtchecks)
- (in apply_assertions)
- (in domains)
- (in frontend_driver)
- (in raw_printer)
- (in analyze_driver)
- (in transform_driver)
- (in intermod)
- (in intermod_db)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_entry)
- (in intermod_success)
- (in preprocess_flags)
- (in incanal)
- (in incanal_driver)
- (in incanal_deletion)
- (in incanal_db)
- (in incanal_persistent_db)
- (in tarjan_inc)
- (in diff)
- (in fixpo_dd)
- (in p_unit)
- (in native)
- (in program_keys)
- (in tr_syntax)
- (in infer)
- (in plai)
- (in fixpo_plai)
- (in plai_db)
- (in trace_fixp)
- (in view_fixp)
- (in ciaopp_batch)
- (in ciaopp_worker)
- (in ciaopp_batch_aux)
- (in db_analysis)
- (in tasks_db)
- prepare_ai_output (in frontend_driver)
- preproc_errors (in analyze_driver)
- preprocess_flags (preprocess_flags library)
- (in auto_interface)
- (in ciaopp)
- (in aeq)
- (in def)
- (in deftypes)
- (in depthk)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in gr)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in nonrel_intervals)
- (in pd)
- (in pdb)
- (in polyhedra)
- (in ptypes)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharefree_clique_def)
- (in sharefree_non_var)
- (in shareson)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sharing_clique_1)
- (in sharing_clique_def)
- (in shfret)
- (in shfrlin_amgu)
- (in shfrson)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in apply_assertions)
- (in domains)
- (in frontend_driver)
- (in raw_printer)
- (in analyze_driver)
- (in transform_driver)
- (in intermod)
- (in intermod_punit)
- (in intermod_entry)
- (in intermod_success)
- (in incanal)
- (in incanal_driver)
- (in incanal_db)
- (in incanal_persistent_db)
- (in fixpo_dd)
- (in p_unit)
- (in infer)
- (in plai)
- (in fixpo_plai)
- (in trace_fixp)
- (in ciaopp_worker)
- preprocessing unit (in Punit0)
- preprocessing_unit/3 (p_unit predicate)
- pretty_print (in frontend_driver)
- process (in intermod)
- process_changed_module/1 (in intermod_punit)
- process_external_complete_change/6 (incanal_driver predicate)
- prod(Index,LowerBound,UpperBound,Exp) (in native_props_cost)
- prod/4 (in native_props_cost)
- product/8 (sharefree predicate)
- program assertions (in assertions)
- program parallelization (in ciaopp_ref_man)
- program specialization (in ciaopp_ref_man)
- program transformations (in ciaopp_ref_man)
- program/2 (p_unit predicate)
- program_keys (program_keys library)
- proj_to_prime/9 (fixpo_dd predicate)
- proj_to_prime_nr/9 (fixpo_dd predicate)
- proj_to_prime_r/8 (fixpo_dd predicate)
- project/5 (def predicate)
- project/6 (domains predicate)
- project_freeness/3 (sharefree predicate)
- project_freeness_n/3 (sharefree predicate)
- project_share/3 (sharing predicate)
- projected_gvars_clique/3 (sharing_clique predicate)
- prompt (in auto_interface)
- prop assertion (in assertions)
- prop/1 (assertions declaration)
- prop/2 (assertions declaration)
- prop_to_native/2 (p_unit predicate)
- propagate_non_freeness/5 (sharefree predicate)
- propagate_to_sh/4 (sondergaard predicate)
- propagate_to_son/4 (sondergaard predicate)
- properties of computations (in regtypes)
- properties of execution states (in regtypes)
- properties, basic (in basic_props)
- properties, native (in native_props)
- property (in assertions)
- 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)
- prune/4 (sharefree predicate)
- prune/5 (sharefree predicate)
- prune_success/5 (sharing_clique predicate)
- psets (in fixpo_plai)
- ptypes (ptypes library)
- punit_module/2 (intermod_db predicate)
- push/2 (intermod_schedule predicate)
- push_history/1 (p_unit predicate)
- push_pp_flag/2 (ciaopp predicate)
Q
R
- raw_output/1 (raw_printer predicate)
- raw_printer (raw_printer library)
- raw_success/6 (plai_db predicate)
- re_analysis (in transform_driver)
- read (in intermod_punit)
- read_only (in intermod_punit)
- read_registry_file/3 (intermod_punit predicate)
- read_write (in intermod_punit)
- rearrange_tarjan_after_deletion/1 (tarjan_inc predicate)
- rec/1 (tarjan_inc predicate)
- rec_preds/1 (tarjan_inc predicate)
- redo_unchanged_module/1 (in intermod_punit)
- reg_version/1 (intermod_db predicate)
- registry/3 (intermod_db predicate)
- registry_header/2 (intermod_db predicate)
- registry_header_format/2 (intermod_db predicate)
- regtype assertion (in regtypes)
- regtype/1 (regtypes declaration)
- regtype/2 (regtypes declaration)
- regtypes (regtypes library)
- (in deftypes)
- (in eterms)
- (in etermsvar)
- (in gr)
- (in detplai)
- (in nfplai)
- (in nonrel_intervals)
- (in pd)
- (in pdb)
- (in ptypes)
- (in sharefree)
- (in sharing)
- (in shfret)
- (in svterms)
- (in termsd)
- (in assertions_props)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_cardinality)
- (in native_props_exceptions)
- (in native_props_sideff)
- (in native_props_polyhedral)
- (in native_props_cost)
- (in domains)
- (in frontend_driver)
- (in analyze_driver)
- (in transform_driver)
- (in intermod_db)
- (in preprocess_flags)
- (in incanal)
- (in incanal_persistent_db)
- (in diff)
- (in fixpo_dd)
- (in p_unit)
- (in native)
- (in program_keys)
- (in plai_db)
- (in trace_fixp)
- (in ciaopp_batch)
- (in ciaopp_worker)
- regular type (in regtypes)
- regular type definitions (in regtypes)
- regular type expression (in regtypes)
- regular types (in regtypes)
- relations/2 (native_props_cardinality property)
- remdisj (in tr_syntax)
- remotecut (in tr_syntax)
- remove_clauses_and_related_info_collect_preds/4 (incanal_deletion predicate)
- remove_clauses_pred/2 (incanal_db predicate)
- remove_config/1 (preprocess_flags predicate)
- remove_extra_info_complete/3 (plai_db predicate)
- remove_menu_config/1 (auto_interface predicate)
- remove_useless_completes/1 (incanal_driver predicate)
- rename_types_in_abs/4 (domains predicate)
- replace_names/3 (eterms predicate)
- replace_program/2 (p_unit predicate)
- replaceintype/5 (eterms predicate)
- replacetype/4 (eterms predicate)
- report_mod_info/3 (db_analysis predicate)
- reset_incremental_analysis_info/0 (incanal predicate)
- reset_persistent_db/0 (incanal_persistent_db predicate)
- reset_queue/0 (intermod_schedule predicate)
- resource_id/1 (native_props_cost property)
- resources_basic.pl (in native_props_cost)
- resources_decl (in native_props_cost)
- restore/1 (ciaopp udreexp)
- restore/2 (ciaopp udreexp)
- restore_clause_db/0 (incanal_db predicate)
- restore_config/1 (preprocess_flags predicate)
- restore_fixpoint_id/1 (incanal_db predicate)
- restore_menu_config/1 (auto_interface predicate)
- rewrite_source_all_clauses/2 (program_keys predicate)
- rewrite_source_clause/3 (program_keys predicate)
- rsize/2 (native_props_cost property)
- rtc_status/1 (in basic_props)
- rtcheck/1 (basic_props property)
- rtcheck/2 (basic_props property)
- rtchecks (rtchecks library)
- rtchecks_asrloc (in rtchecks)
- rtchecks_callloc (in rtchecks)
- rtchecks_entry (in rtchecks)
- rtchecks_exit (in rtchecks)
- rtchecks_level (in rtchecks)
- rtchecks_namefmt (in rtchecks)
- rtchecks_predloc (in rtchecks)
- rtchecks_test (in rtchecks)
- rtchecks_trust (in rtchecks)
- run-time checks (in assertions)
- run-time tests (in ciaopp_ref_man)
- run_inc_fixpoint/1 (incanal_driver predicate)
- runtime_control (in ciaopp)
S
- SG94 (cite)
- Son86 (cite)
- s_assrt_body/1 (assertions_props regular type)
- s_eqs (in aeq)
- s_grshfr (in lsign)
- s_simpspec (in raw_printer)
- save_clause_db/0 (incanal_db predicate)
- save_config/1 (preprocess_flags predicate)
- save_menu_config/1 (auto_interface predicate)
- save_persistent_analysis/0 (incanal_persistent_db predicate)
- save_registry_info/2 (intermod_punit predicate)
- save_registry_info/3 (intermod_punit predicate)
- script_p/3 (sharing predicate)
- script_p_star/3 (sharing predicate)
- semidet/1 (native_props_nfdet property)
- sequence/2 (basic_props regular type)
- sequence_or_list/2 (basic_props regular type)
- set_analyzed_mods/1 (incanal_db predicate)
- set_current_task/2 (db_analysis predicate)
- set_inc_persistent/1 (incanal_persistent_db predicate)
- set_last_error/3 (db_analysis predicate)
- set_loaded_mods/1 (incanal_db predicate)
- set_loaded_module/1 (incanal_persistent_db predicate)
- set_local_ana_modules/1 (intermod_db predicate)
- set_main_module/1 (intermod_db predicate)
- set_menu_flag/3 (auto_interface udreexp)
- set_modules_analyzed/1 (intermod_punit predicate)
- set_pp_flag/2 (ciaopp predicate)
- set_punit_modules/1 (intermod_db predicate)
- sets (in aeq)
- (in def)
- (in deftypes)
- (in depthk)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in gr)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in nonrel_intervals)
- (in pd)
- (in pdb)
- (in polyhedra)
- (in ptypes)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharefree_clique_def)
- (in sharefree_non_var)
- (in shareson)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sharing_clique_1)
- (in sharing_clique_def)
- (in shfret)
- (in shfrlin_amgu)
- (in shfrson)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- (in intermod_schedule)
- (in tarjan_inc)
- (in fixpo_dd)
- (in fixpo_plai)
- setup_scheduling/4 (intermod_schedule predicate)
- sh_free_vars_compatible/2 (sharefree predicate)
- share_amgu_aux (in sharing_amgu)
- share_amgu_sets (in sharefree_amgu)
- share_aux (in aeq)
- share_clique_1_aux (in sharing_clique)
- share_clique_aux (in sharefree_clique)
- share_clique_lub_cl/3 (sharing_clique predicate)
- share_make_reduction/5 (sharing_clique predicate)
- share_to_son/3 (sondergaard predicate)
- sharefree (sharefree library)
- sharefree_amgu (sharefree_amgu library)
- sharefree_amgu_aux (in sharefree_amgu)
- sharefree_clique (sharefree_clique library)
- sharefree_clique_aux (in sharefree_clique)
- sharefree_clique_def (sharefree_clique_def library)
- sharefree_delete_variables/3 (sharefree_amgu predicate)
- sharefree_non_var (sharefree_non_var library)
- shareson (shareson library)
- sharing (sharing library)
- sharing sets (in native_props_shfrg)
- sharing_amgu (sharing_amgu library)
- sharing_clique (sharing_clique library)
- sharing_clique_1 (sharing_clique_1 library)
- sharing_clique_def (sharing_clique_def library)
- sharing_part_less_or_equal/3 (sharing_clique predicate)
- sharing_possible/4 (sharing_clique predicate)
- shfret (shfret library)
- shfret_abs_sort/2 (shfret predicate)
- shfret_asub_to_native/5 (shfret predicate)
- shfret_call_to_entry/9 (shfret predicate)
- shfret_call_to_success_fact/9 (shfret predicate)
- shfret_combined_special_builtin0/2 (shfret predicate)
- shfret_compute_lub/2 (shfret predicate)
- shfret_eliminate_equivalent/2 (shfret predicate)
- shfret_empty_entry/3 (shfret predicate)
- shfret_exit_to_prime/7 (shfret predicate)
- shfret_extend/5 (shfret predicate)
- shfret_glb/3 (shfret predicate)
- shfret_identical_abstract/2 (shfret predicate)
- shfret_init_abstract_domain/1 (shfret predicate)
- shfret_input_interface/4 (shfret predicate)
- shfret_input_user_interface/5 (shfret predicate)
- shfret_less_or_equal/2 (shfret predicate)
- shfret_project/5 (shfret predicate)
- shfret_split_combined_domain/3 (shfret predicate)
- shfret_unknown_call/4 (shfret predicate)
- shfret_unknown_entry/3 (shfret predicate)
- shfret_widen/3 (shfret predicate)
- shfret_widencall/3 (shfret predicate)
- shfrlin_amgu (shfrlin_amgu library)
- shfrlin_amgu_aux (in shfrlin_amgu)
- shfrson (shfrson library)
- short (in rtchecks)
- shortening_el/3 (in termsd)
- show_analysis/0 (raw_printer predicate)
- show_change_list/0 (raw_printer predicate)
- show_config/1 (preprocess_flags predicate)
- show_configs/0 (preprocess_flags predicate)
- show_dump/1 (ciaopp udreexp)
- show_global_answer_table/1 (raw_printer predicate)
- show_menu_config/1 (auto_interface predicate)
- show_menu_configs/0 (auto_interface predicate)
- show_registry_info/0 (raw_printer predicate)
- show_spypoint_op_count/0 (trace_fixp predicate)
- show_trans_clauses/0 (raw_printer predicate)
- show_updated_memotable/3 (trace_fixp 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)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- (in basic_props)
- sideff_hard/1 (native_props_sideff property)
- sideff_pure/1 (native_props_sideff property)
- sideff_soft/1 (native_props_sideff property)
- signal/1 (native_props_exceptions property)
- signal/2 (native_props_exceptions property)
- size of terms (in ciaopp_ref_manintro)
- size/2 (native_props_cost property)
- size/3 (native_props_cost property)
- size/4 (native_props_cost property)
- size_lb/2 (native_props_cost property)
- size_metric (in native_props_cost)
- size_metric/3 (native_props_cost property)
- size_metric/4 (native_props_cost property)
- size_o/2 (native_props_cost property)
- size_term/1 (native_props_cost regular type)
- size_ub/2 (native_props_cost property)
- sizes of terms (in ciaopp_ref_man)
- slicing (in transform_driver)
- soft side-effects (in native_props_sideff)
- solutions/2 (native_props_cardinality property)
- son_to_share/4 (sondergaard predicate)
- sondergaard (sondergaard library)
- sort (in auto_interface)
- (in aeq)
- (in def)
- (in deftypes)
- (in depthk)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in gr)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in nonrel_intervals)
- (in pd)
- (in pdb)
- (in polyhedra)
- (in ptypes)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharefree_clique_def)
- (in sharefree_non_var)
- (in shareson)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sharing_clique_1)
- (in sharing_clique_def)
- (in shfret)
- (in shfrlin_amgu)
- (in shfrson)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in domains)
- (in incanal_driver)
- (in incanal_deletion)
- (in tarjan_inc)
- (in fixpo_dd)
- (in infer)
- (in fixpo_plai)
- sourcename/1 (in ciaopp)
- sp_clauses (in plai)
- spec (in transform_driver)
- spec(no_debug) (in fixpo_dd)
- spec(nomem_usage) (in intermod)
- spec_multiple (in transform_driver)
- special_builtin/5 (def predicate)
- special_builtin/6 (domains predicate)
- specifications (in ciaopp_ref_man)
- split_coupled/4 (sharefree predicate)
- split_f/4 (eterms predicate)
- sqrt/1 (in native_props_cost)
- src_changed/1 (intermod_db predicate)
- srcloc/4 (basic_props property)
- start_view/0 (view_fixp predicate)
- start_worker/1 (ciaopp_worker predicate)
- static debugging (in ciaopp_ref_man)
- static_abs_exec_table (in auto_interface)
- steps/2 (native_props_cost property)
- steps_lb/2 (native_props_cost property)
- steps_o/2 (native_props_cost property)
- steps_ub/2 (native_props_cost property)
- store_current_fixpoint_id/1 (incanal_db predicate)
- store_raw_success/6 (plai_db predicate)
- stream/1 (in raw_printer)
- stream_basic (in frontend_driver)
- stream_utils (in ciaopp_worker)
- streams (in aeq)
- string/1 (basic_props regular type)
- string_contained/2 (ciaopp_batch_aux predicate)
- stringcommand/1 (in assertions)
- struct/1 (basic_props regular type)
- sublist2/2 (preprocess_flags predicate)
- substitution/3 (termsd predicate)
- success assertion (in assertions)
- success/1 (assertions declaration)
- success/2 (assertions declaration)
- success_asr/6 (apply_assertions predicate)
- success_builtin/6 (def predicate)
- success_builtin/7 (domains predicate)
- sum(Index,LowerBound,UpperBound,Exp) (in native_props_cost)
- sum/4 (in native_props_cost)
- supported_language/1 (frontend_driver predicate)
- svterms (svterms library)
- svterms_abs_sort/2 (svterms predicate)
- svterms_asub_to_native/5 (svterms predicate)
- svterms_call_to_entry/9 (svterms predicate)
- svterms_call_to_success_builtin/6 (svterms predicate)
- svterms_call_to_success_fact/9 (svterms predicate)
- svterms_collect_auxinfo_asub/3 (svterms predicate)
- svterms_compute_lub/2 (svterms predicate)
- svterms_compute_lub_el/3 (svterms predicate)
- svterms_concrete/3 (svterms predicate)
- svterms_empty_entry/3 (svterms predicate)
- svterms_exit_to_prime/7 (svterms predicate)
- svterms_extend/5 (svterms predicate)
- svterms_glb/3 (svterms predicate)
- svterms_identical_abstract/2 (svterms predicate)
- svterms_init_abstract_domain/1 (svterms predicate)
- svterms_input_interface/4 (svterms predicate)
- svterms_input_user_interface/5 (svterms predicate)
- svterms_less_or_equal/2 (svterms predicate)
- svterms_needs/1 (svterms predicate)
- svterms_output_interface/2 (svterms predicate)
- svterms_project/5 (svterms predicate)
- svterms_rename_auxinfo_asub/3 (svterms predicate)
- svterms_special_builtin/5 (svterms predicate)
- svterms_success_builtin/6 (svterms predicate)
- svterms_unknown_call/4 (svterms predicate)
- svterms_unknown_entry/3 (svterms predicate)
- svterms_widen/3 (svterms predicate)
- svterms_widencall/3 (svterms predicate)
- switch/1 (in p_unit)
- system (in auto_interface)
- system_extra (in intermod)
T
- The Ciao Development Team (part_usage author)
- Trust (Trust library)
- take_coupled/3 (sharefree predicate)
- tarjan (in intermod_punit)
- tarjan_data/1 (tarjan_inc predicate)
- tarjan_inc (tarjan_inc library)
- task_status/1 (ciaopp_worker regular type)
- task_status/5 (db_analysis predicate)
- tasks_db (tasks_db library)
- td_add_clauses/2 (incanal_driver predicate)
- td_delete_clauses/2 (incanal_driver predicate)
- td_mark_parents_change_list/2 (fixpo_dd predicate)
- td_rec_delete_complete/3 (incanal_driver predicate)
- term/1 (basic_props regular type)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in basic_props)
- (in basic_props)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in native_props_cost)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in intermod_db)
- (in intermod_punit)
- (in intermod_punit)
- (in incanal_db)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in program_keys)
- (in infer)
- (in plai_db)
- (in plai_db)
- (in plai_db)
- (in db_analysis)
- (in db_analysis)
- term_basic (in auto_interface)
- (in ciaopp)
- (in aeq)
- (in def)
- (in deftypes)
- (in depthk)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in gr)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in nonrel_intervals)
- (in pd)
- (in pdb)
- (in polyhedra)
- (in ptypes)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharefree_clique_def)
- (in sharefree_non_var)
- (in shareson)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sharing_clique_1)
- (in sharing_clique_def)
- (in shfret)
- (in shfrlin_amgu)
- (in shfrson)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in assertions)
- (in assertions_props)
- (in regtypes)
- (in basic_props)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_cardinality)
- (in native_props_exceptions)
- (in native_props_sideff)
- (in native_props_polyhedral)
- (in native_props_cost)
- (in rtchecks)
- (in apply_assertions)
- (in domains)
- (in frontend_driver)
- (in raw_printer)
- (in analyze_driver)
- (in transform_driver)
- (in intermod)
- (in intermod_db)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_entry)
- (in intermod_success)
- (in preprocess_flags)
- (in incanal)
- (in incanal_driver)
- (in incanal_deletion)
- (in incanal_db)
- (in incanal_persistent_db)
- (in tarjan_inc)
- (in diff)
- (in fixpo_dd)
- (in p_unit)
- (in native)
- (in program_keys)
- (in tr_syntax)
- (in infer)
- (in plai)
- (in fixpo_plai)
- (in plai_db)
- (in trace_fixp)
- (in view_fixp)
- (in ciaopp_batch)
- (in ciaopp_worker)
- (in ciaopp_batch_aux)
- (in db_analysis)
- (in tasks_db)
- term_compare (in auto_interface)
- (in ciaopp)
- (in aeq)
- (in def)
- (in deftypes)
- (in depthk)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in gr)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in nonrel_intervals)
- (in pd)
- (in pdb)
- (in polyhedra)
- (in ptypes)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharefree_clique_def)
- (in sharefree_non_var)
- (in shareson)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sharing_clique_1)
- (in sharing_clique_def)
- (in shfret)
- (in shfrlin_amgu)
- (in shfrson)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in assertions)
- (in assertions_props)
- (in regtypes)
- (in basic_props)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_cardinality)
- (in native_props_exceptions)
- (in native_props_sideff)
- (in native_props_polyhedral)
- (in native_props_cost)
- (in rtchecks)
- (in apply_assertions)
- (in domains)
- (in frontend_driver)
- (in raw_printer)
- (in analyze_driver)
- (in transform_driver)
- (in intermod)
- (in intermod_db)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_entry)
- (in intermod_success)
- (in preprocess_flags)
- (in incanal)
- (in incanal_driver)
- (in incanal_deletion)
- (in incanal_db)
- (in incanal_persistent_db)
- (in tarjan_inc)
- (in diff)
- (in fixpo_dd)
- (in p_unit)
- (in native)
- (in program_keys)
- (in tr_syntax)
- (in infer)
- (in plai)
- (in fixpo_plai)
- (in plai_db)
- (in trace_fixp)
- (in view_fixp)
- (in ciaopp_batch)
- (in ciaopp_worker)
- (in ciaopp_batch_aux)
- (in db_analysis)
- (in tasks_db)
- term_typing (in auto_interface)
- (in ciaopp)
- (in aeq)
- (in def)
- (in deftypes)
- (in depthk)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in fr_top)
- (in gr)
- (in lsign)
- (in lsigndiff)
- (in detplai)
- (in nfplai)
- (in nonrel_intervals)
- (in pd)
- (in pdb)
- (in polyhedra)
- (in ptypes)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharefree_clique_def)
- (in sharefree_non_var)
- (in shareson)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sharing_clique_1)
- (in sharing_clique_def)
- (in shfret)
- (in shfrlin_amgu)
- (in shfrson)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in assertions)
- (in assertions_props)
- (in regtypes)
- (in basic_props)
- (in basic_props)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_cardinality)
- (in native_props_exceptions)
- (in native_props_sideff)
- (in native_props_polyhedral)
- (in native_props_cost)
- (in rtchecks)
- (in apply_assertions)
- (in domains)
- (in frontend_driver)
- (in raw_printer)
- (in analyze_driver)
- (in transform_driver)
- (in intermod)
- (in intermod_db)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_entry)
- (in intermod_success)
- (in preprocess_flags)
- (in incanal)
- (in incanal_driver)
- (in incanal_deletion)
- (in incanal_db)
- (in incanal_persistent_db)
- (in tarjan_inc)
- (in diff)
- (in fixpo_dd)
- (in p_unit)
- (in native)
- (in program_keys)
- (in tr_syntax)
- (in infer)
- (in plai)
- (in fixpo_plai)
- (in plai_db)
- (in trace_fixp)
- (in view_fixp)
- (in ciaopp_batch)
- (in ciaopp_worker)
- (in ciaopp_batch_aux)
- (in db_analysis)
- (in tasks_db)
- terminates/1 (native_props_cost property)
- terms (in frontend_driver)
- terms_abs_sort/2 (termsd predicate)
- terms_asub_to_native/5 (termsd predicate)
- terms_call_to_entry/9 (termsd predicate)
- terms_call_to_success_builtin/6 (termsd predicate)
- terms_call_to_success_fact/9 (termsd predicate)
- terms_check (in aeq)
- (in def)
- (in deftypes)
- (in depthk)
- (in eterms)
- (in etermsvar)
- (in gr)
- (in lsign)
- (in nonrel_intervals)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharefree_non_var)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sharing_clique_1)
- (in shfrlin_amgu)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in basic_props)
- (in domains)
- (in intermod_success)
- (in p_unit)
- (in infer)
- terms_collect_auxinfo_asub/3 (termsd predicate)
- terms_compute_lub/2 (termsd predicate)
- terms_compute_lub_el/3 (termsd predicate)
- terms_concrete/3 (termsd predicate)
- terms_empty_entry/3 (termsd predicate)
- terms_exit_to_prime/7 (termsd predicate)
- terms_extend/5 (termsd predicate)
- terms_glb/3 (termsd predicate)
- terms_identical_abstract/2 (termsd predicate)
- terms_init_abstract_domain/1 (termsd predicate)
- terms_input_interface/4 (termsd predicate)
- terms_input_user_interface/5 (termsd predicate)
- terms_internal_to_native/3 (termsd predicate)
- terms_io (in db_analysis)
- terms_less_or_equal/2 (termsd predicate)
- terms_needs/1 (termsd predicate)
- terms_output_interface/2 (termsd predicate)
- terms_project/5 (termsd predicate)
- terms_rename_auxinfo_asub/3 (termsd predicate)
- terms_special_builtin/5 (termsd predicate)
- terms_success_builtin/6 (termsd predicate)
- terms_unknown_call/4 (termsd predicate)
- terms_unknown_entry/3 (termsd predicate)
- terms_vars (in aeq)
- (in def)
- (in depthk)
- (in eterms)
- (in etermsvar)
- (in fd)
- (in gr)
- (in lsign)
- (in nonrel_intervals)
- (in polyhedra)
- (in sharefree)
- (in sharefree_amgu)
- (in sharefree_clique)
- (in sharefree_non_var)
- (in shareson)
- (in sharing)
- (in sharing_amgu)
- (in sharing_clique)
- (in sharing_clique_1)
- (in shfrlin_amgu)
- (in shfrson)
- (in sondergaard)
- (in svterms)
- (in termsd)
- (in top_path_sharing)
- (in apply_assertions)
- (in domains)
- (in intermod_entry)
- (in intermod_success)
- (in incanal_driver)
- (in fixpo_dd)
- (in infer)
- (in plai)
- (in fixpo_plai)
- (in trace_fixp)
- terms_widen/3 (termsd predicate)
- terms_widencall/3 (termsd predicate)
- termsd (termsd library)
- termsd_asub/1 (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- termsd_extrainfo(ExtraInfo) (in termsd)
- termsd_extrainfo/1 (in termsd)
- test assertion (in assertions)
- test/1 (assertions declaration)
- test/2 (assertions declaration)
- test_type/2 (in basic_props)
- texec assertion (in assertions)
- texec/1 (assertions declaration)
- texec/2 (assertions declaration)
- top_level_of_files/2 (incanal_persistent_db predicate)
- top_path_sharing (top_path_sharing library)
- topdown_analysis/3 (plai predicate)
- tr_syntax (tr_syntax library)
- trace_end/0 (trace_fixp predicate)
- trace_fixp (trace_fixp library)
- trace_fixp/1 (analyze_driver predicate)
- trace_init/0 (trace_fixp predicate)
- trace_option(X) (in analyze_driver)
- trace_option/1 (trace_fixp regular type)
- trace_reset/0 (trace_fixp predicate)
- trans_clause/3 (in raw_printer)
- transform (in raw_printer)
- transform/1 (ciaopp predicate)
- transform/2 (transform_driver predicate)
- transform_clauses_/5 (plai predicate)
- transform_driver (transform_driver library)
- transformation/1 (ciaopp property)
- transformation/4 (transform_driver predicate)
- translate_input_file/5 (frontend_driver predicate)
- traverse_clauses/5 (tr_syntax predicate)
- true assertion (in assertions)
- true/1 (assertions predicate)
- true/2 (auto_interface udreexp)
- true1/1 (auto_interface udreexp)
- trust (in Plai0)
- trust assertion (in assertions)
- trust assertions (in debugging_in_ciaopp)
- trust/1 (assertions predicate)
- type2measure/3 (infer predicate)
- type_fails/3 (infer predicate)
- type_holds/3 (infer predicate)
- type_of_directive/2 (p_unit predicate)
- type_of_goal/2 (p_unit udreexp)
- typeanalysis/1 (preprocess_flags predicate)
- types (in ciaopp_ref_man)
- typeslib (in ciaopp)
- typeslib_flag/1 (ciaopp predicate)
- typeslib_interesting_type/2 (ciaopp predicate)
- typeslib_is_user_type/1 (ciaopp predicate)
U
- undef_call_to_success_builtin/2 (domains predicate)
- unexpand (in frontend_driver)
- unfold_builtins (in eterms)
- unfold_non_rec (in transform_driver)
- unfold_times (in intermod)
- unify_term_and_type_term/5 (termsd predicate)
- unifytoterm/1 (eterms predicate)
- unknown_call/4 (def predicate)
- unknown_call/5 (domains predicate)
- unknown_entry/3 (def predicate)
- unknown_entry/4 (domains predicate)
- unset_src_changed/1 (intermod_db predicate)
- update_complete_id/4 (plai_db predicate)
- update_inc_clkey/1 (incanal_db predicate)
- update_lambda_non_free/5 (sharefree predicate)
- update_lambda_sf/5 (sharefree predicate)
- update_names/2 (eterms predicate)
- update_task_status/0 (db_analysis predicate)
- update_tasks_analysis_status/0 (ciaopp_batch udreexp)
- usage (in assertions)
- use_check_as_trust (in apply_assertions)
- useful modes (in assertions_props)
- user (in intermod_punit)
V
- VB02 (cite)
- VHCL95 (cite)
- valid_flag_value/2 (ciaopp property)
- valid_flag_values/2 (preprocess_flags predicate)
- valid_mod_analysis/1 (intermod property)
- values_differ/3 (sharefree predicate)
- values_equal/3 (sharefree predicate)
- var/1 (in auto_interface)
- (in ciaopp)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in eterms)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in etermsvar)
- (in nfplai)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in nonrel_intervals)
- (in sharefree)
- (in sharing)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in termsd)
- (in assertions_props)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in apply_assertions)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in domains)
- (in frontend_driver)
- (in frontend_driver)
- (in frontend_driver)
- (in analyze_driver)
- (in analyze_driver)
- (in analyze_driver)
- (in analyze_driver)
- (in transform_driver)
- (in transform_driver)
- (in intermod_schedule)
- (in intermod_schedule)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_punit)
- (in intermod_entry)
- (in intermod_entry)
- (in intermod_success)
- (in intermod_success)
- (in intermod_success)
- (in intermod_success)
- (in preprocess_flags)
- (in incanal_deletion)
- (in incanal_deletion)
- (in incanal_deletion)
- (in incanal_deletion)
- (in incanal_db)
- (in incanal_db)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in fixpo_dd)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in p_unit)
- (in program_keys)
- (in program_keys)
- (in program_keys)
- (in program_keys)
- (in program_keys)
- (in program_keys)
- (in program_keys)
- (in program_keys)
- (in tr_syntax)
- (in tr_syntax)
- (in infer)
- (in infer)
- (in fixpo_plai)
- (in plai_db)
- (in ciaopp_batch_aux)
- (in db_analysis)
- variable instantiation (in ciaopp_ref_man)
- variable names (in assertions)
- variables_are_top_type/2 (eterms predicate)
- variables_are_variable_type/2 (termsd predicate)
- varnamedict/1 (in p_unit)
- vartypes (in analyze_driver)
- vertexes/1 (tarjan_inc predicate)
- view_fixp (view_fixp library)
- view_fixpoint/7 (view_fixp predicate)
- vlist/1 (native regular type)
- vndict (in intermod_entry)
W
Y
Generated with LPdoc using Ciao