storm::logic::OperatorInformation Member List

This is the complete list of members for storm::logic::OperatorInformation, including all inherited members.

bound	storm::logic::OperatorInformation
OperatorInformation(boost::optional< storm::solver::OptimizationDirection > const &optimizationDirection=boost::none, boost::optional< Bound > const &bound=boost::none)	storm::logic::OperatorInformation
optimalityType	storm::logic::OperatorInformation