Commits · 954b47a72a6e9af8dd759be093bbcbb35b305a31 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

May 28, 2021
- data: isNAFZA and isDAFZA traits · 954b47a7
  Tomáš Pecka authored 3 years ago
  
  954b47a7
- aux: dot converter of arc factored ZAutomata · b42b0ca7
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  b42b0ca7
- xml: fix alphabet node of ZAutomata · 4f6005f1
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  4f6005f1
- algo: add missing header to ForwardBisimulation · f6f78729
  Tomáš Pecka authored 3 years ago
  
  f6f78729
- algo: ZAutomata bisimulation · 61460230
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  61460230
- algo: ZAutomaton to PDA · cef792ef
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  cef792ef
May 11, 2021
- std: re-enable swap in forward_tree, it was correct in the first place · 20a3a7d0
  Jan Trávníček authored 3 years ago
  
  20a3a7d0
- abstraction: const more (run and, getParams) · 7fa9f75e
  Jan Trávníček authored 3 years ago
  
  7fa9f75e
- tidy: remove not needed explicit non-equality operators · 3b35af31
  Jan Trávníček authored 3 years ago
  
  3b35af31
- 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
- data: unordered unranked trees and patterns · 2e900def
  Jan Trávníček authored 4 years ago
  
  2e900def
- data: fix UnrankedTree documentation · e52da91d
  Jan Trávníček authored 4 years ago
  
  e52da91d
- data: normalize multiset of symbols · 76e4923c
  Jan Trávníček authored 4 years ago
  
  76e4923c
- 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
- data: Z-Automata · dcbff10a
  Jan Trávníček authored 4 years ago
  
  Added: - Nondeterministic Z-Automaton [1] - ArcFactored Deterministic Z-Automaton [1] - ArcFactored Nondeterministic Z-Automaton [1] [1] Johanna Björklund, Frank Drewes, Giorgio Satta: Z-Automata for Compact and Direct Representation of Unranked Tree Languages https://doi.org/10.1007/978-3-030-23679-3_7 Co-authored-by: Tomáš Pecka <tomas.pecka@fit.cvut.cz>
  dcbff10a
- str: allow trees as patterns · e82071bf
  Jan Trávníček authored 4 years ago
  
  e82071bf
- data: Change Wildcard symbol string representation · 36b04062
  Tomáš Pecka authored 4 years ago
  
  36b04062
- algo: allow gaps in random tree pattern generator · d22516b1
  Jan Trávníček authored 4 years ago
  
  d22516b1
- str: gap symbol and adaptation to unranked patterns · 9f111c3c
  Jan Trávníček authored 4 years ago
  
  9f111c3c
- data: allow gaps in unranked patters · 686f136a
  Jan Trávníček authored 4 years ago
  
  686f136a
- data: add gap symbol · 0081e596
  Jan Trávníček authored 4 years ago
  
  0081e596
Apr 01, 2021
- clang-tidy: use named constant · c393ac3f
  Jan Trávníček authored 3 years ago
  
  c393ac3f
- clang-tidy: fix declaration vs definition name · d185a25f
  Jan Trávníček authored 3 years ago
  
  d185a25f
- clang-tidy: fix repeated switch branches · bfe9f604
  Jan Trávníček authored 3 years ago
  
  bfe9f604
- clang-tidy: improve readability by adding const · 0631d62a
  Jan Trávníček authored 3 years ago
  
  0631d62a
- clang-tidy: add missing const ref to parameter · 67f5a1e4
  Jan Trávníček authored 3 years ago
  
  67f5a1e4
- algo: fix return value in RandomTreeAutomatonFactory · 243f7d13
  Jan Trávníček authored 3 years ago
  
  243f7d13
- data: remove not needed method · 61152ba9
  Jan Trávníček authored 3 years ago
  
  61152ba9
Mar 26, 2021
- cmake: add more warnings · ebafacb0
  Jan Trávníček authored 3 years ago
  
  ebafacb0
- general: set CXX to clang++ in clang-tidy check · 304ae28d
  Jan Trávníček authored 3 years ago
  
  304ae28d
- clang-tidy: suppress statistics output · a5597d9f
  Jan Trávníček authored 3 years ago
  
  a5597d9f