← Back to branch summary

~srba/verifypn/u2.0

« back to all changes in this revision

Viewing changes to CTL/DependencyGraph.h

merge in branch ParserRefactoring_The_Correct_One (new parser for CTL queries

Show diffs side-by-side

added added

removed removed

Lines of Context:
CTL/DependencyGraph.h
4
4
#include "../PetriEngine/PetriNet.h"
5
5
#include "../PetriParse/PNMLParser.h"
6
6
#include "../CTLParser/CTLParser.h"
 
7
#include "../CTLParser/CTLQuery.h"
7
8
#include <list>
8
9
#include <iostream>
9
10
 
28
29
    virtual int configuration_count() =0;
29
30
    virtual int marking_count() =0;
30
31
 
31
 
    void initialize(CTLTree &t_query);
 
32
    void initialize(CTLQuery &t_query);
32
33
 
33
34
protected:
34
 
    CTLTree *_query = nullptr;
 
35
    CTLQuery *_query = nullptr;
35
36
    PetriEngine::PetriNet *_petriNet;
36
37
    PetriEngine::MarkVal *_initialMarking;
37
38
    PNMLParser::InhibitorArcList _inhibitorArcs;