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