← Back to branch summary

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

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/io/LoadedModel.java

  • Committer: srba.jiri at gmail
  • Date: 2020-08-03 14:00:57 UTC
  • mfrom: (1067.2.23 tapaalSaveLoad)
  • Revision ID: srba.jiri@gmail.com-20200803140057-ut4f08qccu63dv24
merged in lp:~tapaal-contributor/tapaal/load-and-save-time-and-game-net-properties introducing lense (timed,game) for future implementation of net projections

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/io/LoadedModel.java
9
9
public class LoadedModel{
10
10
        private Collection<Template> templates;
11
11
        private Collection<TAPNQuery> queries;
12
 
        private TimedArcPetriNetNetwork network; 
13
 
        
 
12
        private TimedArcPetriNetNetwork network;
 
13
    private boolean isTimed;
 
14
    private boolean isGame;
 
15
 
14
16
        public LoadedModel(TimedArcPetriNetNetwork network, Collection<Template> templates, Collection<TAPNQuery> queries){
15
17
                this.templates = templates;
16
18
                this.network = network;
17
 
                this.queries = queries; 
 
19
                this.queries = queries;
18
20
        }
19
21
 
 
22
    public LoadedModel(TimedArcPetriNetNetwork network, Collection<Template> templates, Collection<TAPNQuery> queries, boolean isTimed, boolean isGame){
 
23
        this.templates = templates;
 
24
        this.network = network;
 
25
        this.queries = queries;
 
26
        this.isTimed = isTimed;
 
27
        this.isGame = isGame;
 
28
    }
 
29
 
20
30
        public Collection<Template> templates(){ return templates; }
21
31
        public Collection<TAPNQuery> queries(){ return queries; }
22
32
        public TimedArcPetriNetNetwork network(){ return network; }
 
33
        public boolean isTimed() {
 
34
            return isTimed;
 
35
    }
 
36
    public boolean isGame() {
 
37
            return isGame;
 
38
    }
23
39
}
 
 
b'\\ No newline at end of file'