Commits · d6da4a4493f653a84aa9fedd07ee4093bbfa312e · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Apr 17, 2015
- add std::move to all parsers · d6da4a44
  Jan Trávníček authored 9 years ago
  
  d6da4a44
Jan 17, 2015
- inplement InputDrivenDPDA and transform IDPDA examples to new format · 187949b1
  Jan Trávníček authored 10 years ago
  
  187949b1
Jan 13, 2015
- transform example turing machines to new xml representation · 53a96b76
  Jan Trávníček authored 10 years ago
  
  53a96b76
Jan 12, 2015
- rename InputSymbols to InputAlphabet and similairly · 0a51a6cb
  Jan Trávníček authored 10 years ago
  
  0a51a6cb
- make number of initial states and symbols match formal definitions · ff52c866
  Jan Trávníček authored 10 years ago
  
  ff52c866
Jan 05, 2015
- rename Api to XmlApi · de0a0753
  Jan Trávníček authored 10 years ago
  
  de0a0753
Nov 02, 2014
- api::first for supported datastructures · 0cedc1af
  Jan Trávníček authored 10 years ago
  
  0cedc1af
Oct 12, 2014
- singleInitialState FSM · 52e2a486
  Jan Trávníček authored 10 years ago
  
  52e2a486
Oct 10, 2014
- remove UnknownAutomaton UnknownGrammar · 86c6e33d
  Jan Trávníček authored 10 years ago
  
  86c6e33d
Oct 06, 2014
- determinisation results are DPDAs · 813b3029
  Jan Trávníček authored 10 years ago
  
  813b3029
Oct 05, 2014
- RealTimeHeightDeterministicDPDA VisiblyPushdownDPDA · a5decc19
  Jan Trávníček authored 10 years ago
  
  a5decc19
Sep 30, 2014
- +explicit to all constructors; parse/compose State · 1d89fcc0
  Jan Trávníček authored 10 years ago
  
  1d89fcc0
Sep 27, 2014
- primitive labes handled using primitives · 0fcb1e56
  Jan Trávníček authored 10 years ago
  
  0fcb1e56
Sep 25, 2014
- fix parsing RealTimeHeightDeterministicNPDA · 24e2a62b
  Jan Trávníček authored 10 years ago
  
  24e2a62b
Sep 22, 2014
- RHPDA internal form · 01501e0e
  Jan Trávníček authored 10 years ago
  
  01501e0e
Sep 21, 2014
- fix parsing Automata · 4d843349
  Jan Trávníček authored 10 years ago
  
  4d843349
Sep 20, 2014
- fix composing and parsing of various automata · 89d2d2ae
  Jan Trávníček authored 10 years ago
  
  89d2d2ae
- untested vpa determinisation · 9dcfba2a
  Jan Trávníček authored 10 years ago
  
  9dcfba2a
Sep 14, 2014
- draft InputDriven and VisiblyPushdown automata · 690f8f2d
  Jan Trávníček authored 10 years ago
  
  690f8f2d
Sep 11, 2014
- DPDA and SinglePopDPDA automata · 87c3c8eb
  Jan Trávníček authored 10 years ago
  
  87c3c8eb
Aug 25, 2014
- LinearString in CompactFSM · 6ceec458
  Jan Trávníček authored 10 years ago
  
  6ceec458
- simplify friednships · d1fd078a
  Jan Trávníček authored 10 years ago
  
  d1fd078a
Aug 15, 2014
- Parsers and composers of base data object · d84c2e3b
  Jan Trávníček authored 10 years ago
  
  d84c2e3b
- unified api part I · e6bdd725
  Jan Trávníček authored 10 years ago
  
  e6bdd725
Aug 14, 2014
- templated parsing api · 238fd9f5
  Jan Trávníček authored 10 years ago
  
  238fd9f5
Aug 13, 2014
- prototype set parsing · d65da606
  Jan Trávníček authored 10 years ago
  
  d65da606
Jul 16, 2014
- change std::variant to have specific constructors · b1d01779
  Jan Trávníček authored 10 years ago
  
  b1d01779
Jul 14, 2014
- rename base library · 4455c2cd
  Jan Trávníček authored 10 years ago
  
  4455c2cd
Jul 10, 2014
- Parsers of OneTapeDTM CompactNFA and ExtendedNFA · 5945a19b
  Jan Trávníček authored 10 years ago
  
  5945a19b
- NPDA parsing · 89e18e11
  Jan Trávníček authored 10 years ago
  
  89e18e11
Jul 08, 2014
- Add single pop PDA · d76221c5
  Jan Trávníček authored 10 years ago
  
  d76221c5
Jul 02, 2014
- separate exception dir · f044bf84
  Jan Trávníček authored 10 years ago
  
  f044bf84
- centralization of XML Parsers api · e9d012b7
  Jan Trávníček authored 10 years ago
  
  e9d012b7
Jun 29, 2014
- simplify parsers with first and next methods · e83574cd
  Jan Trávníček authored 10 years ago
  
  e83574cd
- Automaton features · 3e8c5845
  Jan Trávníček authored 10 years ago
  
  3e8c5845
Jun 22, 2014
- automaton Parser and Composer use other · 89637ce4
  Jan Trávníček authored 10 years ago
  
  89637ce4
Jun 20, 2014
- refactor parsers and composers · efea7e78
  Jan Trávníček authored 10 years ago
  
  efea7e78
Jun 15, 2014
- use enum classes in XML parsers · f84e8f6b
  Jan Trávníček authored 10 years ago
  
  f84e8f6b
Jun 09, 2014
- some refactoring to use parser pool · 7fb87e24
  Jan Trávníček authored 10 years ago
  
  7fb87e24
May 23, 2014
- concept of labels for symbols · c7514922
  Jan Trávníček authored 10 years ago
  
  c7514922