- marked as enhancement
- edited description
Evaluate known expressions before MX starts
Everything that can be calculated in advance should be calculated: all formulas/terms/set expressions etcetera with only two-valued symbols.
For example for XSB this is important, for stuff like {Q <- P(MIN[:T])}.
Comments (6)
-
-
reporter Does this include transforming negative integers e.g. -1 from -(1) (applied function) to a domain term?
If so, this fixes issue
#384 -
No, this is a way around
#384, but not a fix. It should still not segfault in such case, e.g., when someone directly calls calcdefs. -
- changed title to Evaluate known expressions before MX starts
- edited description
-
implemented calculating arithmetic before mx
This is a partial fix only, see #534, should be done more completely, also taking the structure into account
→ <<cset e8a6d4980a6d>>
-
implemented calculating arithmetic before mx
This is a partial fix only, see #534, should be done more completely, also taking the structure into account
→ <<cset 62777f0b6932>>
- Log in to comment