Main Page   Class Hierarchy   Compound List   File List   Compound Members   File Members  

/magnus/back_end/KB/include/KBMachineRep.h File Reference

#include <Integer.h>
#include "Word.h"
#include "Vector.h"
#include "DFSARep.h"

Go to the source code of this file.

Compounds

class  KBMachineRep


Generated at Tue Jun 19 09:49:44 2001 for Magnus Classes by doxygen1.2.6 written by Dimitri van Heesch, © 1997-2001