Transformations and options
Transformations (e.g. GraphFuncsAndAggregates) should always behave the same. They should not be influenced by the current set of options. At least, not by options like groundwithbounds or cpsupport.
Now, they do behave differently depending on other options that might not even be relevant at the point where the option is called. For example in getGenerator() in the grounderfactory, we really want to graph all functions and aggregates, no matter what the value for cpsupport is...
SOLUTION: pass these flags in the constructor instead of asking for the global option.
Comments (7)
-
-
reporter -
assigned issue to
-
assigned issue to
-
reporter see f8d8372bb404
-
reporter see
#168: fixes the additional issue -
reporter see
#168also for the funcconstraints -
reporter - changed status to resolved
checked the falses in GraphFuncAndAggs. Fixes
#168 -
- removed milestone
Removing milestone: Later (automated comment)
- Log in to comment
Additional issue: nbmodels (an MX option) is used to distinguish whether to make an equivalent GROUNDING or not. This should not happen, as nbmodels then changes the grounding behavior even when not doing mx. Solution: add an option to ground, which when doing mx is set according to its number of models within the call to ground.