#73 oclingo: query forgotten if program is incremented

v1.x
wont-fix
None
1
2014-04-24
2012-10-25
No

This is to highlight the issues pointed out by Martin in the comment section of https://sourceforge.net/p/potassco/bugs/70/. For the base and cumulative part given in https://sourceforge.net/p/potassco/bugs/70/#b510 streamed queries as in https://sourceforge.net/p/potassco/bugs/_discuss/thread/4501f706/4334/attachment/input.lp (i.e., volatile constraints) are forgotten as soon as the cumulative part will be incremented. Apparently, the life-time of the #volatile statements in the stream falsely depend on the incremental counter of the cumulative part. That is, they are dropped as soon as the incremental counter is raised while searching for an answer.

Discussion

    • assigned_to: Philipp Obermeier
     
    • status: open --> wont-fix
     
  • oclingo development is discontinued - please switch to clingo-4