counterexamples.cpp File Reference

#include "storm-counterexamples/api/counterexamples.h"
#include "storm/environment/Environment.h"
#include "storm/utility/shortestPaths.h"

Include dependency graph for counterexamples.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::api

Functions
std::shared_ptr< storm::counterexamples::Counterexample >	storm::api::computeHighLevelCounterexampleMilp (storm::storage::SymbolicModelDescription const &symbolicModel, std::shared_ptr< storm::models::sparse::Mdp< double > > mdp, std::shared_ptr< storm::logic::Formula const > const &formula)
std::shared_ptr< storm::counterexamples::Counterexample >	storm::api::computeHighLevelCounterexampleMaxSmt (storm::storage::SymbolicModelDescription const &symbolicModel, std::shared_ptr< storm::models::sparse::Model< double > > model, std::shared_ptr< storm::logic::Formula const > const &formula)
std::shared_ptr< storm::counterexamples::Counterexample >	storm::api::computeKShortestPathCounterexample (std::shared_ptr< storm::models::sparse::Model< double > > model, std::shared_ptr< storm::logic::Formula const > const &formula, size_t maxK)