projectiondfastate.h File Reference

Header file for projectiondfastate.cpp. More...

#include <vector>
#include "projectiondfatransitions.h"
#include "projectiontreenode.h"
#include "passiveprojectiontreenode.h"
#include "passiveprojectiontreeconfiguration.h"
#include "tokenconfiguration.h"
#include "role.h"

Include dependency graph for projectiondfastate.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	ProjectionDFAState
	Represents a single state of the ProjectionDFA. More...

---

Detailed Description

Header file for projectiondfastate.cpp.

Header file specifying constructors, destructor and functions for projectiondfastate.cpp.

Author:

Michael Schmidt

Gunnar Jehl

Version:

2.1

License:

Software License Agreement (BSD License)

Definition in file projectiondfastate.h.