Issue487

Title M&S refactoring: apply_abstraction should return if nothing is actually being shrunk
Priority wish Status resolved
Superseder Nosy List malte, silvan
Assigned To silvan Keywords
Optional summary

Created on 2014-10-09.15:22:32 by silvan, last changed by silvan.

Messages
msg3752 (view) Author: silvan Date: 2014-10-09.23:20:26
http://ai.cs.unibas.ch/_tmp_files/sieverss/2014-10-09-issue487-v1-cggl-comp.html
http://ai.cs.unibas.ch/_tmp_files/sieverss/2014-10-09-issue487-v1-dfp-comp.html
http://ai.cs.unibas.ch/_tmp_files/sieverss/2014-10-09-issue487-v1-rl-comp.html

Setting this one to resolved.
msg3750 (view) Author: silvan Date: 2014-10-09.15:24:12
This is part of issue432.
msg3749 (view) Author: silvan Date: 2014-10-09.15:22:32
TransitionSystem::apply_abstraction should consider the special case that
nothing is actually being shrunk and then leave the method.
History
Date User Action Args
2014-10-09 23:20:26silvansetstatus: chatting -> resolved
messages: + msg3752
2014-10-09 15:24:29silvansetnosy: + malte
2014-10-09 15:24:12silvansetmessages: + msg3750
2014-10-09 15:22:32silvancreate