GraphRep.h File Reference

#include "RefCounter.h"
#include "set"
#include "map"

Go to the source code of this file.

Classes
struct	GraphEdge
	Defines non-labelled edge of the directed graph. More...
struct	GraphState
class	GraphRep