← Back to branch summary

~verifypn-stub/verifypn/inhibitor-por-error

« back to all changes in this revision

Viewing changes to PetriEngine/PQL/Expressions.h

  • Committer: Jiri Srba
  • Date: 2017-12-04 14:08:47 UTC
  • mfrom: (181.5.10 initrw2)
  • Revision ID: srba.jiri@gmail.com-20171204140847-b0u8hwd0vrcbk52r
merged in branch lp:~verifypn-stub/verifypn/initrw additing initial marking rewriting test

Show diffs side-by-side

added added

removed removed

Lines of Context:
PetriEngine/PQL/Expressions.h
242
242
            Retval simplify(SimplificationContext& context) const override;
243
243
            bool isReachability(uint32_t depth) const override;
244
244
            Condition_ptr prepareForReachability(bool negated) const override;
245
 
            Condition_ptr pushNegation(bool negated, negstat_t& stats) const override;
 
245
            Condition_ptr pushNegation(negstat_t&, const EvaluationContext& context, bool nested, bool negated) const override;
246
246
            void toXML(std::ostream&, uint32_t tabs) const override;
247
247
            Quantifier getQuantifier() const override { return Quantifier::E; }
248
248
            Path getPath() const override             { return Path::X; }
255
255
        class EGCondition : public SimpleQuantifierCondition {
256
256
        public:
257
257
            using SimpleQuantifierCondition::SimpleQuantifierCondition;
258
 
            Retval simplify(SimplificationContext& context) const override;
 
258
 
 
259
            Retval simplify(SimplificationContext& context) const override;
259
260
            bool isReachability(uint32_t depth) const override;
260
261
            Condition_ptr prepareForReachability(bool negated) const override;
261
 
            Condition_ptr pushNegation(bool negated, negstat_t& stats) const override;
 
262
            Condition_ptr pushNegation(negstat_t&, const EvaluationContext& context, bool nested, bool negated) const override;
262
263
            void toXML(std::ostream&, uint32_t tabs) const override;
263
264
            Quantifier getQuantifier() const override { return Quantifier::E; }
264
265
            Path getPath() const override             { return Path::G; }            
272
273
        class EFCondition : public SimpleQuantifierCondition {
273
274
        public:
274
275
            using SimpleQuantifierCondition::SimpleQuantifierCondition;
275
 
            Retval simplify(SimplificationContext& context) const override;
 
276
 
 
277
            Retval simplify(SimplificationContext& context) const override;
276
278
            bool isReachability(uint32_t depth) const override;
277
279
            Condition_ptr prepareForReachability(bool negated) const override;
278
 
            Condition_ptr pushNegation(bool negated, negstat_t& stats) const override;
 
280
            Condition_ptr pushNegation(negstat_t&, const EvaluationContext& context, bool nested, bool negated) const override;
279
281
            void toXML(std::ostream&, uint32_t tabs) const override;
280
282
            Quantifier getQuantifier() const override { return Quantifier::E; }
281
283
            Path getPath() const override             { return Path::F; }            
292
294
            Retval simplify(SimplificationContext& context) const override;
293
295
            bool isReachability(uint32_t depth) const override;
294
296
            Condition_ptr prepareForReachability(bool negated) const override;
295
 
            Condition_ptr pushNegation(bool negated, negstat_t& stats) const override;
 
297
            Condition_ptr pushNegation(negstat_t&, const EvaluationContext& context, bool nested, bool negated) const override;
296
298
            void toXML(std::ostream&, uint32_t tabs) const override;
297
299
            Quantifier getQuantifier() const override { return Quantifier::A; }
298
300
            Path getPath() const override             { return Path::X; }
307
309
            Retval simplify(SimplificationContext& context) const override;
308
310
            bool isReachability(uint32_t depth) const override;
309
311
            Condition_ptr prepareForReachability(bool negated) const override;
310
 
            Condition_ptr pushNegation(bool negated, negstat_t& stats) const override;
 
312
            Condition_ptr pushNegation(negstat_t&, const EvaluationContext& context, bool nested, bool negated) const override;
311
313
            void toXML(std::ostream&, uint32_t tabs) const override;
312
314
            Quantifier getQuantifier() const override { return Quantifier::A; }
313
315
            Path getPath() const override             { return Path::G; } 
324
326
            Retval simplify(SimplificationContext& context) const override;
325
327
            bool isReachability(uint32_t depth) const override;
326
328
            Condition_ptr prepareForReachability(bool negated) const override;
327
 
            Condition_ptr pushNegation(bool negated, negstat_t& stats) const override;
 
329
            Condition_ptr pushNegation(negstat_t&, const EvaluationContext& context, bool nested, bool negated) const override;
328
330
            void toXML(std::ostream&, uint32_t tabs) const override;
329
331
            Quantifier getQuantifier() const override { return Quantifier::A; }
330
332
            Path getPath() const override             { return Path::F; }            
373
375
            Retval simplify(SimplificationContext& context) const override;
374
376
            Quantifier getQuantifier() const override { return Quantifier::E; }
375
377
            uint32_t distance(DistanceContext& context) const override;
376
 
            Condition_ptr pushNegation(bool negated, negstat_t& stats) const override;
 
378
            Condition_ptr pushNegation(negstat_t&, const EvaluationContext& context, bool nested, bool negated) const override;
377
379
            void toXML(std::ostream&, uint32_t tabs) const override;
378
380
            
379
381
        private:
387
389
            Quantifier getQuantifier() const override { return Quantifier::A; }            
388
390
            uint32_t distance(DistanceContext& context) const override;
389
391
            void toXML(std::ostream&, uint32_t tabs) const override;
390
 
            Condition_ptr pushNegation(bool negated, negstat_t& stats) const override;
 
392
            Condition_ptr pushNegation(negstat_t&, const EvaluationContext& context, bool nested, bool negated) const override;
391
393
            
392
394
        private:
393
395
            std::string op() const override;
489
491
            void toXML(std::ostream&, uint32_t tabs) const override;
490
492
            void findInteresting(ReducingSuccessorGenerator& generator, bool negated) const override;
491
493
            Quantifier getQuantifier() const override { return Quantifier::AND; }
492
 
            Condition_ptr pushNegation(bool negated, negstat_t& stats) const override;
 
494
            Condition_ptr pushNegation(negstat_t&, const EvaluationContext& context, bool nested, bool negated) const override;
493
495
 
494
496
        private:
495
497
            //int logicalOp() const;
529
531
            void toXML(std::ostream&, uint32_t tabs) const override;
530
532
            void findInteresting(ReducingSuccessorGenerator& generator, bool negated) const override;   
531
533
            Quantifier getQuantifier() const override { return Quantifier::OR; }
532
 
            Condition_ptr pushNegation(bool negated, negstat_t& stats) const override;
 
534
            Condition_ptr pushNegation(negstat_t&, const EvaluationContext& context, bool nested, bool negated) const override;
533
535
        private:
534
536
            //int logicalOp() const;
535
537
            uint32_t delta(uint32_t d1, uint32_t d2, const DistanceContext& context) const override;
590
592
            void toXML(std::ostream&, uint32_t tabs) const override;
591
593
            void findInteresting(ReducingSuccessorGenerator& generator, bool negated) const override;
592
594
            uint32_t distance(DistanceContext& context) const override;
593
 
            Condition_ptr pushNegation(bool negated, negstat_t& stats) const override;
 
595
            Condition_ptr pushNegation(negstat_t&, const EvaluationContext& context, bool nested, bool negated) const override;
594
596
 
595
597
        private:
596
598
            bool apply(int v1, int v2) const override;
609
611
            void toXML(std::ostream&, uint32_t tabs) const override;
610
612
            void findInteresting(ReducingSuccessorGenerator& generator, bool negated) const override;
611
613
            uint32_t distance(DistanceContext& context) const override;
612
 
            Condition_ptr pushNegation(bool negated, negstat_t& stats) const override;
 
614
            Condition_ptr pushNegation(negstat_t&, const EvaluationContext& context, bool nested, bool negated) const override;
613
615
 
614
616
        private:
615
617
            bool apply(int v1, int v2) const override;
627
629
            void toXML(std::ostream&, uint32_t tabs) const override;
628
630
            void findInteresting(ReducingSuccessorGenerator& generator, bool negated) const override;
629
631
            uint32_t distance(DistanceContext& context) const override;
630
 
            Condition_ptr pushNegation(bool negated, negstat_t& stats) const override;
 
632
            Condition_ptr pushNegation(negstat_t&, const EvaluationContext& context, bool nested, bool negated) const override;
631
633
        private:
632
634
            bool apply(int v1, int v2) const override;
633
635
            std::string op() const override;
644
646
            void toXML(std::ostream&, uint32_t tabs) const override;
645
647
            void findInteresting(ReducingSuccessorGenerator& generator, bool negated) const override;
646
648
            uint32_t distance(DistanceContext& context) const override;
647
 
            Condition_ptr pushNegation(bool negated, negstat_t& stats) const override;
 
649
            Condition_ptr pushNegation(negstat_t&, const EvaluationContext& context, bool nested, bool negated) const override;
648
650
 
649
651
        private:
650
652
            bool apply(int v1, int v2) const override;
662
664
            void toXML(std::ostream&, uint32_t tabs) const override;
663
665
            void findInteresting(ReducingSuccessorGenerator& generator, bool negated) const override;
664
666
            uint32_t distance(DistanceContext& context) const override;
665
 
            Condition_ptr pushNegation(bool negated, negstat_t& stats) const override;
 
667
            Condition_ptr pushNegation(negstat_t&, const EvaluationContext& context, bool nested, bool negated) const override;
666
668
 
667
669
        private:
668
670
            bool apply(int v1, int v2) const override;
679
681
            void toXML(std::ostream&, uint32_t tabs) const override;
680
682
            void findInteresting(ReducingSuccessorGenerator& generator, bool negated) const override;
681
683
            uint32_t distance(DistanceContext& context) const override;
682
 
            Condition_ptr pushNegation(bool negated, negstat_t& stats) const override;
 
684
            Condition_ptr pushNegation(negstat_t&, const EvaluationContext& context, bool nested, bool negated) const override;
683
685
 
684
686
        private:
685
687
            bool apply(int v1, int v2) const override;
709
711
            bool isReachability(uint32_t depth) const override;
710
712
            bool isUpperBound() override;
711
713
            Condition_ptr prepareForReachability(bool negated) const override;
712
 
            Condition_ptr pushNegation(bool negated, negstat_t& stats) const override;
 
714
            Condition_ptr pushNegation(negstat_t&, const EvaluationContext& context, bool nested, bool negated) const override;
713
715
            void toXML(std::ostream&, uint32_t tabs) const override;
714
716
            void findInteresting(ReducingSuccessorGenerator& generator, bool negated) const override;
715
717
            Quantifier getQuantifier() const override { return Quantifier::NEG; }
753
755
            bool isReachability(uint32_t depth) const override;
754
756
            bool isUpperBound() override;
755
757
            Condition_ptr prepareForReachability(bool negated) const override;
756
 
            Condition_ptr pushNegation(bool negated, negstat_t& stats) const override;
 
758
            Condition_ptr pushNegation(negstat_t&, const EvaluationContext& context, bool nested, bool negated) const override;
757
759
            void toXML(std::ostream&, uint32_t tabs) const override;
758
760
            void findInteresting(ReducingSuccessorGenerator& generator, bool negated) const override;
759
761
            Quantifier getQuantifier() const override { return Quantifier::EMPTY; }
782
784
            bool isReachability(uint32_t depth) const override;
783
785
            bool isUpperBound() override;
784
786
            Condition_ptr prepareForReachability(bool negated) const override;
785
 
            Condition_ptr pushNegation(bool negated, negstat_t& stats) const override;
 
787
            Condition_ptr pushNegation(negstat_t&, const EvaluationContext& context, bool nested, bool negated) const override;
786
788
            void toXML(std::ostream&, uint32_t tabs) const override;
787
789
            void findInteresting(ReducingSuccessorGenerator& generator, bool negated) const override;
788
790
            static Condition_ptr DEADLOCK;