← Back to branch summary

~verifypn-maintainers/verifypn/new-trunk

« back to all changes in this revision

Viewing changes to PetriEngine/PQL/Contexts.h

  • Committer: Jiri Srba
  • Date: 2018-09-11 17:19:06 UTC
  • mfrom: (212.1.4 query_rewrite_fix)
  • Revision ID: srba@cs.aau.dk-20180911171906-ovswtfhfcr2vcs52
merged in branch lp:~verifypn-cpn/verifypn/query_rewrite_fix fixing a bug in query rewriting

Show diffs side-by-side

added added

removed removed

Lines of Context:
PetriEngine/PQL/Contexts.h
144
144
                _marking = marking;
145
145
                _net = net;
146
146
            }
 
147
            
 
148
            EvaluationContext() {};
147
149
 
148
150
            const MarkVal* marking() const {
149
151
                return _marking;
157
159
                return _net;
158
160
            }
159
161
        private:
160
 
            const MarkVal* _marking;
161
 
            const PetriNet* _net;
 
162
            const MarkVal* _marking = nullptr;
 
163
            const PetriNet* _net = nullptr;
162
164
        };
163
165
 
164
166
        /** Context for distance computation */