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

import pipe.dataLayer.Template;

import dk.aau.cs.model.tapn.TimedArcPetriNetNetwork;

 

public class LoadedModel implements LoadedBatchProcessingModel {

        private final Collection<TAPNQuery> queries;

        private final TimedArcPetriNetNetwork network;

    private final boolean isTimed;

        public LoadedModel(TimedArcPetriNetNetwork network, Collection<Template> templates, Collection<TAPNQuery> queries, Collection<String> messages){

        this(network, templates, queries, messages, true, false);

    }

 

    public LoadedModel(TimedArcPetriNetNetwork network, Collection<Template> templates, Collection<TAPNQuery> queries, Collection<String> messages, boolean isTimed, boolean isGame){

        this.templates = templates;

        public Collection<Template> templates(){ return templates; }

        public Collection<TAPNQuery> queries(){ return queries; }

        public TimedArcPetriNetNetwork network(){ return network; }

    public Collection<String> getMessages() { return messages; }

 

        public boolean isTimed() {

            return isTimed;

    }