dfa_mirror_info Struct Reference

Represents the required information for determinization of the mirror of a DFA. More...

#include <nfa_determi.h>

Public Attributes
uint *	edges
	The edges of the mirror DFA (size size_alpha * size_graph).
uint *	st_edges
	For each state q and each label a st_edges[q * size_alpha + a] is the index of the first edge in edges that starts from q with label a.
uint *	ed_edges
	For each state q and each label a ed_edges[q * size_alpha + a] is the index following that of the last edge in edges that starts from q with label a.

Detailed Description

Represents the required information for determinization of the mirror of a DFA.

---

The documentation for this struct was generated from the following file:

• nfa_determi.h