☰

det: determinancy (abstract domain)

Usage and interface

Documentation on exports

PREDICATEdet_init_abstract_domain/1
No further documentation available for this predicate.

PREDICATEdet_call_to_entry/9
No further documentation available for this predicate.

PREDICATEdet_exit_to_prime/7
No further documentation available for this predicate.

PREDICATEdet_project/5
No further documentation available for this predicate.

PREDICATEdet_extend/5
No further documentation available for this predicate.

PREDICATEdet_widen/3
No further documentation available for this predicate.

PREDICATEdet_widencall/3
No further documentation available for this predicate.

PREDICATEdet_compute_lub/2
No further documentation available for this predicate.

PREDICATEdet_compute_clauses_lub/3
No further documentation available for this predicate.

PREDICATEdet_glb/3
No further documentation available for this predicate.

PREDICATEdet_eliminate_equivalent/2
No further documentation available for this predicate.

PREDICATEdet_less_or_equal/2
No further documentation available for this predicate.

PREDICATEdet_identical_abstract/2
No further documentation available for this predicate.

PREDICATEdet_abs_sort/2
No further documentation available for this predicate.

PREDICATEdet_call_to_success_fact/9
No further documentation available for this predicate.

PREDICATEdet_split_combined_domain/3
No further documentation available for this predicate.

PREDICATEdet_special_builtin/5
No further documentation available for this predicate.

PREDICATEdet_combined_special_builtin0/2
No further documentation available for this predicate.

PREDICATEdet_success_builtin/6
No further documentation available for this predicate.

PREDICATEdet_input_interface/4
No further documentation available for this predicate.

PREDICATEdet_input_user_interface/5
No further documentation available for this predicate.

PREDICATEdet_asub_to_native/5
No further documentation available for this predicate.

PREDICATEdet_unknown_call/4
No further documentation available for this predicate.

PREDICATEdet_unknown_entry/3
No further documentation available for this predicate.

PREDICATEdet_empty_entry/3
No further documentation available for this predicate.

PREDICATEdet_dom_statistics/1
No further documentation available for this predicate.

PREDICATEdet_obtain_info/4
No further documentation available for this predicate.

REGTYPEdet_asub/1
det_asub(ASub)

ASub is an abstract substitution term used in det. It contains types, modes and determinism information.

Usage:det_asub(ASub)

ASub is an abstract substitution term used in det.

    PREDICATEasub/4
    No further documentation available for this predicate.

    PREDICATEdet_collect_auxinfo_asub/3
    No further documentation available for this predicate.

    PREDICATEdet_rename_auxinfo_asub/3
    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.

    Documentation on imports

    This module has the following direct dependencies:
    Generated with LPdoc using Ciao