Merge branch feature-shaped into master
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Thu, 3 Apr 2014 06:57:34 +0000 (08:57 +0200)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Thu, 3 Apr 2014 06:57:34 +0000 (08:57 +0200)
commit9d97d3c3cb339b3e78257d19e383df4d3f5bcc74
tree5ecf0303a025cc930292223779013d39cd4432af
parent0041fbe99eab12df177e877bd5fe8d2f6fce9b0d
parent20ff2bd915d116223e1ea9eda60647c60de98725
Merge branch feature-shaped into master

Generalizing both Vecs in the type of get to instances of Shaped. Thus allowing
trees and other data structures to be used.