Issues Show Unassigned Show All Search
Login Remember me? Register Lost your login?
Help Roundup docs
Created on 2014-10-09.15:22:32 by silvan, last changed by silvan.
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.
This is part of issue432.
TransitionSystem::apply_abstraction should consider the special case that nothing is actually being shrunk and then leave the method.