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

Snippets Groups Projects

Jul 20, 2021
- algo: pattern matching of extended tree patterns + tests · 6bf87b61
  Jan Trávníček authored 3 years ago
  
  6bf87b61
- algo: common tree properties computation for extended patterns · a0fe03c6
  Jan Trávníček authored 3 years ago
  
  a0fe03c6
- algo: random generators of extended patterns · c0ecf1ec
  Jan Trávníček authored 3 years ago
  
  c0ecf1ec
- str: allow reading extended tree patterns · f83a1dac
  Jan Trávníček authored 3 years ago
  
  f83a1dac
- data: add extended tree patterns · a2de955b
  Jan Trávníček authored 3 years ago
  
  Extended tree patterns feature node wildcards representing any label in the match of the pattern in the corresponding node
  a2de955b
- data: simplify use of components in trees · 2948cb90
  Jan Trávníček authored 3 years ago
  
  2948cb90
- data: make alphabet and content checks more effifient in trees · 1fd6cdaf
  Jan Trávníček authored 3 years ago
  
  1fd6cdaf
- data: add NodeWildcardSymbol representation · bc49e0d6
  Jan Trávníček authored 3 years ago
  
  bc49e0d6
Jul 17, 2021
- data: make alphabet mismatch detection more efficient · 0f0f749d
  Jan Trávníček authored 3 years ago
  
  0f0f749d
- algo: count -> contains = more expressive · 26106c5a
  Jan Trávníček authored 3 years ago
  
  26106c5a
- algo: formatting and simplifications · b1808e9b
  Jan Trávníček authored 3 years ago
  
  b1808e9b
- std: add missing const qualification on operator - · 4fb32b22
  Jan Trávníček authored 3 years ago
  
  4fb32b22
- algo: simplify SJT computation · a417057d
  Jan Trávníček authored 3 years ago
  
  a417057d
- algo: simplify the naive border array computation algo · f72de189
  Jan Trávníček authored 3 years ago
  
  f72de189
Jul 08, 2021
- data: drop use of enable if in data · f4cd153a
  Jan Trávníček authored 3 years ago
  
  f4cd153a
Jul 06, 2021
- graph_data: remove unused code · 2f6aab4f
  Jan Trávníček authored 3 years ago
  
  2f6aab4f
- common: use requires instead of enable_if · e5a14779
  Jan Trávníček authored 3 years ago
  
  e5a14779
- abstraction: drop use of enable_if · 43b6c192
  Jan Trávníček authored 3 years ago
  
  43b6c192
Jul 03, 2021
- std: remove require in favor of requires · 5df929c2
  Jan Trávníček authored 3 years ago
  
  5df929c2
- std: improve three-way comparison of tuple and pair · e55d24ac
  Jan Trávníček authored 3 years ago
  
  e55d24ac
- graph_data: remove using namespace std · a6135768
  Jan Trávníček authored 3 years ago
  
  a6135768
- data: optimize transitions from state getter · 430627a4
  Jan Trávníček authored 3 years ago
  
  430627a4
- algo, str: various simplifications · 76c805de
  Jan Trávníček authored 3 years ago
  
  76c805de
- algo: simplify some algos · dd409b69
  Jan Trávníček authored 3 years ago
  
  dd409b69
- std: tuple_size and tuple_element for ext pair · 0ac21245
  Jan Trávníček authored 3 years ago
  
  0ac21245
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