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.
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.
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/>.
17
#ifndef BINARYPARSER_H
18
#define BINARYPARSER_H
24
#include "PNMLParser.h"
25
#include "QueryParser.h"
26
using namespace PetriEngine::PQL;
28
class QueryBinaryParser {
30
QueryBinaryParser() {};
31
~QueryBinaryParser() {};
33
std::vector<QueryItem> queries;
35
bool parse(std::ifstream& binary, const std::set<size_t>& );
38
Condition_ptr parseQuery(std::ifstream& binary, const std::vector<std::string>& names);
39
Expr_ptr parseExpr(std::ifstream& binary, const std::vector<std::string>& names);
44
#endif /* BINARYPARSER_H */