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

- b -

• b() : storm::solver::helper::SVIBackend< ValueType, Dir, Stage, TrivialRowGrouping >
• BaierUpperRewardBoundsComputer() : storm::modelchecker::helper::BaierUpperRewardBoundsComputer< ValueType >
• BaseException() : storm::exceptions::BaseException
• BaseExpression() : storm::expressions::BaseExpression
• BaseType() : storm::expressions::BaseType
• BasicType() : storm::jani::BasicType
• Bdd() : storm::dd::Bdd< LibraryType >
• BEColourClass() : storm::dft::storage::BEColourClass< ValueType >
• BEConst() : storm::dft::storage::elements::BEConst< ValueType >
• BECountImportanceFunction() : storm::dft::simulator::BECountImportanceFunction< ValueType >
• BEErlang() : storm::dft::storage::elements::BEErlang< ValueType >
• BEExponential() : storm::dft::storage::elements::BEExponential< ValueType >
• begin() : storm::adapters::DereferenceIteratorAdapter< ContainerType >, storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::dft::storage::DftSymmetries, storm::dft::storage::FailableElements, storm::expressions::ExpressionManager, storm::expressions::LinearCoefficientVisitor::VariableCoefficients, storm::generator::Choice< ValueType, StateType >, storm::generator::Distribution< IndexType, ValueType >, storm::generator::StateBehavior< ValueType, StateType >, storm::jani::detail::ConstEdges, storm::jani::detail::Edges, storm::jani::EdgeContainer, storm::jani::OrderedAssignments, storm::jani::VariableSet, storm::modelchecker::multiobjective::DeterministicSchedsParetoExplorer< SparseModelType, GeometryValueType >::Pointset, storm::storage::bisimulation::Partition< DataType >, storm::storage::BitVector, storm::storage::BitVectorHashMap< ValueType, Hash >, storm::storage::Decomposition< BlockType >, storm::storage::Distribution< ValueType, StateType >, storm::storage::MaximalEndComponent, storm::storage::sparse::StateValuations::StateValueIteratorRange, storm::storage::SparseMatrix< ValueType >, storm::storage::SparseMatrix< ValueType >::const_rows, storm::storage::SparseMatrix< ValueType >::rows, storm::storage::StateBlock
• BeliefExplorationAPITest() : BeliefExplorationAPITest< TestType >
• BeliefExplorationPomdpModelChecker() : storm::pomdp::modelchecker::BeliefExplorationPomdpModelChecker< PomdpModelType, BeliefValueType, BeliefMDPType >
• BeliefExplorationPomdpModelCheckerOptions() : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• BeliefExplorationSettings() : storm::settings::modules::BeliefExplorationSettings
• beliefHasMdpState() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• BeliefManager() : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• BeliefMdpExplorer() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• BeliefStateManager() : storm::generator::BeliefStateManager< ValueType >
• beliefSupportStates() : storm::pomdp::WinningRegion
• BeliefSupportTracker() : storm::generator::BeliefSupportTracker< ValueType >
• BELogNormal() : storm::dft::storage::elements::BELogNormal< ValueType >
• beNoLongerFailable() : storm::dft::storage::DFTState< ValueType >
• BEProbability() : storm::dft::storage::elements::BEProbability< ValueType >
• BernoulliDistributionGenerator() : storm::utility::BernoulliDistributionGenerator
• BESamples() : storm::dft::storage::elements::BESamples< ValueType >
• better() : storm::utility::Extremum< Dir, ValueType >
• BetweenValues() : storm::dft::modelchecker::BetweenValues
• beType() : storm::dft::storage::elements::BEConst< ValueType >, storm::dft::storage::elements::BEErlang< ValueType >, storm::dft::storage::elements::BEExponential< ValueType >, storm::dft::storage::elements::BELogNormal< ValueType >, storm::dft::storage::elements::BEProbability< ValueType >, storm::dft::storage::elements::BESamples< ValueType >, storm::dft::storage::elements::BEWeibull< ValueType >, storm::dft::storage::elements::DFTBE< ValueType >
• BEWeibull() : storm::dft::storage::elements::BEWeibull< ValueType >
• BinaryBooleanFunctionExpression() : storm::expressions::BinaryBooleanFunctionExpression
• BinaryBooleanPathFormula() : storm::logic::BinaryBooleanPathFormula
• BinaryBooleanStateFormula() : storm::logic::BinaryBooleanStateFormula
• BinaryDtmcTransformer() : storm::transformer::BinaryDtmcTransformer
• BinaryExpression() : storm::expressions::BinaryExpression
• BinaryNumericalFunctionExpression() : storm::expressions::BinaryNumericalFunctionExpression
• BinaryPathFormula() : storm::logic::BinaryPathFormula
• BinaryPomdpTransformer() : storm::transformer::BinaryPomdpTransformer< ValueType >
• BinaryPomdpTransformerRowGroup() : storm::transformer::BinaryPomdpTransformerRowGroup
• BinaryRelationExpression() : storm::expressions::BinaryRelationExpression
• BinaryStateFormula() : storm::logic::BinaryStateFormula
• BisimulationAbstractionRefinementModelChecker() : storm::gbar::modelchecker::BisimulationAbstractionRefinementModelChecker< ModelType >
• BisimulationDecomposition() : storm::dd::BisimulationDecomposition< DdType, ValueType, ExportValueType >, storm::storage::BisimulationDecomposition< ModelType, BlockDataType >
• BisimulationSettings() : storm::settings::modules::BisimulationSettings
• BitVector() : storm::storage::BitVector
• BitVectorHashMap() : storm::storage::BitVectorHashMap< ValueType, Hash >
• BitVectorHashMapIterator() : storm::storage::BitVectorHashMap< ValueType, Hash >::BitVectorHashMapIterator
• BitVectorType() : storm::expressions::BitVectorType
• Block() : storm::storage::bisimulation::Block< DataType >
• blowup() : storm::storage::sparse::StateValuations
• boolean() : storm::expressions::ExpressionManager
• BooleanLiteralExpression() : storm::expressions::BooleanLiteralExpression
• BooleanLiteralFormula() : storm::logic::BooleanLiteralFormula
• BooleanVariable() : storm::prism::BooleanVariable
• BooleanVariableInformation() : storm::generator::BooleanVariableInformation
• BottomStateResult() : storm::gbar::abstraction::BottomStateResult< DdType >
• Bound() : storm::logic::Bound
• boundedPhase() : storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >
• BoundedType() : storm::jani::BoundedType
• BoundedUntilFormula() : storm::logic::BoundedUntilFormula
• boundIsALowerBound() : storm::solver::SolveGoal< ValueType, SolutionType >
• boundIsStrict() : storm::solver::SolveGoal< ValueType, SolutionType >
• boundsAreSufficientlyClose() : storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >
• BucketPriorityQueue() : storm::dft::storage::BucketPriorityQueue< PriorityType >
• build() : storm::builder::DdJaniModelBuilder< Type, ValueType >, storm::builder::DdPrismModelBuilder< Type, ValueType >, storm::builder::ExplicitModelBuilder< ValueType, RewardModelType, StateType >, storm::builder::JaniGSPNBuilder, storm::builder::RewardModelBuilder< ValueType >, storm::dft::builder::DFTBuilder< ValueType >, storm::settings::ArgumentBuilder, storm::settings::OptionBuilder, storm::storage::MemoryStructureBuilder< ValueType, RewardModelType >, storm::storage::NondeterministicMemoryStructureBuilder, storm::storage::PomdpMemoryBuilder, storm::storage::sparse::StateValuationsBuilder, storm::storage::SparseMatrixBuilder< ValueType >, storm::storage::SparseModelMemoryProduct< ValueType, RewardModelType >, storm::storage::SparseModelNondeterministicMemoryProduct< SparseModelType >, storm::transformer::DAProductBuilder
• buildActionIndexToActionNameMap() : storm::prism::Program
• buildActionIndexToPlayerIndexMap() : storm::prism::Program
• buildAndSolveSsp() : storm::modelchecker::helper::SparseDeterministicInfiniteHorizonHelper< ValueType >, storm::modelchecker::helper::SparseInfiniteHorizonHelper< ValueType, Nondeterministic >, storm::modelchecker::helper::SparseNondeterministicInfiniteHorizonHelper< ValueType >
• buildAutomataInfo() : storm::jani::JaniLocalEliminator::Session
• buildChoiceLabeling() : storm::builder::StateAndChoiceInformationBuilder
• buildCommandIndexToActionIndex() : storm::prism::Program
• buildCommandIndexToActionNameMap() : storm::prism::Program
• buildDataOfChoiceOrigins() : storm::builder::StateAndChoiceInformationBuilder
• BuilderOptions() : storm::builder::BuilderOptions
• buildFixedCountingMemory() : storm::storage::NondeterministicMemoryStructureBuilder, storm::storage::PomdpMemoryBuilder
• buildFixedRingMemory() : storm::storage::NondeterministicMemoryStructureBuilder, storm::storage::PomdpMemoryBuilder
• buildFullyConnectedMemory() : storm::storage::NondeterministicMemoryStructureBuilder, storm::storage::PomdpMemoryBuilder
• buildGspn() : storm::gspn::GspnBuilder
• buildIdToLocationNameMap() : storm::jani::Automaton
• buildInfo() : storm::StormVersion
• buildMarkovianStates() : storm::builder::StateAndChoiceInformationBuilder
• buildModel() : storm::dft::builder::ExplicitDFTModelBuilder< ValueType, StateType >
• buildModuleIndexToPlayerIndexMap() : storm::prism::Program
• buildPrism() : BeliefExplorationAPITest< TestType >
• buildProduct() : storm::transformer::ProductBuilder< Model >
• buildQuotient() : storm::storage::BisimulationDecomposition< ModelType, BlockDataType >, storm::storage::DeterministicModelBisimulationDecomposition< ModelType >, storm::storage::NondeterministicModelBisimulationDecomposition< ModelType >
• buildSelectiveCountingMemory() : storm::storage::NondeterministicMemoryStructureBuilder, storm::storage::PomdpMemoryBuilder
• buildSelectiveRingMemory() : storm::storage::NondeterministicMemoryStructureBuilder, storm::storage::PomdpMemoryBuilder
• buildSettableBitsMemory() : storm::storage::NondeterministicMemoryStructureBuilder, storm::storage::PomdpMemoryBuilder
• BuildSettings() : storm::settings::modules::BuildSettings
• buildSspMatrixVector() : storm::modelchecker::helper::SparseDeterministicInfiniteHorizonHelper< ValueType >, storm::modelchecker::helper::SparseNondeterministicInfiniteHorizonHelper< ValueType >
• buildStateGenerationInfo() : storm::dft::storage::DFT< ValueType >
• buildStatePlayerIndications() : storm::builder::StateAndChoiceInformationBuilder
• buildTrivialMemory() : storm::storage::NondeterministicMemoryStructureBuilder, storm::storage::PomdpMemoryBuilder
• buildTrivialMemoryStructure() : storm::storage::MemoryStructureBuilder< ValueType, RewardModelType >