Commits · b5bb1c285d3a0dcd76bfea7b9f55b897dfd80459 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Dec 06, 2016
- create symbol, primitive, label using constructors · b5bb1c28
  Jan Trávníček authored 8 years ago
  
  b5bb1c28
- move tree properties comput. algorithms elsewhere · 5cb7ac75
  Jan Trávníček authored 8 years ago
  
  5cb7ac75
Nov 26, 2016
- ease requirements on RankType · 3e93e25c
  Jan Trávníček authored 8 years ago
  
  3e93e25c
Nov 18, 2016
- new approach to specify constant symbols · f4861fba
  Jan Trávníček authored 8 years ago
  
  f4861fba
Nov 08, 2016
- enable and fix additional warnings for alib2algo · f692d876
  Jan Trávníček authored 8 years ago
  
  f692d876
Oct 11, 2016
- template NFTA automaton · 62add538
  Jan Trávníček authored 8 years ago
  
  62add538
- template PrefixRankedBarPattern tree · 35edd809
  Jan Trávníček authored 8 years ago
  
  35edd809
- template PrefixRankedPattern tree · db9fc491
  Jan Trávníček authored 8 years ago
  
  db9fc491
- template PrefixRankedBarTree tree · 42dab16e
  Jan Trávníček authored 8 years ago
  
  42dab16e
Oct 10, 2016
- template PrefixRankedTree tree · 2fd2de35
  Jan Trávníček authored 8 years ago
  
  2fd2de35
- template RankedPattern tree · 4c838312
  Jan Trávníček authored 8 years ago
  
  4c838312
- template RankedTree tree · ab54d1e2
  Jan Trávníček authored 8 years ago
  
  ab54d1e2
- make ranked symbol templated · 310d4b86
  Jan Trávníček authored 8 years ago
  
  310d4b86
Sep 21, 2016
- template VisiblyPushdownNPDA automaton · 1b3deb5f
  Jan Trávníček authored 8 years ago
  
  1b3deb5f
Sep 15, 2016
- template NPDA automaton · 15a9e3c9
  Jan Trávníček authored 8 years ago
  
  15a9e3c9
- template InputDrivenNPDA automaton · dd203e42
  Jan Trávníček authored 8 years ago
  
  dd203e42
Sep 13, 2016
- use std tree in tree data structures · 320b7460
  Jan Trávníček authored 8 years ago
  
  320b7460
Aug 21, 2016
- make wrapper base more safe · c2f56c27
  Jan Trávníček authored 8 years ago
  
  c2f56c27
- continue with alib2algo · 96d6df65
  Jan Trávníček authored 8 years ago
  
  96d6df65
May 30, 2016
- Stack to PushdownStore rename · df1f7bee
  Jan Trávníček authored 8 years ago
  
  df1f7bee
May 29, 2016
- Tree automata use components · 27e4b72f
  Jan Trávníček authored 8 years ago
  
  27e4b72f
May 05, 2016
- more strict linearised tree representations · 9b70641d
  Jan Trávníček authored 8 years ago
  
  9b70641d
Apr 15, 2016
- simplify dispatch and error reporting · 1b79f68c
  Jan Trávníček authored 8 years ago
  
  1b79f68c
Apr 14, 2016
- AlibException->CommonException in alib2algo · a65e65d4
  Jan Trávníček authored 8 years ago
  
  a65e65d4
Oct 24, 2015
- relax type limitations RankedTreeWrapper -> Tree · a05bb517
  Jan Trávníček authored 9 years ago
  
  a05bb517
Oct 21, 2015
- aPrefixRankedBarTree/Pattern -> matching automaton · 0cedf7f6
  Jan Trávníček authored 9 years ago
  
  0cedf7f6
- forward call to the same implementation elsewhere · ed864e2b
  Jan Trávníček authored 9 years ago
  
  ed864e2b
Oct 20, 2015
- format code · 6164bf5b
  Jan Trávníček authored 9 years ago
  
  6164bf5b
- exact tree pattern matching automaton construction · 96141d3d
  Jan Trávníček authored 9 years ago
  
  96141d3d
Oct 16, 2015
- + exact pattern matching with Tree Automata · 96d09b3e
  Jan Trávníček authored 9 years ago
  
  96d09b3e

Admin message