/Users/dbr/ma/src/bas/lml/tarjanTable.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	TarjanTable
Functions
TarjanTable *	TarjanTableInit (Alphabet *alph, const Automaton *aut)
void	TarjanTableFree (TarjanTable *tt)
void	TarjanTableWrite (const TarjanTable *tt, FILE *fp)
TarjanTable *	TarjanTableRead (FILE *fp)

---

Function Documentation

void TarjanTableFree

(

TarjanTable *

tt

)

Definition at line 112 of file tarjanTable.c.

Referenced by CompressedAutomatonFree().

TarjanTable* TarjanTableInit	(	Alphabet *	alph,
		const Automaton *	aut
	)

Definition at line 75 of file tarjanTable.c.

Referenced by CompressedAutomatonAddTarjanTable().

TarjanTable* TarjanTableRead

(

FILE *

fp

)

Definition at line 124 of file tarjanTable.c.

Referenced by CompressedAutomatonRead().

void TarjanTableWrite	(	const TarjanTable *	tt,
		FILE *	fp
	)

Definition at line 118 of file tarjanTable.c.

Referenced by CompressedAutomatonWrite().