SIS
Symmetric Index Structures
/Users/dbr/ma/src/bas/lml/compressedAutomaton.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  CompressedAutomaton
struct  PairState

Defines

#define mCompressedAutomatonGetStatesStored(aut)   ( (aut)->statesTransitions->seqStored )
#define mCompressedAutomatonGetTransitionsStored(aut)   ( (aut)->transitionsStart->seqStored )

Functions

CompressedAutomatonCompressedAutomatonInit (UINT symbolSize)
void CompressedAutomatonAddState (CompressedAutomaton *aut, UINT state)
void CompressedAutomatonAddTransition (CompressedAutomaton *aut, UINT stateFrom, UINT start, UINT stateTo)
void CompressedAutomatonShrink (CompressedAutomaton *aut)
void CompressedAutomatonWrite (const CompressedAutomaton *aut, FILE *fp)
void CompressedAutomatonGenerateLanguage (const CompressedAutomaton *aut, FILE *fp, void(*DumpSequenceOfLabels)(FILE *, const VoidSequence *, UINT), UINT encoding)
void CompressedLeftAutomatonGenerateLanguage (const CompressedAutomaton *aut, FILE *fp, void(*DumpSequenceOfLabels)(FILE *, const VoidSequence *, UINT), UINT encoding)
CompressedAutomatonCompressedAutomatonRead (FILE *fp)
void CompressedAutomatonDumpStat (const CompressedAutomaton *aut, FILE *fp)
void CompressedAutomatonFree (CompressedAutomaton *aut)
void CompressedAutomatonSortTransitions (CompressedAutomaton *aut, UINTSequence *transitionsFrom)
void CompressedAutomatonAddTarjanTable (CompressedAutomaton *aut)
PairState CompressedAutomatonGetInitialPairState (const CompressedAutomaton *aut)
PairState CompressedAutomatonDelta (const CompressedAutomaton *a, const PairState *state, const void *symbol)
void CompressedAutomatonDumpGV (CompressedAutomaton *aut, FILE *fp, void(*DumpLabel)(const CompressedAutomaton *, FILE *, UINT, UINT), UINT encoding)

Define Documentation

#define mCompressedAutomatonGetStatesStored (   aut)    ( (aut)->statesTransitions->seqStored )
#define mCompressedAutomatonGetTransitionsStored (   aut)    ( (aut)->transitionsStart->seqStored )

Function Documentation

void CompressedAutomatonAddState ( CompressedAutomaton aut,
UINT  state 
)
void CompressedAutomatonAddTarjanTable ( CompressedAutomaton aut)
void CompressedAutomatonAddTransition ( CompressedAutomaton aut,
UINT  stateFrom,
UINT  start,
UINT  stateTo 
)
PairState CompressedAutomatonDelta ( const CompressedAutomaton a,
const PairState state,
const void *  symbol 
)
void CompressedAutomatonDumpGV ( CompressedAutomaton aut,
FILE *  fp,
void(*)(const CompressedAutomaton *, FILE *, UINT, UINT DumpLabel,
UINT  encoding 
)
void CompressedAutomatonDumpStat ( const CompressedAutomaton aut,
FILE *  fp 
)
void CompressedAutomatonGenerateLanguage ( const CompressedAutomaton aut,
FILE *  fp,
void(*)(FILE *, const VoidSequence *, UINT DumpSequenceOfLabels,
UINT  encoding 
)
void CompressedAutomatonShrink ( CompressedAutomaton aut)
void CompressedAutomatonSortTransitions ( CompressedAutomaton aut,
UINTSequence *  transitionsFrom 
)
void CompressedAutomatonWrite ( const CompressedAutomaton aut,
FILE *  fp 
)
void CompressedLeftAutomatonGenerateLanguage ( const CompressedAutomaton aut,
FILE *  fp,
void(*)(FILE *, const VoidSequence *, UINT DumpSequenceOfLabels,
UINT  encoding 
)