Creating infinite grounding when old version didn't

[Joachim Jansen]

Running the version from commit a991986, the attached file gives no problems. The newest version of IDP will try to produce an infinite grounding.

> Warning: Possibly generating an infinite grounding, be careful!

[Joachim Jansen]

This is the output when setting all verbosity very high. After the last line in the file, IDP keeps running but does not produce any more output.

[Bart Bogaerts]

Dit is een probleem met het queryen van BDDs. En meerbepaald met de volgorde van generatie. Waarschijnlijk zal dit opgelost zijn eens Pieter klaar is met zijn verbeteringen van het query-algoritme.

Als bijlage geef ik de concrete problematische bdd's, met iets meer uitleg.

Bij deze draag ik de issue over aan @PieterVH

[Bart Bogaerts]

Moved optimizebdd to BDD2Generator

Moving it there resulted in: * Better performance on some tests: now also local optimality can be achieved * Simpeler code: in several other classes optimization is no longer needed (no longer allowed) ---> several optimizemethods were deleted

see #274: this specific file is now fixed but querying should still be improved

→ <<cset a2928e7fe28c>>

[Bart Bogaerts]

Moved optimizebdd to BDD2Generator

Moving it there resulted in: * Better performance on some tests: now also local optimality can be achieved * Simpeler code: in several other classes optimization is no longer needed (no longer allowed) ---> several optimizemethods were deleted

see #274: this specific file is now fixed but querying should still be improved

→ <<cset 2a485aea156d>>

[Bart Bogaerts]

Moved optimizebdd to BDD2Generator

Moving it there resulted in: * Better performance on some tests: now also local optimality can be achieved * Simpeler code: in several other classes optimization is no longer needed (no longer allowed) ---> several optimizemethods were deleted

see #274: this specific file is now fixed but querying should still be improved

→ <<cset a4f33b340a03>>

[Bart Bogaerts]

Moved optimizebdd to BDD2Generator

Moving it there resulted in: * Better performance on some tests: now also local optimality can be achieved * Simpeler code: in several other classes optimization is no longer needed (no longer allowed) ---> several optimizemethods were deleted

see #274: this specific file is now fixed but querying should still be improved

→ <<cset 820e28c9013f>>

[Bart Bogaerts]

Moved optimizebdd to BDD2Generator

Moving it there resulted in: * Better performance on some tests: now also local optimality can be achieved * Simpeler code: in several other classes optimization is no longer needed (no longer allowed) ---> several optimizemethods were deleted

see #274: this specific file is now fixed but querying should still be improved

→ <<cset 820e28c9013f>>