← 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/simulation/TimedArcPetriNetTrace.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/simulation/TimedArcPetriNetTrace.java
7
7
import dk.aau.cs.model.tapn.TimedToken;
8
8
import dk.aau.cs.util.Require;
9
9
import dk.aau.cs.verification.VerifyTAPN.TraceType;
 
10
import org.jetbrains.annotations.NotNull;
10
11
 
11
12
public class TimedArcPetriNetTrace implements Iterable<TimedArcPetriNetStep> {
12
13
        private boolean nextIsLoop;     
31
32
                steps.add(step);
32
33
        }
33
34
 
34
 
        public Iterator<TimedArcPetriNetStep> iterator() {
 
35
        public @NotNull Iterator<TimedArcPetriNetStep> iterator() {
35
36
                return steps.iterator();
36
37
        }
37
38