Quantify in fobddmanager

[Broes De Cat]

Quantifying over a set of variables can explode the bdds and size is not checked intermediately.

[Bart Bogaerts]

Fixed quantification in propagation

Instead of quantifying all variables at once, we now quantify one by one during propagation. Doing this results in faster detection of inadmissible domains. (when this was not done yet, we could get very large BDDs that turned out to be inadmissible anyway) -> this resulted in memory overflows. This fixes #317

After this commit, all slow tests are working. Hence this also fixes #317.

→ <<cset f4271c534cac>>

[Bart Bogaerts]

Fixed quantification in propagation

Instead of quantifying all variables at once, we now quantify one by one during propagation. Doing this results in faster detection of inadmissible domains. (when this was not done yet, we could get very large BDDs that turned out to be inadmissible anyway) -> this resulted in memory overflows. This fixes #317

After this commit, all slow tests are working. Hence this also fixes #317.

→ <<cset f4271c534cac>>

[Bart Bogaerts]

Fixed quantification in propagation

Instead of quantifying all variables at once, we now quantify one by one during propagation. Doing this results in faster detection of inadmissible domains. (when this was not done yet, we could get very large BDDs that turned out to be inadmissible anyway) -> this resulted in memory overflows. This fixes #317

After this commit, all slow tests are working. Hence this also fixes #317.

→ <<cset 7b90267cebc2>>

[Bart Bogaerts]

Fixed quantification in propagation

Instead of quantifying all variables at once, we now quantify one by one during propagation. Doing this results in faster detection of inadmissible domains. (when this was not done yet, we could get very large BDDs that turned out to be inadmissible anyway) -> this resulted in memory overflows. This fixes #317

After this commit, all slow tests are working. Hence this also fixes #317.

→ <<cset 7b90267cebc2>>

[Bart Bogaerts]

Fixed quantification in propagation

Instead of quantifying all variables at once, we now quantify one by one during propagation. Doing tht pushis results in faster detection of inadmissible domains. (when this was not done yet, we could get very large BDDs that turned out to be inadmissible anyway) -> this resulted in memory overflows. This fixes #317

After this commit, all slow tests are working. Hence this also fixes #317.

→ <<cset de27fb504874>>

[Bart Bogaerts]

Fixed quantification in propagation

Instead of quantifying all variables at once, we now quantify one by one during propagation. Doing tht pushis results in faster detection of inadmissible domains. (when this was not done yet, we could get very large BDDs that turned out to be inadmissible anyway) -> this resulted in memory overflows. This fixes #317

After this commit, all slow tests are working. Hence this also fixes #317.

→ <<cset de27fb504874>>