Commits · de73acececdd63b79b824930d17c77b796a7b6ac · Algorithms Library Toolkit / Algorithms Library Toolkit Core

"alib2abstraction/src/registration/AlgoRegistration.hpp" did not exist on "244179cdf437c09ad0ecfeeacb53312443363390"

Apr 06, 2020
- test unit build in automaton run · de73acec
  Jan Trávníček authored 5 years ago
  
  de73acec
- test unit build in automaton simplify · 08487063
  Jan Trávníček authored 5 years ago
  
  08487063
- test unit build in automaton transform · 18777aaa
  Jan Trávníček authored 5 years ago
  
  18777aaa
- test unit build in grammar generate · 1c5521be
  Jan Trávníček authored 5 years ago
  
  1c5521be
- test unit build in grammar properties · 850a6b4c
  Jan Trávníček authored 5 years ago
  
  850a6b4c
- test unit built in grammar convert · c42402df
  Jan Trávníček authored 5 years ago
  
  c42402df
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
- prepare unordered tree pattern matching · 4a0c16a1
  Jan Trávníček authored 5 years ago
  
  4a0c16a1
Dec 04, 2019
- improve NFTA determinisation · ab4989bd
  Jan Trávníček authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  ab4989bd
- improve bottom up NFTA pattern matching construction algo · 1f554ac4
  Jan Trávníček authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  1f554ac4
Nov 13, 2019
- allow NFA to be minimized by equivalence classes · 85a06d51
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  85a06d51
- test implementation forward and backward bisimulation FSM · 42a18b90
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  42a18b90
- redesign undistinguishable states computation · ebc6b852
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  ebc6b852
- backward bisimulation and forward bisimulation by definition · 302a4980
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  302a4980
- redesign distinguishable to undistinguishable states relation conversion · f6df4c0b
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  f6df4c0b
- redesign minimize by equivalence partitioning · 9afc56a1
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  9afc56a1
- construction algos for some AAG automata · 9cd08197
  Jan Trávníček authored 5 years ago
  
  9cd08197
- some more determinisation tweaks · fc2d10ae
  Jan Trávníček authored 5 years ago
  
  fc2d10ae
- simplify local closure computation · 8030b6f0
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  8030b6f0
- automaton::simplify::Total: No op for FSM with total transition function (Closes #177 ) · dfd357b6
  Tomáš Pecka authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  dfd357b6
- Algo: CFG alternation/concatenation/iteration (#171 ) · bc250a22
  Tomáš Pecka authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  bc250a22
- GlushkovIndexate: Fix function parameter evaluation order (closes #176 ) · f46c7cb7
  Tomáš Pecka authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  f46c7cb7
Nov 09, 2019
- fix some more static assert issues · 3d2b1cdd
  Jan Trávníček authored 5 years ago
  
  3d2b1cdd
- some more cppcheck issues · 7c369dec
  Jan Trávníček authored 5 years ago
  
  7c369dec
- fix some cppcheck issues · 2db7fe14
  Jan Trávníček authored 5 years ago
  
  2db7fe14
Oct 24, 2019
- Tree MP: Use quadratic BA computation · f31744b6
  Tomáš Pecka authored 5 years ago
  
  f31744b6
- Tree BA: adapt to definition in paper · 78cb2af5
  Tomáš Pecka authored 5 years ago
  
  78cb2af5
Oct 10, 2019
- Tree Border Array - quadratic time solution · c41214cc
  Tomáš Pecka authored 5 years ago
  
  c41214cc
Oct 08, 2019
- fix FormalRegExp Simplify · c94e397e
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  c94e397e
- fix unfortunate condition inverse · d055c4e6
  Jan Trávníček authored 5 years ago
  
  d055c4e6
Sep 29, 2019
- make tree automaton total · a7548798
  Jan Travnicek authored 5 years ago and Jan Trávníček committed 5 years ago
  
  a7548798

Admin message