← Back to branch summary

~yrke/tapaal/removeNetType

« back to all changes in this revision

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

Merged lp:~yrke/tapaal/testbranch-syntaxOnlyChanges

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/model/tapn/IntBound.java
3
3
import dk.aau.cs.util.Require;
4
4
 
5
5
public class IntBound implements Bound {
6
 
        private int bound;
 
6
        private final int bound;
7
7
 
8
8
        public IntBound(int bound) {
9
9
                Require.that(bound >= 0, "Integer bounds must be non-negative.");