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


Writes State of clauses in modules in directory DstDir.


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

      Documentation on imports

      This module has the following direct dependencies: