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)=0 | storm::modelchecker::SparseInstantiationModelChecker< SparseModelType, ConstantType > | pure virtual |
| currentCheckTask | storm::modelchecker::SparseInstantiationModelChecker< SparseModelType, ConstantType > | protected |
| getInstantiationsAreGraphPreserving() const | storm::modelchecker::SparseInstantiationModelChecker< SparseModelType, ConstantType > | |
| getOriginalModel() const | storm::modelchecker::SparseInstantiationModelChecker< SparseModelType, ConstantType > | |
| parametricModel | storm::modelchecker::SparseInstantiationModelChecker< SparseModelType, ConstantType > | protected |
| setInstantiationsAreGraphPreserving(bool value) | storm::modelchecker::SparseInstantiationModelChecker< SparseModelType, ConstantType > | |
| SparseInstantiationModelChecker(SparseModelType const ¶metricModel) | storm::modelchecker::SparseInstantiationModelChecker< SparseModelType, ConstantType > | |
| specifyFormula(CheckTask< storm::logic::Formula, typename SparseModelType::ValueType > const &checkTask) | storm::modelchecker::SparseInstantiationModelChecker< SparseModelType, ConstantType > | |
| ~SparseInstantiationModelChecker()=default | storm::modelchecker::SparseInstantiationModelChecker< SparseModelType, ConstantType > | virtual |
1.9.8