hopcroft_partition Struct Reference

Type used to represent the state partition used in the Hopcroft algorithm. More...

#include <nfa_minimization.h>

Public Attributes
uint	size_set
	The size of the partitioned set.
uint	size_par
	The size of the partition.
uint *	classes
	Array of classes: maps each element to its class.
uint *	parray
	Array containing all elements of the set grouped by classes (elements belonging to the same class are next to each other).
uint *	parray_i
	Inverse of the previous array: each element in the set is mapped to each index in parray.
uint *	rindex
	Array indexed by the classes: each class is mapped to the index following this class in parray.
uint *	lindex
	Array indexed by the classes: each class is mapped to the index at which this class starts in parray.

Detailed Description

Type used to represent the state partition used in the Hopcroft algorithm.

---

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

• nfa_minimization.h