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 typedef	storm::transformer::ParameterLifter< ParametricType, ConstantType >
getMatrix() const	storm::transformer::ParameterLifter< ParametricType, ConstantType >
getOccuringStatesAtVariable() const	storm::transformer::ParameterLifter< ParametricType, ConstantType >
getOccurringVariablesAtState() const	storm::transformer::ParameterLifter< ParametricType, ConstantType >
getOriginalStateNumber(uint_fast64_t newState) const	storm::transformer::ParameterLifter< ParametricType, ConstantType >
getRowGroupCount() const	storm::transformer::ParameterLifter< ParametricType, ConstantType >
getRowGroupIndex(uint_fast64_t originalState) const	storm::transformer::ParameterLifter< ParametricType, ConstantType >
getRowGroupSize(uint_fast64_t originalState) const	storm::transformer::ParameterLifter< ParametricType, ConstantType >
getRowLabels() const	storm::transformer::ParameterLifter< ParametricType, ConstantType >
getVector() const	storm::transformer::ParameterLifter< ParametricType, ConstantType >
Monotonicity typedef	storm::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 typedef	storm::transformer::ParameterLifter< ParametricType, ConstantType >