- The CiaoPP Program Processor »
- PART I - Using CiaoPP »
- Available abstract domains »
- shfrnv: sharing+freeness+nonvar (abstract domain)
ON THIS PAGE
shfrnv: sharing+freeness+nonvar (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
- _sh : suffix indicating the sharing component.
- _fr : suffix indicating the freeness component.
- Sh and Fr: for simplicity, they will represent ASub_sh and ASub_fr respectively.
- BPrime : similar to the abstract prime constraint: abstract subtitution obtained after the analysis of the clause being considered still projected onto Hv (i.e. just before going Sv and thus, to Prime).
- Binds : List of primitive bindings corresponding to the unification of Term1 = Term2.
- Gv : set of ground variables (can be added as a prefix of a set of variables, e.g. GvHv means the set of ground variables of the head variables).
- Tv : set of variables in a term
- _args : Added as a prefix of a term, means the set of variables s.t. the i-th set contains the set of variables (ordered) in the i-th argument of the Term.
- Star : a closure under union of a set of sets (can be added as a suffix of a set of sets).
- ShareArgs : Set of sets of numbers in which each set represents the possible set sharing among the argument positions indicated by the numbers
Usage and interface
- Library usage:
:- use_module(domain(sharefree_non_var)).
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:- Application modules:
preprocess_flags, domains, sharefree, sharing, s_grshfr, s_eqs, share_aux, plai_errors. - System library modules:
sets, sort, terms_vars, lists, lsets, terms_check. - Internal (engine) modules:
term_basic, arithmetic, atomic_basic, basiccontrol, exceptions, term_compare, term_typing, debugger_support, basic_props, hiord_rt. - Packages:
prelude, initial, condcomp, assertions, assertions/assertions_basic, modes_extra, modes, aidomain.