Message4779

Author silvan
Recipients malte, silvan
Date 2015-11-12.09:26:35
Content
issue583 has been merged. Item B, "splitting TransitionSystem" into several
parts, can be considered done, but the new class FactoredTransitionSystem still
allows further improvements.
History
Date User Action Args
2015-11-12 09:26:35silvansetmessageid: <1447316795.97.0.797057643313.issue567@unibas.ch>
2015-11-12 09:26:35silvansetrecipients: + silvan, malte
2015-11-12 09:26:35silvanlinkissue567 messages
2015-11-12 09:26:35silvancreate