☰

nf: non-failure (abstract domain)

Usage and interface

Documentation on exports

PREDICATEnf_init_abstract_domain/1
No further documentation available for this predicate.

PREDICATEnf_call_to_entry/9
No further documentation available for this predicate.

PREDICATEnf_exit_to_prime/7
No further documentation available for this predicate.

PREDICATEnf_project/5
No further documentation available for this predicate.

PREDICATEnf_extend/5
No further documentation available for this predicate.

PREDICATEnf_widen/3
No further documentation available for this predicate.

PREDICATEnf_widencall/3
No further documentation available for this predicate.

PREDICATEnf_compute_lub/2
No further documentation available for this predicate.

PREDICATEnf_compute_clauses_lub/3

Usage:nf_compute_clauses_lub(ASubL,Proj,LubL)

Performs the covering check that decides if the predicate test encoded in ASubL covers the types/modes represented in Proj. The predicate test is a conjunction of clause tests (corresponding to those clauses that do not fail so far). The modes/types, taken from Proj, corresponds to the parent goal, i.e., the one that unifies with the heads the clauses whose tests are represented in ASubL. The covering and nonfailure information derived from the covering check is represented in LubL

PREDICATEnf_glb/3
No further documentation available for this predicate.

PREDICATEnf_eliminate_equivalent/2
No further documentation available for this predicate.

PREDICATEnf_less_or_equal/2
No further documentation available for this predicate.

PREDICATEnf_identical_abstract/2
No further documentation available for this predicate.

PREDICATEnf_abs_sort/2
No further documentation available for this predicate.

PREDICATEnf_call_to_success_fact/9
No further documentation available for this predicate.

PREDICATEnf_split_combined_domain/3
No further documentation available for this predicate.

PREDICATEnf_special_builtin/5
No further documentation available for this predicate.

PREDICATEnf_combined_special_builtin0/2
No further documentation available for this predicate.

PREDICATEnf_success_builtin/6
No further documentation available for this predicate.

PREDICATEnf_input_interface/4
No further documentation available for this predicate.

PREDICATEnf_input_user_interface/5
No further documentation available for this predicate.

PREDICATEnf_asub_to_native/5
No further documentation available for this predicate.

PREDICATEnf_unknown_call/4
No further documentation available for this predicate.

PREDICATEnf_unknown_entry/3
No further documentation available for this predicate.

PREDICATEnf_empty_entry/3
No further documentation available for this predicate.

PREDICATEnf_dom_statistics/1
No further documentation available for this predicate.

PREDICATEnf_obtain_info/4
No further documentation available for this predicate.

REGTYPEnf_par_asub/2
nf_par_asub(NfTyp,ASub)

ASub is an abstract substitution term used in the combined domain nf. It contains types, modes and nonfailure information of type NfTyp.

Usage:nf_par_asub(NfTyp,ASub)

ASub is an abstract substitution term used in the combined domain nf. It contains types, modes and nonfailure information of type NfTyp.

    Meta-predicate with arguments: nf_par_asub(pred(1),?).

    REGTYPEnf_asub/1
    nf_asub(ASub)

    ASub is an abstract substitution term used in the combined domain nf. It contains types, modes and nonfailure information.

    Usage:nf_asub(ASub)

    ASub is an abstract substitution term used in the combined domain nf. It contains types, modes and nonfailure information.

      REGTYPEnf_pred_asub/1

      Usage:nf_pred_asub(ASub)

      ASub is a compact representation for a set of abstract substitutions used in the combined domain nf. Each of the substitutions in that set has the same modes and types. However, the nonfailure information gathers together the clause tests of those abstract substitutions as a list, meaning the disjunction of all of them (named a predicate test, which is needed for performing the covering check).

        REGTYPEnf_pred_asub_sl/1
        A regular type, defined as follows:
        nf_pred_asub_sl([Asub]) :-
    nf_pred_asub(Asub).

        PREDICATEasub/4
        No further documentation available for this predicate.

        PREDICATEnf_collect_auxinfo_asub/3
        No further documentation available for this predicate.

        PREDICATEnf_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