← Back to branch summary

~yrke/verifypn/github-automation

« back to all changes in this revision

Viewing changes to include/PetriParse/PNMLParser.h

  • Committer: srba.jiri at gmail
  • Date: 2021-04-16 20:59:15 UTC
  • mfrom: (231.1.16 random-fix)
  • Revision ID: srba.jiri@gmail.com-20210416205915-8d22jkkj14aff05i
merged in lp:~tapaal-ltl/verifypn/random-fix adding LTL heuristic, fixing random search and adding partitioning to CPN unfodling

Show diffs side-by-side

added added

removed removed

Lines of Context:
include/PetriParse/PNMLParser.h
31
31
#include "../PetriEngine/Colored/ColoredNetStructures.h"
32
32
#include "../PetriEngine/Colored/Expressions.h"
33
33
#include "../PetriEngine/Colored/Colors.h"
 
34
#include "../PetriEngine/Colored/EquivalenceClass.h"
34
35
 
35
36
class PNMLParser {
36
37
 
88
89
    PetriEngine::Colored::ColorExpression_ptr parseColorExpression(rapidxml::xml_node<>* element);
89
90
    PetriEngine::Colored::AllExpression_ptr parseAllExpression(rapidxml::xml_node<>* element);
90
91
    PetriEngine::Colored::ColorType* parseUserSort(rapidxml::xml_node<>* element);
91
 
    PetriEngine::Colored::NumberOfExpression_ptr parseNumberOfExpression(rapidxml::xml_node<>* element);
 
92
    PetriEngine::Colored::ArcExpression_ptr parseNumberOfExpression(rapidxml::xml_node<>* element);
92
93
    void collectColorsInTuple(rapidxml::xml_node<>* element,std::vector<std::vector<PetriEngine::Colored::ColorExpression_ptr>>& collectedColors);
93
 
    PetriEngine::Colored::ArcExpression_ptr constructAddExpressionFromTupleExpression(rapidxml::xml_node<>* element,std::vector<std::vector<PetriEngine::Colored::ColorExpression_ptr>> collectedColors);
 
94
    PetriEngine::Colored::ArcExpression_ptr constructAddExpressionFromTupleExpression(rapidxml::xml_node<>* element,std::vector<std::vector<PetriEngine::Colored::ColorExpression_ptr>> collectedColors, uint32_t numberof);
94
95
    void parseTransportArc(rapidxml::xml_node<>* element);
95
96
    void parseValue(rapidxml::xml_node<>* element, std::string& text);
96
97
    uint32_t parseNumberConstant(rapidxml::xml_node<>* element);
111
112
    std::vector<Query> queries;
112
113
};
113
114
 
114
 
#endif // PNMLPARSER_H
 
115
#endif // PNMLPARSER_H
 
 
b'\\ No newline at end of file'