Aggregates in BDDs

[Bart Bogaerts]

TODO: * dynamic programming when creating set expressions in manager (not much gain i guess) * For the moment, when creating generators. If the BDD contains aggregates, they are unnested in createfrompredform. It might be useful to UnnestAndGraphAggregates for bdds in advance... **However, on the other hand, the smart tricks to choose the order in which to generate them, can then not be done.

DONE: * Adapting all visitors to handle aggregates -> DONE * Review and adapt the BDDToGenerator -> DONE

[Bart Bogaerts]

(see #119) adapting the visitors: filled them with notyetimplementeds everywhere code might be needed

→ 3fa2e3d5383d

[Bart Bogaerts]

FoBdd(Agg) -> Generator is ready.

• see #119
• Next TODO: write tests for query
• I believe AggKernel is useful to make the distinction when creating generators (much more efficient from an aggkernel than from a AtomKernel -> Else we would do AtomKernel -> PredForm -> AggForm -> AggKernel and create from the AggKernel anyway)

→ 5058e5ff7e2a

[Bart Bogaerts]

(see #119) adapting the visitors: filled them with notyetimplementeds everywhere code might be needed

→ 3fa2e3d5383d

[Bart Bogaerts]

FoBdd(Agg) -> Generator is ready.

• see #119
• Next TODO: write tests for query
• I believe AggKernel is useful to make the distinction when creating generators (much more efficient from an aggkernel than from a AtomKernel -> Else we would do AtomKernel -> PredForm -> AggForm -> AggKernel and create from the AggKernel anyway)

→ 5058e5ff7e2a

[Bart Bogaerts]

dynamic programming: not done but not enough gain.

[Broes De Cat]

Removing milestone: Later (automated comment)