exall_profile Struct Reference

Public Attributes
exagen_mode	mode
	Mode of the example generation.
classes	low [16]
	Classes for negative tests.
uint	nblow
	Number of classes for negative tests (maximum 16).
classes	high [16]
	Classes for positive tests.
uint	nbhigh
	Number of classes for positive tests (maximum 16).
int	states
	Number of states of the DFAs to be generated.
int	alpha
	Size of the alphabet of the DFAs to be generated.
uint64_t	done
	Number of indices already handled.
uint64_t	nb_found
	Number of DFAs found.
uint64_t	size_found
	Size of the array of DFAs found.
uint64_t *	found
	Array of indices of the DFAs found.
bool	finished
	True if the search is finished.

---

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

• shell_memb.h