☰

CLIQUE-Sharing domain

Author(s): Jorge Navas.

Usage and interface

Documentation on exports

PREDICATEcall_to_entry/9
No further documentation available for this predicate.

PREDICATEexit_to_prime/7
No further documentation available for this predicate.

PREDICATEamgu/4
No further documentation available for this predicate.

PREDICATEextend/5
No further documentation available for this predicate.

PREDICATEasub_gt/2
No further documentation available for this predicate.

PREDICATEprune_success/5
No further documentation available for this predicate.

PREDICATEsharing_possible/4
No further documentation available for this predicate.

PREDICATEpowerset_with_empty_set/2
No further documentation available for this predicate.

PREDICATEaugment_asub/3
No further documentation available for this predicate.

PREDICATEproject/5
No further documentation available for this predicate.

PREDICATEabs_sort/2
No further documentation available for this predicate.

PREDICATEidentical_abstract/2
No further documentation available for this predicate.

PREDICATEeliminate_equivalent/2
No further documentation available for this predicate.

PREDICATEless_or_equal/2
No further documentation available for this predicate.

PREDICATEclique_part_less_or_equal/2
No further documentation available for this predicate.

PREDICATEsharing_part_less_or_equal/3
No further documentation available for this predicate.

PREDICATEcall_to_success_fact/9
No further documentation available for this predicate.

PREDICATEcall_to_prime_fact/6
No further documentation available for this predicate.

PREDICATEcompute_lub/2
No further documentation available for this predicate.

PREDICATEshare_clique_lub_cl/3
No further documentation available for this predicate.

PREDICATEglb/3
No further documentation available for this predicate.

PREDICATEinput_user_interface/5
No further documentation available for this predicate.

PREDICATEinput_interface/4
No further documentation available for this predicate.

PREDICATEmay_be_var/2
No further documentation available for this predicate.

PREDICATEmyappend/3
No further documentation available for this predicate.

PREDICATEasub_to_native/5
No further documentation available for this predicate.

PREDICATEunknown_call/4
No further documentation available for this predicate.

PREDICATEempty_entry/3
No further documentation available for this predicate.

PREDICATEunknown_entry/3
No further documentation available for this predicate.

PREDICATEwiden/4
No further documentation available for this predicate.

PREDICATEwiden/5
No further documentation available for this predicate.

PREDICATEspecial_builtin/5
No further documentation available for this predicate.

PREDICATEsuccess_builtin/6
No further documentation available for this predicate.

PREDICATEcall_to_success_builtin/6
No further documentation available for this predicate.

PREDICATEclique_make_decomposition/5
No further documentation available for this predicate.

PREDICATEeliminate_couples_clique/4
No further documentation available for this predicate.

PREDICATEshare_make_reduction/5
No further documentation available for this predicate.

PREDICATEprojected_gvars_clique/3
No further documentation available for this predicate.

PREDICATEcompute_upper_amgu/2
No further documentation available for this predicate.

Documentation on multifiles

PREDICATEaidomain/1
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.init_abstract_domain/2
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.amgu/5
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.augment_asub/4
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.augment_two_asub/4
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.call_to_entry/10
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.exit_to_prime/8
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.project/6
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.widencall/4
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.needs/2
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.widen/4
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.compute_lub/3
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.compute_clauses_lub/4
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.compute_clauses_glb/4
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.fixpoint_covered/3
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.fixpoint_covered_gfp/3
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.identical_abstract/3
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.abs_sort/3
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.extend/6
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.less_or_equal/3
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.glb/4
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.eliminate_equivalent/3
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.abs_subset/3
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.call_to_success_fact/10
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.special_builtin/6
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.combined_special_builtin0/3
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.body_succ_builtin/9
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.split_combined_domain/4
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.success_builtin/7
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.call_to_success_builtin/7
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.obtain_info/5
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.input_interface/5
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.input_user_interface/6
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.asub_to_native/6
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.concrete/4
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.unknown_call/5
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.unknown_entry/4
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.empty_entry/4
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.part_conc/5
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.multi_part_conc/4
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.collect_auxinfo_asub/4
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.rename_auxinfo_asub/4
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.dom_statistics/2
No further documentation available for this predicate. The predicate is multifile.

PREDICATEaidom.contains_parameters/2
No further documentation available for this predicate. The predicate is multifile.

Generated with LPdoc using Ciao