← Back to branch summary

~tapaal-ltl/verifypn/scc-optimise

« back to all changes in this revision

Viewing changes to PetriParse/QueryBinaryParser.h

  • Committer: srba.jiri at gmail
  • Date: 2020-09-11 14:23:39 UTC
  • mfrom: (213.1.151 interval_tar)
  • Revision ID: srba.jiri@gmail.com-20200911142339-bq9328s1gppw24uj
merged in lp:~verifypn-maintainers/verifypn/interval_tar doing 
- Implements TAR w/o z3, but using a simple integer inference engine for Hoare logic.
 - Replaces LP-Solve with GLPK, reduces computation-time and memory overhead
 - Implements new global properties, translated into CTL formulae.

Show diffs side-by-side

added added

removed removed

Lines of Context:
PetriParse/QueryBinaryParser.h
1
 
/* VerifyPN - TAPAAL Petri Net Engine
2
 
 * Copyright (C) 2017 Peter Gjøl Jensen <root@petergjoel.dk>
3
 
 * This program is free software: you can redistribute it and/or modify
4
 
 * it under the terms of the GNU General Public License as published by
5
 
 * the Free Software Foundation, either version 3 of the License, or
6
 
 * (at your option) any later version.
7
 
 *
8
 
 * This program is distributed in the hope that it will be useful,
9
 
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
10
 
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11
 
 * GNU General Public License for more details.
12
 
 *
13
 
 * You should have received a copy of the GNU General Public License
14
 
 * along with this program. If not, see <http://www.gnu.org/licenses/>.
15
 
 */
16
 
 
17
 
#ifndef BINARYPARSER_H
18
 
#define BINARYPARSER_H
19
 
 
20
 
#include <set>
21
 
#include <iostream>
22
 
#include <vector>
23
 
 
24
 
#include "PNMLParser.h"
25
 
#include "rapidxml/rapidxml.hpp"
26
 
#include "QueryParser.h"
27
 
using namespace PetriEngine::PQL;
28
 
 
29
 
class QueryBinaryParser {
30
 
public:
31
 
    QueryBinaryParser() {};
32
 
    ~QueryBinaryParser() {};
33
 
 
34
 
    std::vector<QueryItem>  queries;
35
 
 
36
 
    bool parse(std::ifstream& binary, const std::set<size_t>& );
37
 
 
38
 
private:
39
 
    Condition_ptr parseQuery(std::ifstream& binary, const std::vector<std::string>& names);
40
 
    Expr_ptr parseExpr(std::ifstream& binary, const std::vector<std::string>& names);
41
 
    
42
 
};
43
 
 
44
 
 
45
 
#endif /* BINARYPARSER_H */
46