Viewing all changes in revision 1071.
- Committer: srba.jiri at gmail
- Date: 2020-08-03 15:04:21 UTC
- mfrom: (1068.1.1 fix-1887524-prepostSetSize)
- Revision ID: srba.jiri@gmail.com-20200803150421-u9ayyizkzfec308u
merged in lp:~yrke/tapaal/fix-1887524-prepostSetSize fixing issues with calculating preset and postset sizes for nets with inhibitor arcs
- files modified:
- src/dk/aau/cs/model/tapn/TimedArcPetriNet.java
expand all
collapse all
added
removed
