Directories - Manual of the XDG Development Kit

Next: Exceptions, Previous: Debug, Up: Top

13 Directories

The directory structure of the XDK is as follows:

CSPOutput: programs dealing with CSP output
- Parsers: Parsers needed for the CSP output programs
Compiler: Grammar file compiler
- Lattices: Lattice functors
- UL: User Language (UL) front end
- XML: XML language (XML) front end
Extras: Extra functors
Grammars: Grammar files
Oracles: Oracles
- ManualOracle: Manual oracle
Outputs: Outputs
- Lib: Output functors
  - CLLS: Code for the CLLS output
    - DaVinci: daVinci support code (for the CLLS output)
  - Dag: Code for drawing dags using Tk
    - NewTkDAG: Rewrite of Denys Duchier's TkDAG functor
  - Latex: Code for outputting LaTeX code using xdag.sty
PrincipleWriter: Principle compiler
- Examples: Example principles
- QuadOptimizer: Principle optimizer
SXDG: Marco Kuhlmann's SXDG code
Solver: The solver
- Principles: Principle definitions
  - Lib: Principle functors
    - Select: Denys Duchier's selection constraint
    - FlatZinc: Support code for FlatZinc output
XTAG: XTAG grammar generator
- Grammar: XTAG grammar (not included in the XDK package, contained in ftp://ftp.cis.upenn.edu/pub/xtag/lem/lem-0.14.0.tgz)