Commits · 6ac9daa44917b91a55b07143e7b559c0f3f317a2 · Algorithms Library Toolkit / Algorithms Library Toolkit Core · GitLab

Snippets Groups Projects

May 28, 2021
- algo: trim of nondeterministic zautomaton · 6ac9daa4
  Jan Trávníček authored 4 years ago and Tomáš Pecka committed 3 years ago
  
  6ac9daa4
- algo: trim for Z-Automata · 45eeb955
  Tomáš Pecka authored 4 years ago
  
  45eeb955
- algo: useless states remover for Z-Automata · 051e080d
  Tomáš Pecka authored 4 years ago
  
  051e080d
- algo: unreachable states remover for Z-Automata · 7889f49f
  Tomáš Pecka authored 4 years ago
  
  7889f49f
- algo: reachable states for Z-Automata · 5400f6be
  Tomáš Pecka authored 4 years ago
  
  5400f6be
- algo: useful states for Z-Automata · de7830e2
  Tomáš Pecka authored 4 years ago
  
  de7830e2
- algo: add missing header to ForwardBisimulation · f6f78729
  Tomáš Pecka authored 3 years ago
  
  f6f78729
- algo: ZAutomata bisimulation · 61460230
  Jan Trávníček authored 4 years ago and Tomáš Pecka committed 3 years ago
  
  61460230
- algo: ZAutomaton to PDA · cef792ef
  Jan Trávníček authored 4 years ago and Tomáš Pecka committed 3 years ago
  
  cef792ef
May 11, 2021
- tidy: fix incorrect foreach over maps · 6ebda628
  Jan Trávníček authored 3 years ago
  
  6ebda628
Apr 03, 2021
- algo: (unordered) unranked trees reference matching · c0ac370e
  Jan Trávníček authored 4 years ago
  
  c0ac370e
- algo: unranked tree pattern matching using ZAutomata · c96791be
  Jan Trávníček authored 4 years ago
  
  c96791be
- algo: Z-Automata: Rename · 90e1d874
  Jan Trávníček authored 4 years ago
  
  90e1d874
- algo: Z-Automata: run (Occurrences) · 43a25c86
  Jan Trávníček authored 4 years ago
  
  43a25c86
- algo: Z-Automata: run (Accept) · eae33041
  Jan Trávníček authored 4 years ago
  
  eae33041
- algo: Z-Automata: run (Result) · 0f6aed3b
  Jan Trávníček authored 4 years ago
  
  0f6aed3b
- algo: Z-Automata: run · 0caaec70
  Jan Trávníček authored 4 years ago
  
  0caaec70
Apr 02, 2021
- algo: Z-Automata: determinize · b8944909
  Jan Trávníček authored 4 years ago
  
  b8944909
- algo: Z-Automata: convert to Arc-Factored Normal Form · b1d55b7e
  Jan Trávníček authored 4 years ago
  
  b1d55b7e
- algo: Z-Automata: remove epsilon transitions · 7145f295
  Jan Trávníček authored 4 years ago
  
  7145f295
- algo: allow gaps in random tree pattern generator · d22516b1
  Jan Trávníček authored 4 years ago
  
  d22516b1
Apr 01, 2021
- clang-tidy: fix declaration vs definition name · d185a25f
  Jan Trávníček authored 4 years ago
  
  d185a25f
- algo: fix return value in RandomTreeAutomatonFactory · 243f7d13
  Jan Trávníček authored 4 years ago
  
  243f7d13
Mar 25, 2021
- algo: fix random nfa algo · 0ab19999
  Jan Trávníček authored 4 years ago
  
  0ab19999
- clang-tidy: introduce named constant to nfa generator · d22f0cf9
  Jan Trávníček authored 4 years ago
  
  d22f0cf9
- clang-tidy: empty vs size == 0 or > 0 · e25846d1
  Jan Trávníček authored 4 years ago
  
  e25846d1
- clang-tidy: NOLINT repeated breaking branch · 293b1ae3
  Jan Trávníček authored 4 years ago
  
  293b1ae3
- common: remove not needed casts add missing virtual destructors · 77750ffe
  Jan Trávníček authored 4 years ago
  
  77750ffe
- algo: static_cast -1 to representation of index one before in linearized trees · 520cc1a7
  Jan Trávníček authored 4 years ago
  
  520cc1a7
- algo: remove not needed cast · 30df67fb
  Jan Trávníček authored 4 years ago
  
  30df67fb
- algo: avoid casts in first variable in tree pattern searching · e52ade4b
  Jan Trávníček authored 4 years ago
  
  e52ade4b
- algo: static_cast result of std::distance to size_t · 9e805d5e
  Jan Trávníček authored 4 years ago
  
  In the context the order of iterators is that the returned value is always positive
  9e805d5e
- algo: remove not needed cast from ApproximateCoversComputation · 0f30fe5e
  Jan Trávníček authored 4 years ago
  
  0f30fe5e
- algo: simplify ApproximateCoversComputation · e5be0f00
  Jan Trávníček authored 4 years ago
  
  e5be0f00
- algo: simplify aproximate covers computation · 2b3eb9fe
  Jan Trávníček authored 4 years ago
  
  2b3eb9fe
- algo: use static_cast in glushkov indexate · a45ab299
  Jan Trávníček authored 4 years ago
  
  a45ab299
- algo: use static_cast in stringology exact searching algorithms · 874762e1
  Jan Trávníček authored 4 years ago
  
  874762e1
- algo: redesign RandomTreeFactory not to need casts · 39f627c0
  Jan Trávníček authored 4 years ago
  
  39f627c0
- algo: redesing string comapre and equal algos not to use casts · 27f18bf5
  Jan Trávníček authored 4 years ago
  
  27f18bf5
- general: fix casting to string in creation of exceptions · 0b5d1d90
  Jan Trávníček authored 4 years ago
  
  0b5d1d90