☰

shareson: sharing+sondergaard (abstract domain)

Author(s): Maria Garcia de la Banda.

Stability: [beta] Most of the functionality is there but it is still missing some testing and/or verification.


Meaning of the Program Variables

  • _son : Suffix added to abstract subsitutions (Prime,Exit,Proj,...) for the part corresponding to sondergaard domain.
  • _sh : Suffix added to abstract subsitutions (Prime,Exit,Proj,...) for the part corresponding to sharing domain.
  • GSon : First argument in substitutions of sondergaard domain (set of ground variables).
  • SSon : Second argument in substitutions of sondergaard domain (set for singletons and couples of variables).
  • Sh : sharing domain (second component of the combination).
Rest are as in domain_dependent.pl.

All abstract functions for the combined domain shareson first compute the results for the corresponding to the share and son functions and then compose the information of both, eliminating redundancies. See compose function.


Usage and interface

  • Library usage:
    :- use_module(domain(shareson)).

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