← Back to branch summary

~verifydtapn-contributers/verifydtapn/safety-games-boostrap

« back to all changes in this revision

Viewing changes to src/DiscreteVerification/Generator.h

  • Committer: Peter Gjøl Jensen
  • Date: 2016-01-05 21:38:13 UTC
  • Revision ID: peter.gjoel@gmail.com-20160105213813-7cb1mpblhhz14zsk
Bootstrapping 

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/DiscreteVerification/Generator.h
35
35
                bool done;
36
36
                bool seen_urgent;
37
37
                bool did_noinput;
 
38
                int delay;
38
39
            public:
39
 
                Generator(TAPN::TimedArcPetriNet& tapn);
 
40
                Generator(TAPN::TimedArcPetriNet& tapn, int delay = 1);
40
41
                void from_marking(NonStrictMarkingBase* parent, Mode mode = ALL, bool urgent = false);
41
42
                NonStrictMarkingBase* next(bool do_delay = true);
42
43
                NonStrictMarkingBase* from_delay();
43
44
                size_t children();
44
45
                bool is_enabled();
45
46
                bool urgent(){return seen_urgent;};
 
47
                void set_delay(int del) { delay = del;};
46
48
                
47
49
        private:
48
50
            NonStrictMarkingBase* next_no_input();