Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::analysis::AssumptionChecker< ValueType, ConstantType > Member List

This is the complete list of members for storm::analysis::AssumptionChecker< ValueType, ConstantType >, including all inherited members.

AssumptionChecker(storage::SparseMatrix< ValueType > matrix)storm::analysis::AssumptionChecker< ValueType, ConstantType >
AssumptionChecker(std::shared_ptr< logic::Formula const > formula, std::shared_ptr< models::sparse::Mdp< ValueType > > model, uint_fast64_t const numberOfSamples)storm::analysis::AssumptionChecker< ValueType, ConstantType >
CoefficientType typedefstorm::analysis::AssumptionChecker< 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::AssumptionChecker< ValueType, ConstantType >
setSampleValues(std::vector< std::vector< ConstantType > > samples)storm::analysis::AssumptionChecker< ValueType, ConstantType >
validateAssumption(uint_fast64_t val1, uint_fast64_t val2, std::shared_ptr< expressions::BinaryRelationExpression > assumption, std::shared_ptr< Order > order, storage::ParameterRegion< ValueType > region, std::vector< ConstantType > const minValues, std::vector< ConstantType > const maxValue) conststorm::analysis::AssumptionChecker< ValueType, ConstantType >
validateAssumption(std::shared_ptr< expressions::BinaryRelationExpression > assumption, std::shared_ptr< Order > order, storage::ParameterRegion< ValueType > region) conststorm::analysis::AssumptionChecker< ValueType, ConstantType >
VariableType typedefstorm::analysis::AssumptionChecker< ValueType, ConstantType >