GeneratorNodes should be removed

Currently, a treeinstgenerator consists of only a generatornode. This has no use, since the generatornodes are in fact the actual generators. Refactor this such that Onechildgenerator, twochildgenerator are generators instead of nodes...

Extra argument for this: everywhere, we are "casting" generators to nodes and vice versa (take a look in BDDBasedGeneratorFactory for creations of LeafgeneratorNodes (which are infact simply instgenerators) and TreeInstGenerators...

Comments (2)