- The CiaoPP Program Processor »
- PART I - Using CiaoPP »
- Available abstract domains »
- CLIQUE-sharing+freeness+definiteness (abstract domain)
ON THIS PAGE
CLIQUE-sharing+freeness+definiteness (abstract domain)
Author(s): Jorge Navas.
Stability: [devel] Currently the subject of active
development and/or research. Functionality may be limited and API
and/or functionality may change without warning or deprecation period. Not recommended yet for use in production.
This file contains the domain dependent abstract functions for the clique-sharing+Freeness domain combined with the definiteness abstract domain.
The meaning of the variables is defined in sharefree_clique.pl and def.pl.
This domain is represented by a pair (SHF,D) where SHF is the original clique-sharing+freeness domain and D is the definiteness domain. The combination of the clique-sharing+freeness domain with Def is the simplest possible. For any operation of the analysis, abstract amgu in particular, the def component is evaluated first. All sharing groups containing at least one variable that is definitely ground according to the resulting def formula are removed from the sharing component. For the clique groups the intersection between the clique groups and those ground variables are removed.
Usage and interface
- Library usage:
:- use_module(domain(sharefree_clique_def)).
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, s_grshfr, share_clique_aux, share_aux, sharefree_clique, def. - System library modules:
sets, sort, messages. - 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.