← Back to branch summary

~tapaal-ltl/verifypn/ltl-stubborn-set

« back to all changes in this revision

Viewing changes to src/LTL/Stubborn/VisibleTransitionVisitor.cpp

  • Committer: Nikolaj Jensen Ulrik
  • Date: 2021-04-06 13:21:53 UTC
  • mfrom: (226.1.27 ltl-trunk)
  • Revision ID: nikolaj@njulrik.dk-20210406132153-m11korhsc3m7mxfv
Merge ltl-trunk@253

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/LTL/Stubborn/VisibleTransitionVisitor.cpp
44
44
        element->getExpr2()->visit(*this);
45
45
    }
46
46
 
47
 
    void VisibleTransitionVisitor::_accept(const PetriEngine::PQL::GreaterThanCondition *element) {
48
 
        element->getExpr1()->visit(*this);
49
 
        element->getExpr2()->visit(*this);
50
 
    }
51
 
 
52
 
    void VisibleTransitionVisitor::_accept(const PetriEngine::PQL::GreaterThanOrEqualCondition *element) {
53
 
        element->getExpr1()->visit(*this);
54
 
        element->getExpr2()->visit(*this);
55
 
    }
56
 
 
57
47
    void VisibleTransitionVisitor::_accept(const PetriEngine::PQL::EqualCondition *element) {
58
48
        element->getExpr1()->visit(*this);
59
49
        element->getExpr2()->visit(*this);