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

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

#include "Word.h"
#include "Vector.h"
#include "RefCounter.h"
#include "Set.h"
#include "DiffHistoryRep.h"

Go to the source code of this file.

Compounds

class  WordOrderRep
class  ShortLexRep
class  WtShortLexRep
class  WtLexRep
class  InvPairWreathRep

Typedefs

typedef int State


Typedef Documentation

typedef int State
 

Definition at line 26 of file WordOrderRep.h.


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