| Algorithms Library Toolkit
    A toolkit for algorithms, especially for algorithms on formal languages | 
| Files | |
| file | EpsilonRemoverIncoming.cpp | 
| file | EpsilonRemoverIncoming.h [code] | 
| file | EpsilonRemoverOutgoing.cpp | 
| file | EpsilonRemoverOutgoing.h [code] | 
| file | Minimize.cpp | 
| file | Minimize.h [code] | 
| file | MinimizeBrzozowski.cpp | 
| file | MinimizeBrzozowski.h [code] | 
| file | MinimizeByPartitioning.cpp | 
| file | MinimizeByPartitioning.h [code] | 
| file | MinimizeVerbose.cpp | 
| file | MinimizeVerbose.h [code] | 
| file | Normalize.cpp | 
| file | Normalize.h [code] | 
| file | RemoveUnused.cpp | 
| file | RemoveUnused.h [code] | 
| file | Rename.cpp | 
| file | Rename.h [code] | 
| file | SingleInitialState.cpp | 
| file | SingleInitialState.h [code] | 
| file | SingleInitialStateEpsilonTransition.cpp | 
| file | SingleInitialStateEpsilonTransition.h [code] | 
| file | ToArcFactored.cpp | 
| file | ToArcFactored.h [code] | 
| file | Total.cpp | 
| file | Total.h [code] | 
| file | Trim.cpp | 
| file | Trim.h [code] | 
| file | UnreachableStatesRemover.cpp | 
| file | UnreachableStatesRemover.h [code] | 
| file | UselessStatesRemover.cpp | 
| file | UselessStatesRemover.h [code] |