SIS
Symmetric Index Structures
/Users/dbr/ma/src/bas/lml/tarjanTable.h
Go to the documentation of this file.
00001 #ifndef _HEADER_FILE_TARJANTABLE_
00002 #define _HEADER_FILE_TARJANTABLE_
00003 
00004 typedef struct tTarjanTable{
00005     UINTSequence * statesTransitions;
00006     UINTSequence * table;
00007     Alphabet * alph;
00008 } TarjanTable;
00009 
00010 TarjanTable * TarjanTableInit( Alphabet * alph, const Automaton * aut );
00011 void TarjanTableFree( TarjanTable * tt );//does not free the alphabet
00012 void TarjanTableWrite( const TarjanTable * tt, FILE * fp );//writes the alphabet
00013 TarjanTable * TarjanTableRead( FILE * fp );//reads the alphabet
00014 
00015 #endif