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

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

#include "Word.h"
#include "Vector.h"
#include "DiffHistoryRep.h"
#include "WordOrder.h"

Go to the source code of this file.

Compounds

class  DiffHistory
class  AheadInfo
class  DiffHistoryVtx

Typedefs

typedef int State


Typedef Documentation

typedef int State
 

Definition at line 23 of file DiffHistory.h.


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