- Apr 25, 2014
-
-
Jan Trávníček authored
-
- Apr 24, 2014
-
-
Jan Vesely authored
-
Jan Vesely authored
-
Jan Vesely authored
-
Jan Vesely authored
-
- Apr 22, 2014
-
-
Jan Vesely authored
-
- Apr 21, 2014
-
-
Tomáš Pecka authored
-
- Apr 19, 2014
-
-
Tomáš Pecka authored
Replace Abstract<whatever> classes with proper* interfaces. (*) C++ does not have proper interfaces ;)
-
Tomáš Pecka authored
-
Tomáš Pecka authored
- Make interfaces interfaces - remove member variables from them - Remove redundant interfaces - Remove redundant classes aka StateNonTerminalMap. This functionality can be achieved by simpler std::map - Ensure second call of convert() will not fail by creating everything on fly. Thompson is the only algorithm where output must be member variable to make things simple. C11 will hopefully resolve this. - Hexavigesimal for Brzozowski classes.
-
- Apr 17, 2014
-
-
Tomáš Pecka authored
-
Jan Vesely authored
-
- Apr 16, 2014
-
-
Jan Vesely authored
-
Jan Vesely authored
-
- Apr 15, 2014
-
-
Tomáš Pecka authored
-
Tomáš Pecka authored
- rewrite follow function according to http://www.sciencedirect.com/science/article/pii/S030439759700296X, which makes a bit clearer what is going on inside - rename some foos and update doxygen
-
- Apr 14, 2014
-
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
- Apr 10, 2014
-
-
Jan Vesely authored
-
Jan Vesely authored
-
Jan Vesely authored
-
Jan Vesely authored
-
- Apr 07, 2014
-
-
Tomáš Pecka authored
- Removal of libaregexptree/RegExpAlphabet - Method getting regexp alphabet moved to alib/RegExp, alib/RegExpElement - Method getting get symbols list in order moved to aconversion/GlushkovTraversal as Glushkov algorithm is the only one using it - Reflect changes throughout project
-
Tomáš Pecka authored
-
- Apr 06, 2014
-
-
Jan Vesely authored
-
Jan Vesely authored
-
Jan Vesely authored
-
Jan Vesely authored
-
- Apr 03, 2014
-
-
Jan Trávníček authored
-
- Apr 02, 2014
-
-
Jan Vesely authored
-
Jan Vesely authored
-
Jan Vesely authored
-
- Mar 31, 2014
-
-
Jan Trávníček authored
-
Tomáš Pecka authored
-
Tomáš Pecka authored
- Fix StringPrinter - RemoveAlphabetSymbol() now checks for symbol presence in both alphabet and content. - some constness - Doxygen (original was obviously copy-pasted)
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
Tomáš Pecka authored
-
Tomáš Pecka authored
- Note that this requires arand executable which is not finished yet, but obtainable from branch genRandAutomata.
-
Jan Trávníček authored
-