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

checkParOnStateMonRes(uint_fast64_t s, std::shared_ptr< Order > order, typename OrderExtender< ValueType, ConstantType >::VariableType param, std::shared_ptr< MonotonicityResult< VariableType > > monResult)	storm::analysis::OrderExtender< ValueType, ConstantType >
CoefficientType typedef	storm::analysis::OrderExtender< ValueType, ConstantType >
copyMinMax(std::shared_ptr< Order > orderOriginal, std::shared_ptr< Order > orderCopy)	storm::analysis::OrderExtender< ValueType, ConstantType >
extendOrder(std::shared_ptr< Order > order, storm::storage::ParameterRegion< ValueType > region, std::shared_ptr< MonotonicityResult< VariableType > > monRes=nullptr, std::shared_ptr< expressions::BinaryRelationExpression > assumption=nullptr)	storm::analysis::OrderExtender< ValueType, ConstantType >
getMonotoncityChecker()	storm::analysis::OrderExtender< ValueType, ConstantType >
getUnknownStates(std::shared_ptr< Order > order) const	storm::analysis::OrderExtender< ValueType, ConstantType >
getVariablesOccuringAtState()	storm::analysis::OrderExtender< ValueType, ConstantType >
initializeMinMaxValues(storage::ParameterRegion< ValueType > region)	storm::analysis::OrderExtender< ValueType, ConstantType >
isHope(std::shared_ptr< Order > order)	storm::analysis::OrderExtender< ValueType, ConstantType >
Monotonicity typedef	storm::analysis::OrderExtender< ValueType, ConstantType >
OrderExtender(std::shared_ptr< models::sparse::Model< ValueType > > model, std::shared_ptr< logic::Formula const > formula)	storm::analysis::OrderExtender< ValueType, ConstantType >
OrderExtender(storm::storage::BitVector topStates, storm::storage::BitVector bottomStates, storm::storage::SparseMatrix< ValueType > matrix)	storm::analysis::OrderExtender< ValueType, ConstantType >
setMaxValues(std::shared_ptr< Order > order, std::vector< ConstantType > &maxValues)	storm::analysis::OrderExtender< ValueType, ConstantType >
setMaxValuesInit(std::vector< ConstantType > &minValues)	storm::analysis::OrderExtender< ValueType, ConstantType >
setMinMaxValues(std::shared_ptr< Order > order, std::vector< ConstantType > &minValues, std::vector< ConstantType > &maxValues)	storm::analysis::OrderExtender< ValueType, ConstantType >
setMinValues(std::shared_ptr< Order > order, std::vector< ConstantType > &minValues)	storm::analysis::OrderExtender< ValueType, ConstantType >
setMinValuesInit(std::vector< ConstantType > &minValues)	storm::analysis::OrderExtender< ValueType, ConstantType >
setUnknownStates(std::shared_ptr< Order > order, uint_fast64_t state1, uint_fast64_t state2)	storm::analysis::OrderExtender< ValueType, ConstantType >
setUnknownStates(std::shared_ptr< Order > orderOriginal, std::shared_ptr< Order > orderCopy)	storm::analysis::OrderExtender< ValueType, ConstantType >
toOrder(storage::ParameterRegion< ValueType > region, std::shared_ptr< MonotonicityResult< VariableType > > monRes=nullptr)	storm::analysis::OrderExtender< ValueType, ConstantType >
VariableType typedef	storm::analysis::OrderExtender< ValueType, ConstantType >