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

#include "base.h"

Include dependency graph for tarjanTable.c:

Go to the source code of this file.

Data Structures
struct	TarjanTableBuildHelp
Defines
#define	NUM_OF_POS_TO_LOOK_BACK_IN_TARJAN_TABLE   (10000)
Functions
TarjanTable *	TarjanTableInit (Alphabet *alph, const Automaton *aut)
void	TarjanTableFree (TarjanTable *tt)
void	TarjanTableWrite (const TarjanTable *tt, FILE *fp)
TarjanTable *	TarjanTableRead (FILE *fp)

---

Define Documentation

#define NUM_OF_POS_TO_LOOK_BACK_IN_TARJAN_TABLE   (10000)

Definition at line 3 of file tarjanTable.c.

---

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().