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.


class  DiffHistory
class  AheadInfo
class  DiffHistoryVtx


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