← 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/TimeInvariant.java

merged in lp:~yrke/tapaal/removeSpecialBatchLoading removing special loading of nets in batch processing

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/model/tapn/TimeInvariant.java
13
13
 
14
14
public class TimeInvariant {
15
15
        public static final TimeInvariant LESS_THAN_INFINITY = new TimeInvariant(false, Bound.Infinity);
16
 
        private boolean isUpperIncluded;
17
 
        private Bound upper;
 
16
        private final boolean isUpperIncluded;
 
17
        private final Bound upper;
18
18
 
19
19
        public TimeInvariant(boolean isUpperIncluded, Bound upper) {
20
20
                Require.that(upper != null, "bound cannot be null");