Type used to represent a complete DFA. More...

#include <nfa.h>

Public Attributes
dgraph *	trans
	Graph of transitions (also stores the number of states and the size of the alphabet). Undefined transitions are mapped to UINT_MAX.

uint	initial
	The index of the initial state.

uint	nb_finals
	Number of final states.

uint *	finals
	Array of final states (sorted in increasing order).

letter *	alphabet
	Array indexed by the indices of letters. Maps each index to its actual letter (NULL if the alphabet is empty).

char **	state_names
	Array of state names (only utilized when displaying the DFA). Each state is mapped to its name (NULL if unused).

bool **	order
	The canonical order of the states (NULL if not used). The order is defined by the indices of the states in the DFA.

Detailed Description

Type used to represent a complete DFA.

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

Public Attributes