Commits · e386c54e23ca76c5429adf440f809c4de047dfa3 · Algorithms Library Toolkit / Algorithms Library Toolkit Core · GitLab

Snippets Groups Projects

Aug 02, 2020
- Not-so-naive implemented · e386c54e
  Jan Jirák authored 5 years ago and Jan Trávníček committed 4 years ago
  
  e386c54e
Aug 01, 2020
- algo: seed: Restaricted Approximate Seed Computation · b0fdfa88
  Veronika Dolanská authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  b0fdfa88
- algo: seed: Exact Seed Computation · c4c9b5a9
  Veronika Dolanská authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  c4c9b5a9
- algo: Fix string reverse function name · 575fd61a
  Tomáš Pecka authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  575fd61a
- algo: seed: Approximate Seed Computation · 1849c2d5
  Veronika Dolanská authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  1849c2d5
- algo: seed: Deterministic Approximate Suffix Automaton · af5597c0
  Veronika Dolanská authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  af5597c0
- algo: cover: simplify unit tests, remove boilerplate code · fd911662
  Tomáš Pecka authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  fd911662
- algo: covers: Check also the level of the first element in isBorder · 3bf30949
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  3bf30949
- algo: covers: Extract common function isBorder · 163780af
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  163780af
- algo: covers: Update documentation, use emplace_back instead of push_back · bad58dba
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  bad58dba
- algo: covers: Make class ApproximateEnhancedCoversCommon abstract · a7f4dab1
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  a7f4dab1
- algo: covers: Use automatic allocation instead of dynamic for states · b88d915e
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  b88d915e
- algo: covers: Simplify nested if statements · c44445c5
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  c44445c5
- algo: covers: Use ext::pair instead of std::pair · a9dda656
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  a9dda656
- algo: covers: Change lfactor to a pair of end position and length of factor · 87b9aca3
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  87b9aca3
- algo: covers: Add relaxed approximate enhanced covers · c0f27ae6
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  c0f27ae6
- algo: covers: Add documenation to approximate enhanced covers · 5d476f9a
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  5d476f9a
- algo: covers: Extract common functions of approximate enhanced covers · 31696cd4
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  31696cd4
- algo: covers: Add more extensive tests of approximate enhanced covers · 4510c58d
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  4510c58d
- algo: covers: Fix computing of covered letters in approximate enhanced covers · 05e3b97c
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  05e3b97c
- algo: covers: Fix memory leaks of approximate enhanced covers computation · 1123bf6d
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  1123bf6d
- algo: covers: Add approximate enhaced covers · 0f92d103
  Rajmund Hruška authored 4 years ago and Tomáš Pecka committed 4 years ago
  
  0f92d103
Jul 20, 2020
- algo: tree border array: Adapt to PSC 2020 version · 2f8deeda
  Tomáš Pecka authored 4 years ago
  
  We changed the BA definition in the paper so the algorithm should change too.
  2f8deeda
May 31, 2020
- more simplifications in ExactPatternMatch · 1f91ca7a
  Jan Trávníček authored 4 years ago
  
  1f91ca7a
- fixes and simplifications in exact subtree match · 777e526a
  Jan Trávníček authored 4 years ago
  
  777e526a
- fixes and simplifications in ExactPatternMatch · c70317d5
  Jan Trávníček authored 4 years ago
  
  c70317d5
May 28, 2020
- algo: fta2rte state elimination · c8e50ada
  Tomáš Pecka authored 4 years ago
  
  c8e50ada
May 04, 2020
- algo: Fix parameter documentation in random automaton generators · 383c9fd2
  Tomáš Pecka authored 4 years ago and Jan Trávníček committed 4 years ago
  
  383c9fd2
Apr 23, 2020
- intersect deterministic tree automata · f77d8d09
  Jan Trávníček authored 4 years ago
  
  f77d8d09
Apr 18, 2020
- remove unwanted copies · b078259d
  Tomáš Pecka authored 5 years ago
  
  b078259d
Apr 04, 2020
- first child next sibling unranked to ranked tree · ef0768fe
  Jan Trávníček authored 5 years ago
  
  ef0768fe
Apr 02, 2020
- minimize by partitioning for unordered fta · 5a23a72c
  Jan Trávníček authored 5 years ago
  
  5a23a72c
- unranked tree automata bisimulation · ebde3b29
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  ebde3b29
Mar 08, 2020
- algo: Add algorithm for existence of a synchronizing word on DFA · c75612e9
  Tomáš Pecka authored 5 years ago
  
  c75612e9
Feb 06, 2020
- add union of finite (tree) automata by merging · 4b7ad64f
  Jan Trávníček authored 5 years ago
  
  4b7ad64f
- make unranked match really unranked · a50e5bf1
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  a50e5bf1
- catalog normalize tree labels · b842f1b6
  Jan Trávníček authored 5 years ago
  
  b842f1b6
Dec 28, 2019
- fix header guards in some algos · b59a1431
  Jan Trávníček authored 5 years ago
  
  b59a1431
Dec 10, 2019
- fix bisimulation implementation · b8a989dd
  Jan Trávníček authored 5 years ago
  
  b8a989dd
- Unordered DFTA and Unordered pattern matching with FTA · cf313355
  Jan Trávníček authored 5 years ago
  
  cf313355