Here is a list of all typedefs with links to the classes they belong to:

- o -

• OperatorType : storm::logic::BinaryBooleanPathFormula, storm::logic::BinaryBooleanStateFormula, storm::logic::UnaryBooleanPathFormula, storm::logic::UnaryBooleanStateFormula
• Options : storm::pomdp::modelchecker::BeliefExplorationPomdpModelChecker< PomdpModelType, BeliefValueType, BeliefMDPType >