Storm 1.10.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
ConditionalHelper.h File Reference
#include <memory>
#include "storm/solver/SolveGoal.h"
Include dependency graph for ConditionalHelper.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  storm
 LabParser.cpp.
 
namespace  storm::storage
 
namespace  storm::modelchecker
 
namespace  storm::modelchecker::utility
 

Functions

template<typename ValueType , typename SolutionType >
std::unique_ptr< CheckResultstorm::modelchecker::computeConditionalProbabilities (Environment const &env, storm::solver::SolveGoal< ValueType, SolutionType > &&goal, storm::storage::SparseMatrix< ValueType > const &transitionMatrix, storm::storage::SparseMatrix< ValueType > const &backwardTransitions, storm::storage::BitVector const &targetStates, storm::storage::BitVector const &conditionStates)