4
#include "../PetriEngine/errorcodes.h"
5
#include "../PetriEngine/PetriNet.h"
6
#include "../PetriEngine/Reachability/ReachabilitySearch.h"
8
#include "Algorithm/AlgorithmTypes.h"
9
#include "PetriEngine/PQL/PQL.h"
13
ReturnValue CTLMain(PetriEngine::PetriNet* net,
14
CTL::CTLAlgorithmType algorithmtype,
15
PetriEngine::Reachability::Strategy strategytype,
20
const std::vector<std::string>& querynames,
21
const std::vector<std::shared_ptr<PetriEngine::PQL::Condition>>& reducedQueries,
22
const std::vector<size_t>& ids,