nfa_enum.h File Reference

Enumeration of DFAs. More...

#include "nfa.h"

Go to the source code of this file.

Classes
struct	dfa_enum

Functions
dfa_enum *	dfa_enum_init (short, short)
	Initializes an enumeration of NFAs.
void	dfa_enum_free (dfa_enum *)
	Frees the memory allocated for an enumeration of NFAs.
bool	dfa_enum_next (dfa_enum *)
	Computes the next NFA in the enumeration.
short	iterate_integer_partition (short *, short)
dfa *	dfa_enum_to_dfa (dfa_enum *)
void	dfa_enum_print (dfa_enum *E)

Detailed Description

Enumeration of DFAs.

Function Documentation

dfa_enum_free()

void dfa_enum_free

(

dfa_enum *

A

)

Frees the memory allocated for an enumeration of NFAs.

Parameters

A	The enumeration.

dfa_enum_init()

dfa_enum * dfa_enum_init	(	short	states,
		short	alpha )

Initializes an enumeration of NFAs.

Parameters

states	Number of states.
alpha	Number of letters in the alphabet.

dfa_enum_next()

bool dfa_enum_next

(

dfa_enum *

A

)

Computes the next NFA in the enumeration.

Parameters

A	The enumeration.

dfa_enum_to_dfa()

dfa * dfa_enum_to_dfa

(

dfa_enum *

E

)

Parameters

E	The enumeration.

iterate_integer_partition()

short iterate_integer_partition	(	short *	part,
		short	n )

Parameters

part	The partition.
n	The partitioned integer