Public Attributes
short	states
	Number of states.

short	alpha
	Number of letters in the alphabet.

short **	graph
	Transition graph.

short *	used
	Used states at each point.

short *	outlabs
	Number of letters going out of the used states.

short **	parti
	Integer partition of the outgoing letters.

short *	parsize
	Sizes of the partition.

short	inisep
	Number of letters looping on the initial state.

short	final
	Final state.

bool	run
	True if the enumeration is not finished.

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

Public Attributes