☰

sized_types (library)

Sized types analysis. In order to run this analysis, it is necessary to run etermsvar and det analysis beforehand, and the vers transformation.

Usage and interface

Documentation on exports

PREDICATEsized_types_init_abstract_domain/1
No further documentation available for this predicate.

PREDICATEsized_types_call_to_entry/9
No further documentation available for this predicate.

PREDICATEsized_types_exit_to_prime/7
No further documentation available for this predicate.

PREDICATEsized_types_project/5
No further documentation available for this predicate.

PREDICATEsized_types_extend/5
No further documentation available for this predicate.

PREDICATEsized_types_widen/3
No further documentation available for this predicate.

PREDICATEsized_types_compute_lub/2
No further documentation available for this predicate.

PREDICATEsized_types_compute_clauses_lub/3
No further documentation available for this predicate.

PREDICATEsized_types_glb/3
No further documentation available for this predicate.

PREDICATEsized_types_eliminate_equivalent/2
No further documentation available for this predicate.

PREDICATEsized_types_less_or_equal/2
No further documentation available for this predicate.

PREDICATEsized_types_identical_abstract/2
No further documentation available for this predicate.

PREDICATEsized_types_abs_sort/2
No further documentation available for this predicate.

PREDICATEsized_types_call_to_success_fact/9
No further documentation available for this predicate.

PREDICATEsized_types_split_combined_domain/3
No further documentation available for this predicate.

PREDICATEsized_types_special_builtin/5
No further documentation available for this predicate.

PREDICATEsized_types_combined_special_builtin0/2
No further documentation available for this predicate.

PREDICATEsized_types_call_to_success_builtin/6
No further documentation available for this predicate.

PREDICATEsized_types_obtain_info/4
No further documentation available for this predicate.

PREDICATEsized_types_input_interface/4
No further documentation available for this predicate.

PREDICATEsized_types_input_user_interface/5
No further documentation available for this predicate.

PREDICATEsized_types_asub_to_native/5
No further documentation available for this predicate.

PREDICATEsized_types_unknown_call/4
No further documentation available for this predicate.

PREDICATEsized_types_unknown_entry/3
No further documentation available for this predicate.

PREDICATEsized_types_empty_entry/3
No further documentation available for this predicate.

PREDICATEsized_types_collect_auxinfo_asub/3
No further documentation available for this predicate.

PREDICATEsized_types_rename_auxinfo_asub/3
No further documentation available for this predicate.

PREDICATEload_resources_modules/0

Usage:

Loads dinamically all the resource modules specified in the module being analyzed, using the directive load_resource_module

    PREDICATEinit_abstract_domain/0
    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.

    PREDICATEissue_debug_messages/1
    No further documentation available for this predicate. The predicate is multifile.
    The predicate is of type data.

    Generated with LPdoc using Ciao