Generatorfactory and 0*y = 0

[Bart Bogaerts]

In the generatorfactory, when visiting TimesInternalFuncTable for example, sometimes a divgenerator is made. However, we should also incorporate the possibility that (if say x*y=z is the formula) both x and z are 0.

Thus, we should make a disjunction of the current generator and a checker that checks x=0,z=0,y~=0.

However, this is not so easy since twochildgeneratornodes require a generator and a checker...

[Broes De Cat]

One solution would be to create a general union generator, which gets a set of generator as input. Problem with that is that in general, we have to solve it generating multiple times the same tuple.

Solution here: create a twochildgeneratornode with a truegen and a checker x=0 & z=0. False branch: the divgenerator, True branch: generate universe.

[Bart Bogaerts]

fixes issue 116: timesanddivgenerators that incalculate the possibilities of zeros

→ 7ab07191d52b