← Back to branch summary

~tapaal-ltl/verifypn/resumable-suc-generator

« back to all changes in this revision

Viewing changes to include/LTL/LTLValidator.h

  • Committer: Nikolaj Jensen Ulrik
  • Date: 2020-10-05 10:15:17 UTC
  • Revision ID: nikolaj@njulrik.dk-20201005101517-470ai9qv2lukms08
Seemingly working NDFS algorithm

Show diffs side-by-side

added added

removed removed

Lines of Context:
include/LTL/LTLValidator.h
18
18
        operator bool() const { return bad(); }
19
19
 
20
20
    protected:
 
21
 
 
22
        void _visitNary(const PetriEngine::PQL::LogicalCondition *condition) {
 
23
            for (const auto &cond : *condition) {
 
24
                cond->visit(*this);
 
25
            }
 
26
        };
 
27
 
21
28
        void _accept(const PetriEngine::PQL::EFCondition *condition) override {
22
29
            setBad();
23
30
            std::cerr << "found EFCondition" << std::endl;
73
80
        }
74
81
 
75
82
        void _accept(const PetriEngine::PQL::AndCondition *element) override {
76
 
            (*element)[0]->visit(*this);
77
 
            (*element)[1]->visit(*this);
 
83
            _visitNary(element);
78
84
        }
79
85
 
80
86
        void _accept(const PetriEngine::PQL::OrCondition *element) override {
81
 
            (*element)[0]->visit(*this);
82
 
            (*element)[1]->visit(*this);
 
87
            _visitNary(element);
83
88
        }
84
89
 
85
90
        void _accept(const PetriEngine::PQL::LessThanCondition *element) override {