Storm
A Modern Probabilistic Model Checker
|
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 |