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

merged in lp:~yrke/tapaal/fix-1887524-prepostSetSize fixing issues with calculating preset and postset sizes for nets with inhibitor arcs

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/model/tapn/TimedPlace.java
200
200
    }
201
201
 
202
202
    public int presetSize() {
203
 
        return preset.size() + transportArcs.size() + inhibitorArcs.size();
 
203
        return preset.size() + transportArcs.size();
204
204
    }
205
205
 
206
206
    public int postsetSize() {
207
207
        return postset.size() + transportArcs.size() + inhibitorArcs.size();
208
208
    }
209
 
 
210
209
}
 
 
b'\\ No newline at end of file'