2
// Created by Simon Mejlby Virenfeldt on 25/09/2020.
5
#include "LTL/LTL_algorithm/ModelChecker.h"
8
ModelChecker::ModelChecker(const PetriEngine::PetriNet& net, PetriEngine::PQL::Condition_ptr condition)
9
: successorGenerator(ProductSuccessorGenerator(net))
11
//TODO Create successor generator from net and condition