Message5579

Author silvan
Recipients malte, silvan
Date 2016-08-23.14:55:35
Content
issue666 makes ShrinkStrategy::shrink virtual to ease combining different shrink
strategies. It also introduces an iterator for FactoredTransitionSystem.
History
Date User Action Args
2016-08-23 14:55:35silvansetmessageid: <1471956935.89.0.282841163601.issue567@unibas.ch>
2016-08-23 14:55:35silvansetrecipients: + silvan, malte
2016-08-23 14:55:35silvanlinkissue567 messages
2016-08-23 14:55:35silvancreate