~verifypn-stub/verifypn/short-circut

Viewing changes to CTL/CTLEngine.cpp

fixed compilation bugs in the merged branch lp:~tapaal-dist-ctl/verifypn/ss-cleanup

added added

removed removed

157

SearchStrategy::DFSSearch* strategy = nullptr;

158

Algorithm::FixedPointAlgorithm* alg = nullptr;

159

160

if(strategytype != PetriEngine::Reachability::Strategy){

160

if(strategytype != PetriEngine::Reachability::DFS){

161

std::cerr << "Error: Invalid CTL search strategy. Only DFS is supported by CTL engine." << std::endl;

162

return ErrorCode;

163

}

196

}

197

198

delete strategy;

199

delete graph;

199

delete &graph;

200

delete alg;

201

202

return SuccessCode;