- The CiaoPP Program Processor »
- PART I - Using CiaoPP »
- Available abstract domains »
- PD domain with bottom
ON THIS PAGE
PD domain with bottom
This abstract domain is the domain with only two values, top and bottom. This simple improvement over the pd domain provides improvements, both in specialization time and quality of the specialized program if abstract specialization is then performed. PDB stands for Partial Deduction + Bottom.Usage and interface
- Library usage:
:- use_module(domain(pdb)).
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:
sharefree, preprocess_flags, domains. - System library modules:
sets, sort. - 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, regtypes, basicmodes, aidomain.