Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::transformer::ParameterLifter< ParametricType, ConstantType > Member List

This is the complete list of members for storm::transformer::ParameterLifter< ParametricType, ConstantType >, including all inherited members.

CoefficientType typedefstorm::transformer::ParameterLifter< ParametricType, ConstantType >
getMatrix() conststorm::transformer::ParameterLifter< ParametricType, ConstantType >
getOccuringStatesAtVariable() conststorm::transformer::ParameterLifter< ParametricType, ConstantType >
getOccurringVariablesAtState() conststorm::transformer::ParameterLifter< ParametricType, ConstantType >
getOriginalStateNumber(uint_fast64_t newState) conststorm::transformer::ParameterLifter< ParametricType, ConstantType >
getRowGroupCount() conststorm::transformer::ParameterLifter< ParametricType, ConstantType >
getRowGroupIndex(uint_fast64_t originalState) conststorm::transformer::ParameterLifter< ParametricType, ConstantType >
getRowGroupSize(uint_fast64_t originalState) conststorm::transformer::ParameterLifter< ParametricType, ConstantType >
getRowLabels() conststorm::transformer::ParameterLifter< ParametricType, ConstantType >
getVector() conststorm::transformer::ParameterLifter< ParametricType, ConstantType >
Monotonicity typedefstorm::transformer::ParameterLifter< ParametricType, ConstantType >
ParameterLifter(storm::storage::SparseMatrix< ParametricType > const &pMatrix, std::vector< ParametricType > const &pVector, storm::storage::BitVector const &selectedRows, storm::storage::BitVector const &selectedColumns, bool generateRowLabels=false, bool useMonotonicity=false)storm::transformer::ParameterLifter< ParametricType, ConstantType >
specifyRegion(storm::storage::ParameterRegion< ParametricType > const &region, storm::solver::OptimizationDirection const &dirForParameters)storm::transformer::ParameterLifter< ParametricType, ConstantType >
specifyRegion(storm::storage::ParameterRegion< ParametricType > const &region, storm::solver::OptimizationDirection const &dirForParameters, storm::storage::BitVector const &selectedRows)storm::transformer::ParameterLifter< ParametricType, ConstantType >
specifyRegion(storm::storage::ParameterRegion< ParametricType > const &region, storm::solver::OptimizationDirection const &dirForParameters, std::shared_ptr< storm::analysis::Order > reachabilityOrder, std::shared_ptr< storm::analysis::LocalMonotonicityResult< VariableType > > localMonotonicityResult)storm::transformer::ParameterLifter< ParametricType, ConstantType >
VariableType typedefstorm::transformer::ParameterLifter< ParametricType, ConstantType >