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

- b -

• BaseExprPtr : storm::jani::detail::ArrayExpressionEliminationVisitor, storm::jani::detail::FunctionEliminationExpressionVisitor
• Bdd : storm::dft::modelchecker::SFTBDDChecker, storm::dft::transformations::SftToBddTransformator< ValueType >
• BeliefId : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >, storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• BeliefManagerType : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >, storm::pomdp::modelchecker::BeliefExplorationPomdpModelChecker< PomdpModelType, BeliefValueType, BeliefMDPType >
• BeliefSupportType : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• BeliefType : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• block_type : storm::storage::Decomposition< BlockType >
• BlockDataType : storm::storage::DeterministicModelBisimulationDecomposition< ModelType >, storm::storage::NondeterministicModelBisimulationDecomposition< ModelType >