Message4517

Author malte
Recipients malte, silvan
Date 2015-07-28.15:05:06
Content
Some additional items:

H. Introduce a namespace for merge-and-shrink.

I. Reconsider default values for shrinking strategy limits (msg4429, msg4430)?

J. Atomic transition system construction could be made faster w.r.t. irrelevant
operators (msg4462, item 1).

K. Atomic transition system construction could be made smarter w.r.t. multiple
conditional effects on the same variable. This would require dedicated domains
to test impact and correctness (msg4462, item 2).

L. TransitionSystem::get_init_distance() and
TransitionSystem::get_goal_distance() should disappear; instead the Distances
object should be asked directly. This should be an inlinable code path (msg4467,
msg4468).
History
Date User Action Args
2015-07-28 15:05:06maltesetmessageid: <1438088706.64.0.663647649657.issue567@unibas.ch>
2015-07-28 15:05:06maltesetrecipients: + malte, silvan
2015-07-28 15:05:06maltelinkissue567 messages
2015-07-28 15:05:06maltecreate