Storm
A Modern Probabilistic Model Checker
|
This is the complete list of members for storm::analysis::AssumptionMaker< ValueType, ConstantType >, including all inherited members.
AssumptionMaker(storage::SparseMatrix< ValueType > matrix) | storm::analysis::AssumptionMaker< ValueType, ConstantType > | |
createAndCheckAssumptions(uint_fast64_t val1, uint_fast64_t val2, std::shared_ptr< Order > order, storage::ParameterRegion< ValueType > region) const | storm::analysis::AssumptionMaker< ValueType, ConstantType > | |
createAndCheckAssumptions(uint_fast64_t val1, uint_fast64_t val2, std::shared_ptr< Order > order, storage::ParameterRegion< ValueType > region, std::vector< ConstantType > const minValues, std::vector< ConstantType > const maxValue) const | storm::analysis::AssumptionMaker< ValueType, ConstantType > | |
initializeCheckingOnSamples(std::shared_ptr< logic::Formula const > formula, std::shared_ptr< models::sparse::Dtmc< ValueType > > model, storage::ParameterRegion< ValueType > region, uint_fast64_t numberOfSamples) | storm::analysis::AssumptionMaker< ValueType, ConstantType > | |
setSampleValues(std::vector< std::vector< ConstantType > > const &samples) | storm::analysis::AssumptionMaker< ValueType, ConstantType > |