1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
#ifndef CTLENGINE_H
#define CTLENGINE_H
#include "../PetriEngine/errorcodes.h"
#include "../PetriEngine/PetriNet.h"
#include "../PetriEngine/Reachability/ReachabilitySearch.h"
#include "Algorithm/AlgorithmTypes.h"
#include "PetriEngine/PQL/PQL.h"
#include <set>
ReturnValue CTLMain(PetriEngine::PetriNet* net,
CTL::CTLAlgorithmType algorithmtype,
PetriEngine::Reachability::Strategy strategytype,
bool gamemode,
bool printstatistics,
bool mccoutput,
bool partial_order,
const std::vector<std::string>& querynames,
const std::vector<std::shared_ptr<PetriEngine::PQL::Condition>>& reducedQueries,
const std::vector<size_t>& ids,
options_t& options);
#endif // CTLENGINE_H
|