Commits · 5316b51bb890f4658e8b2c4b0b05cc27ff061753 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Aug 30, 2017
- use cli in reverse binary · 5316b51b
  Jan Trávníček authored 7 years ago
  
  5316b51b
Aug 26, 2017
- register common automata algorithms to abstraction · 0f220973
  Jan Trávníček authored 7 years ago
  
  0f220973
Aug 18, 2017
- register Cartesian intersection of automata in abstraction · 02c5085f
  Jan Trávníček authored 7 years ago
  
  02c5085f
Aug 11, 2017
- move pair to ext namespace · 01ff6206
  Jan Trávníček authored 7 years ago
  
  01ff6206
- move tuple to ext namespace · 244179cd
  Jan Trávníček authored 7 years ago
  
  244179cd
- move map to ext namespace · 8e681f2c
  Jan Trávníček authored 7 years ago
  
  8e681f2c
- move set to ext namespace · c645a96e
  Jan Trávníček authored 7 years ago
  
  c645a96e
- move vector to ext namespace · 3fef381f
  Jan Trávníček authored 7 years ago
  
  3fef381f
Aug 08, 2017
- move iterator extensions to ext namespace · 7942c75a
  Jan Trávníček authored 7 years ago
  
  7942c75a
Aug 07, 2017
- move range to namespace ext · e85a5799
  Jan Trávníček authored 7 years ago
  
  e85a5799
Aug 04, 2017
- move to_string and from_string to ext namespace · 91a09721
  Jan Trávníček authored 7 years ago
  
  91a09721
Aug 03, 2017
- move dispatch algos from namespace std to alib · e9ada489
  Jan Trávníček authored 7 years ago
  
  e9ada489
Jul 16, 2017
- algorithm overloads registration unified · 7968cd68
  Jan Trávníček authored 7 years ago
  
  7968cd68
- use registration class to unify cast registration · be9de068
  Jan Trávníček authored 7 years ago
  
  be9de068
Jul 03, 2017
- use range in DFAs transitions from state · 5d6ae957
  Jan Trávníček authored 7 years ago
  
  5d6ae957
Apr 24, 2017
- normalize Cartesian product based algorithms · 4ec0d1cd
  Jan Trávníček authored 7 years ago
  
  4ec0d1cd
Jan 11, 2017
- delete some not needed classes + cleanup includes · a1c63108
  Jan Trávníček authored 8 years ago
  
  a1c63108
Jan 04, 2017
- template AutomataUnionCartesianProduct algorithm · 2cb0c1b3
  Jan Trávníček authored 8 years ago
  
  2cb0c1b3
Jan 03, 2017
- template automata intersection cartesian product · ee35ba0c
  Jan Trávníček authored 8 years ago
  
  ee35ba0c
Dec 22, 2016
- finish transformation from Symbol and Label to Object types · 114f04fc
  Jan Trávníček authored 8 years ago
  
  114f04fc
Dec 21, 2016
- use default data types in PDA <-> RHPDA <-> PDA · df400674
  Jan Trávníček authored 8 years ago
  
  df400674
Dec 19, 2016
- fix templating -- use template parameter · 53ad5e33
  Jan Trávníček authored 8 years ago
  
  53ad5e33
- template some conversion algorithms · 26600c44
  Jan Trávníček authored 8 years ago
  
  26600c44
Dec 18, 2016
- template some more algorithms · 4f62bf89
  Jan Trávníček authored 8 years ago
  
  4f62bf89
- template automaton reverse algorithm · 5df5e174
  Jan Trávníček authored 8 years ago
  
  5df5e174
Dec 16, 2016
- simplify automata transform algorithms · bd67beb3
  Jan Trávníček authored 8 years ago
  
  bd67beb3
Dec 06, 2016
- create symbol, primitive, label using constructors · b5bb1c28
  Jan Trávníček authored 8 years ago
  
  b5bb1c28
Nov 18, 2016
- new approach to specify constant labels · 8e0088ba
  Jan Trávníček authored 8 years ago
  
  8e0088ba
- new approach to specify constant symbols · f4861fba
  Jan Trávníček authored 8 years ago
  
  f4861fba
Nov 14, 2016
- use new createUnique approach · e908bf1e
  Jan Trávníček authored 8 years ago
  
  e908bf1e
Nov 08, 2016
- enable and fix additional warnings for alib2algo · f692d876
  Jan Trávníček authored 8 years ago
  
  f692d876
Nov 04, 2016
- fix iteration of automata · 5536dd20
  Jan Trávníček authored 8 years ago
  
  5536dd20
Sep 21, 2016
- template RealTimeHeightDeterministicNPDA automaton · fa2f56bf
  Jan Trávníček authored 8 years ago
  
  fa2f56bf
- template RealTimeHeightDetermnisticDPDA automaton · 11106fec
  Jan Trávníček authored 8 years ago
  
  11106fec
Sep 15, 2016
- template NPDA automaton · 15a9e3c9
  Jan Trávníček authored 8 years ago
  
  15a9e3c9
- template DPDA automaton · 4dcc8aa9
  Jan Trávníček authored 8 years ago
  
  4dcc8aa9
Sep 05, 2016
- make dispatch algorithms more general · 83e36524
  Jan Trávníček authored 8 years ago
  
  83e36524
Sep 01, 2016
- templated epsilon · 38eb8f32
  Jan Trávníček authored 8 years ago
  
  38eb8f32
- make EpsilonNFA templated · c55e3098
  Jan Trávníček authored 8 years ago
  
  c55e3098
Aug 25, 2016
- templates for CompactNFA plus some optimisations · ea0a931f
  Jan Trávníček authored 8 years ago
  
  ea0a931f