Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::modelchecker::SparseInstantiationModelChecker< SparseModelType, ConstantType > Member List

This is the complete list of members for storm::modelchecker::SparseInstantiationModelChecker< SparseModelType, ConstantType >, including all inherited members.

check(Environment const &env, storm::utility::parametric::Valuation< typename SparseModelType::ValueType > const &valuation)=0storm::modelchecker::SparseInstantiationModelChecker< SparseModelType, ConstantType >pure virtual
currentCheckTaskstorm::modelchecker::SparseInstantiationModelChecker< SparseModelType, ConstantType >protected
getInstantiationsAreGraphPreserving() conststorm::modelchecker::SparseInstantiationModelChecker< SparseModelType, ConstantType >
getOriginalModel() conststorm::modelchecker::SparseInstantiationModelChecker< SparseModelType, ConstantType >
parametricModelstorm::modelchecker::SparseInstantiationModelChecker< SparseModelType, ConstantType >protected
setInstantiationsAreGraphPreserving(bool value)storm::modelchecker::SparseInstantiationModelChecker< SparseModelType, ConstantType >
SparseInstantiationModelChecker(SparseModelType const &parametricModel)storm::modelchecker::SparseInstantiationModelChecker< SparseModelType, ConstantType >
specifyFormula(CheckTask< storm::logic::Formula, typename SparseModelType::ValueType > const &checkTask)storm::modelchecker::SparseInstantiationModelChecker< SparseModelType, ConstantType >
~SparseInstantiationModelChecker()=defaultstorm::modelchecker::SparseInstantiationModelChecker< SparseModelType, ConstantType >virtual