Commits · 3544acf4aa7d32cb28699fa2bb9b46eea212bb8a · Algorithms Library Toolkit / Algorithms Library Toolkit Core · GitLab

Snippets Groups Projects

Jun 23, 2021
- graph algo: fix Dijkstra's algo · 3544acf4
  Jan Trávníček authored 3 years ago
  
  3544acf4
- data: fixup ext vs std in IndexesNormalize · bf6d1072
  Jan Trávníček authored 3 years ago
  
  bf6d1072
- std: fixes in use of spaceship operator · 1f49d21c
  Jan Trávníček authored 3 years ago
  
  1f49d21c
- std: make more relation operators derivable from spaceship · ad32dcb6
  Jan Trávníček authored 3 years ago
  
  ad32dcb6
May 28, 2021
- data: update documentation of various TA · 1dbb5f7c
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  Unverified
  
  1dbb5f7c
- data: unify AF{D,N}ZA vs {D,N}AFZA to AF{D,N}ZA · e3233cbe
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  Unverified
  
  e3233cbe
- aux: convert ZAutomaton to Dot · 3f6c9cae
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  Unverified
  
  3f6c9cae
- algo: simplify UnrankedPatternMatchingAutomaton · ea7a89ef
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  Unverified
  
  ea7a89ef
- algo: map to bool -> set in automata generators · 225ad4bb
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  Unverified
  
  225ad4bb
- algo: simplify infinite language · f458ab5b
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  Unverified
  
  f458ab5b
- algo: simplify regular equations solver · 9c5a13fe
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  Unverified
  
  9c5a13fe
- algo: optimize EpsilonClosure code · 37fa8e73
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  Unverified
  
  37fa8e73
- tests: RTE to Epsilon FTA test · 89e981cd
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  Unverified
  
  89e981cd
- algo: Epsilon exclusion for EpsilonNFTA · 2a1d4873
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  Unverified
  
  2a1d4873
- aux: EpsilonNFTA to dot converter · 01a6747b
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  Unverified
  
  01a6747b
- algo: epsilon closure for EpsilonNFTA · 05374275
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  Unverified
  
  05374275
- algo: RTE to EpsilonNFTA by Thompson's like method · a03f9164
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  Unverified
  
  a03f9164
- algo: remove not-supposed-to-exist declaration from Glushkov follow · 3ae215b2
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  Unverified
  
  3ae215b2
- data: add epsilon NFTA · dfedadeb
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  Unverified
  
  dfedadeb
- examples: another zautomaton example · c11a19e9
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  Unverified
  
  c11a19e9
- algo: trim of nondeterministic zautomaton · 6ac9daa4
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  Unverified
  
  6ac9daa4
- algo: trim for Z-Automata · 45eeb955
  Tomáš Pecka authored 3 years ago
  
  Unverified
  
  45eeb955
- algo: useless states remover for Z-Automata · 051e080d
  Tomáš Pecka authored 3 years ago
  
  Unverified
  
  051e080d
- algo: unreachable states remover for Z-Automata · 7889f49f
  Tomáš Pecka authored 3 years ago
  
  Unverified
  
  7889f49f
- algo: reachable states for Z-Automata · 5400f6be
  Tomáš Pecka authored 3 years ago
  
  Unverified
  
  5400f6be
- algo: useful states for Z-Automata · de7830e2
  Tomáš Pecka authored 3 years ago
  
  Unverified
  
  de7830e2
- data: isNAFZA and isDAFZA traits · 954b47a7
  Tomáš Pecka authored 3 years ago
  
  Unverified
  
  954b47a7
- aux: dot converter of arc factored ZAutomata · b42b0ca7
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  Unverified
  
  b42b0ca7
- xml: fix alphabet node of ZAutomata · 4f6005f1
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  Unverified
  
  4f6005f1
- algo: add missing header to ForwardBisimulation · f6f78729
  Tomáš Pecka authored 3 years ago
  
  Unverified
  
  f6f78729
- algo: ZAutomata bisimulation · 61460230
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  Unverified
  
  61460230
- algo: ZAutomaton to PDA · cef792ef
  Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago
  
  Unverified
  
  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