This module provides intermodular analysis to CiaoPP (high-level).
Global compilation options of intermodular analysis are available in intermod_options. Edit this file to activate tracing or run-time checks.
Cleans up the internal database of the intermodular analysis global level.
Succeeds if Domain is a valid analysis domain for modular analysis
Succeeds if the domains in DomainList are valid analysis domains for modular analysis
Assuming that modular fixpoint already reached. Only supporting ctchecks of pred assertions (not program point)
Performs transformation Trans of the program unit which has TopLevel as top-level module, using AbsInt to get information about the program.
Generates a copy of the program represented by TopLevel and the libraries used (except those in engine) in Dir, and removes dead-code from both user modules and libraries.
Performs CT assertion checking of the program unit which has TopLevel as a top-level module, using AbsInt to get information about the program (exploits order of the modules).
Transformation is a valid transformation identifier.