Commits · 161d48fdff7a38e267db128d245465ce346fe2aa · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Feb 01, 2019
- make determinisation documentation available · 161d48fd
  Jan Trávníček authored 6 years ago
  
  161d48fd
- allow setting documentation to algorithm overloads · 4ffe816a
  Jan Trávníček authored 6 years ago
  
  4ffe816a
Jul 16, 2018
- algo: doc automaton::determinize · 6d177b64
  Tomáš Pecka authored 6 years ago
  
  6d177b64
Jun 14, 2018
- drop dependency on AutomatonFeatures header · fe13ff21
  Jan Trávníček authored 6 years ago
  
  fe13ff21
Feb 09, 2018
- more PDA determinisation improvements · 671dc9f2
  Jan Trávníček authored 7 years ago
  
  671dc9f2
- continue work on PDA determinisation · 0f440640
  Jan Trávníček authored 7 years ago
  
  0f440640
Feb 08, 2018
- continue simplification PDA determinisation · 389ac495
  Jan Trávníček authored 7 years ago
  
  389ac495
- some simplifications of PDA determinisation · ccd7e4df
  Jan Trávníček authored 7 years ago
  
  ccd7e4df
- nonrecursive local closure algo · 69290943
  Jan Trávníček authored 7 years ago
  
  69290943
Feb 06, 2018
- simplify VPA and RHDPDA determinisation algo · 05811c4f
  Jan Trávníček authored 7 years ago
  
  05811c4f
- template remaining determinisation algorithms · 3735a6b0
  Jan Trávníček authored 7 years ago
  
  3735a6b0
Feb 01, 2018
- remove not needed code · a6c9747c
  Jan Trávníček authored 7 years ago
  
  a6c9747c
- continue templating determinize algo · 11ffc781
  Jan Trávníček authored 7 years ago
  
  11ffc781
Jan 26, 2018
- template determinisation of InputDrivenPDAs · 866daa2a
  Jan Trávníček authored 7 years ago
  
  866daa2a
Dec 24, 2017
- match namespace with file path · 71806540
  Jan Trávníček authored 7 years ago
  
  71806540
Dec 21, 2017
- update includes in algo · 7210180a
  Jan Trávníček authored 7 years ago
  
  7210180a
Nov 07, 2017
- change std::cout to common::Streams::out · 24c2d552
  Jan Trávníček authored 7 years ago
  
  24c2d552
- change std::clog to common::Streams::log · 63f2eee8
  Jan Trávníček authored 7 years ago
  
  63f2eee8
Sep 22, 2017
- optimize includes · 8e288773
  Jan Trávníček authored 7 years ago
  
  8e288773
- split alib2common to common measure and xml · a8554a96
  Jan Trávníček authored 7 years ago
  
  a8554a96
Sep 10, 2017
- use cli in aquery binary · 8c406d31
  Jan Trávníček authored 7 years ago
  
  8c406d31
Aug 29, 2017
- remove use of multiple dispatch from determinize · a2e6f100
  Jan Trávníček authored 7 years ago
  
  a2e6f100
Aug 11, 2017
- move pair to ext namespace · 01ff6206
  Jan Trávníček authored 7 years ago
  
  01ff6206
- move deque to ext namespace · 05f56ec9
  Jan Trávníček authored 7 years ago
  
  05f56ec9
- move tuple to ext namespace · 244179cd
  Jan Trávníček authored 7 years ago
  
  244179cd
- move map to ext namespace · 8e681f2c
  Jan Trávníček authored 7 years ago
  
  8e681f2c
- move set to ext namespace · c645a96e
  Jan Trávníček authored 7 years ago
  
  c645a96e
- move vector to ext namespace · 3fef381f
  Jan Trávníček authored 7 years ago
  
  3fef381f
Aug 07, 2017
- move algo extensions to ext namespace · fae1e9c0
  Jan Trávníček authored 7 years ago
  
  fae1e9c0
Aug 04, 2017
- move variant to ext namespace · c3589cde
  Jan Trávníček authored 7 years ago
  
  c3589cde
Aug 03, 2017
- move ranked_symbol from namespace std to common · 6e8e7547
  Jan Trávníček authored 7 years ago
  
  6e8e7547
- move dispatch algos from namespace std to alib · e9ada489
  Jan Trávníček authored 7 years ago
  
  e9ada489
Aug 02, 2017
- register remaining callbacks of determinize algo · b28fa169
  Jan Trávníček authored 7 years ago
  
  b28fa169
Aug 01, 2017
- add some const references in determinisation algo · 02fa82d5
  Jan Trávníček authored 7 years ago
  
  02fa82d5
Jul 19, 2017
- register first few algos · 22db9d9d
  Jan Trávníček authored 7 years ago
  
  22db9d9d
Jul 16, 2017
- algorithm overloads registration unified · 7968cd68
  Jan Trávníček authored 7 years ago
  
  7968cd68
Apr 12, 2017
- make automaton determinize use set · 940a3ade
  Jan Trávníček authored 8 years ago
  
  940a3ade
- normalize after determinisation · 3331d68e
  Jan Trávníček authored 8 years ago
  
  3331d68e
Jan 11, 2017
- delete some not needed classes + cleanup includes · a1c63108
  Jan Trávníček authored 8 years ago
  
  a1c63108
Dec 28, 2016
- use any object in determinize VPA and RHDPDA · 57d3815c
  Jan Trávníček authored 8 years ago
  
  57d3815c