← Back to branch summary

~tapaal-contributor/tapaal/autodetect-lens-check2

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/model/tapn/NetworkMarking.java

merged in lp:~yrke/tapaal/evenMore-gui-cleanup doing GUI cleanup and fixing memory access check, about menu in Mac, exception in verification and reenabled quick draw

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/model/tapn/NetworkMarking.java
8
8
 
9
9
import dk.aau.cs.model.NTA.trace.TraceToken;
10
10
import pipe.gui.CreateGui;
11
 
import dk.aau.cs.model.tapn.TimedPlace.PlaceType;
12
11
import dk.aau.cs.model.tapn.simulation.FiringMode;
13
12
import dk.aau.cs.util.Require;
14
13
import dk.aau.cs.util.Tuple;