search

ModelInference / synoptic

Inferring models of systems from observations of their behavior
Other
83 stars 25 forks source link

Get all EventNode transitions between two Partitions #330

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Implement a way of retrieving all EventNode transitions between two specific 
Partitions. For example, we could add a method (in Partition) similar to the 
following:

Set<ITransition<EventNode>> getEventTransitionsWithExactRelations(Partition p, 
Set<String> relations)

Original issue reported on code.google.com by tonyohm...@gmail.com on 6 Aug 2013 at 10:55

GoogleCodeExporter commented 9 years ago

Original comment by tonyohm...@gmail.com on 7 Aug 2013 at 4:38

GoogleCodeExporter commented 9 years ago 
I'm also updating constrained model checking and constrained refinement to use 
the new method.

Original comment by tonyohm...@gmail.com on 7 Aug 2013 at 7:03

GoogleCodeExporter commented 9 years ago 
Solution in revision 757d12505235, please review.

Original comment by tonyohm...@gmail.com on 12 Aug 2013 at 5:49

GoogleCodeExporter commented 9 years ago 
Merged into default with revision 1c40cb66a2c5

Original comment by bestchai on 14 Aug 2013 at 4:20