Modular program printer

Author(s): Isabel Garcia-Contreras.

This module writes in a directory a program containing only the clauses specified by a specific state (generated by edition_sequence_generator).

Usage and interface

Documentation on exports

Usage:write_dir_state(+State,+DstDir)

Writes State of clauses in modules in directory DstDir.

    Usage:write_dir_state_sequence(+Seq,+Dir)

    Writes in directory Dir a directory for each of the steps in sequence Seq.

      Documentation on imports

      This module has the following direct dependencies: