☰

amgu-based sharing+freeness (abstract domain)

Author(s): Jorge Navas.

Stability: [prod] Apt for production use (but please report any bugs).


This file implements the same domain-dependent abstract functions than sharefree.pl but the functions call_to_entry and exit_to_prime are defined based on amgu.

The meaning of the variables is defined in sharefree.pl.

Documentation on exports

PREDICATEcall_to_entry/9

Usage:call_to_entry(Sv,Sg,Hv,Head,K,Fv,Proj,Entry,ExtraInfo)

  • The following properties should hold at call time:
    (nonvar/1)Sv is currently a term which is not a free variable.
    (nonvar/1)Sg is currently a term which is not a free variable.
    (nonvar/1)Hv is currently a term which is not a free variable.
    (nonvar/1)Head is currently a term which is not a free variable.
    (nonvar/1)K is currently a term which is not a free variable.
    (nonvar/1)Fv is currently a term which is not a free variable.
    (nonvar/1)Proj is currently a term which is not a free variable.
  • The following properties should hold upon exit:
    (nonvar/1)Entry is currently a term which is not a free variable.

PREDICATEexit_to_prime/7

Usage:exit_to_prime(Sg,Hv,Head,Sv,Exit,ExtraInfo,Prime)

  • The following properties should hold at call time:
    (nonvar/1)Sg is currently a term which is not a free variable.
    (nonvar/1)Hv is currently a term which is not a free variable.
    (nonvar/1)Head is currently a term which is not a free variable.
    (nonvar/1)Sv is currently a term which is not a free variable.
    (nonvar/1)Exit is currently a term which is not a free variable.
    (nonvar/1)ExtraInfo is currently a term which is not a free variable.
  • The following properties should hold upon exit:
    (nonvar/1)Prime is currently a term which is not a free variable.

PREDICATEamgu/4

Usage:amgu(Sg,Head,ASub,AMGU)

AMGU is the abstract unification between Sg and Head.

  • The following properties should hold at call time:
    (nonvar/1)Sg is currently a term which is not a free variable.
    (nonvar/1)Head is currently a term which is not a free variable.
    (nonvar/1)ASub is currently a term which is not a free variable.
  • The following properties should hold upon exit:
    (nonvar/1)AMGU is currently a term which is not a free variable.

PREDICATEaugment_asub/3

Usage:

  • The following properties should hold at call time:
    (nonvar/1)Arg1 is currently a term which is not a free variable.
    (nonvar/1)Arg2 is currently a term which is not a free variable.
  • The following properties should hold upon exit:
    (nonvar/1)Arg3 is currently a term which is not a free variable.

PREDICATEaugment_asub0/3
No further documentation available for this predicate.

PREDICATEcall_to_success_fact/9

Usage:

Specialized version of call_to_entry + exit_to_prime + extend for facts

    PREDICATEsharefree_delete_variables/3
    No further documentation available for this predicate.

    PREDICATEcall_to_prime_fact/6
    No further documentation available for this predicate.

    PREDICATEspecial_builtin/5

    Usage:special_builtin(SgKey,Sg,Subgoal,Type,Condvars)

    • The following properties should hold at call time:
      (nonvar/1)SgKey is currently a term which is not a free variable.
      (nonvar/1)Sg is currently a term which is not a free variable.
      (nonvar/1)Subgoal is currently a term which is not a free variable.
      (var/1)Condvars is a free variable.
    • The following properties should hold upon exit:
      (nonvar/1)Type is currently a term which is not a free variable.

    PREDICATEsuccess_builtin/6

    Usage:success_builtin(Type,Sv_u,Condv,HvFv_u,Call,Succ)

    • The following properties should hold at call time:
      (nonvar/1)Type is currently a term which is not a free variable.
      (nonvar/1)Sv_u is currently a term which is not a free variable.
      (nonvar/1)HvFv_u is currently a term which is not a free variable.
      (nonvar/1)Call is currently a term which is not a free variable.
    • The following properties should hold upon exit:
      (nonvar/1)Succ is currently a term which is not a free variable.

    PREDICATEcall_to_success_builtin/6

    Usage:call_to_success_builtin(SgKey,Sg,Sv,Call,Proj,Succ)

    Handles those builtins for which computing Prime is easier than Succ

    • The following properties should hold at call time:
      (nonvar/1)SgKey is currently a term which is not a free variable.
      (nonvar/1)Sg is currently a term which is not a free variable.
      (nonvar/1)Sv is currently a term which is not a free variable.
      (nonvar/1)Call is currently a term which is not a free variable.
      (nonvar/1)Proj is currently a term which is not a free variable.
    • The following properties should hold upon exit:
      (nonvar/1)Succ is currently a term which is not a free variable.

    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