Next: , Previous: PrincipleWriter, Up: Top


11 Programs

In this chapter, we describe the executable programs which expose the functionality of the XDK: the graphical user interface (xdk), the standalone grammar file compiler (xdkc), the standalone grammar file converter, and the standalone solver (xdks).