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

- b -

• b : storm::solver::helper::SoundValueIterationHelper< ValueType, TrivialRowGrouping >::SVIData, storm::solver::helper::SVIBackend< ValueType, Dir, Stage, TrivialRowGrouping >
• back : storm::adapters::DereferenceIteratorAdapter< ContainerType >
• backwardTransitions : storm::modelchecker::helper::DsMpiDtmcUpperRewardBoundsComputer< ValueType >, storm::storage::BisimulationDecomposition< ModelType, BlockDataType >
• BaierUpperRewardBoundsComputer() : storm::modelchecker::helper::BaierUpperRewardBoundsComputer< ValueType >
• BaseException() : storm::exceptions::BaseException
• BaseExpression() : storm::expressions::BaseExpression
• BaseExprPtr : storm::jani::detail::ArrayExpressionEliminationVisitor, storm::jani::detail::FunctionEliminationExpressionVisitor
• BaseType() : storm::expressions::BaseType, storm::jani::BoundedType
• BasicType() : storm::jani::BasicType
• Bdd() : storm::dd::Bdd< LibraryType >, storm::dft::modelchecker::SFTBDDChecker, storm::dft::transformations::SftToBddTransformator< ValueType >
• bdd : storm::gbar::abstraction::GameBddResult< DdType >
• Bdd< LibraryType > : storm::dd::Add< LibraryType, ValueType >, storm::dd::DdManager< LibraryType >, storm::dd::DdMetaVariable< LibraryType >
• beCandidates : storm::dft::storage::BijectionCandidates< ValueType >
• 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
• behavior : storm::simulator::DiscreteTimePrismProgramSimulator< ValueType >
• 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 >
• BeliefId : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >, storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• BeliefManager() : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• BeliefManagerType : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >, storm::pomdp::modelchecker::BeliefExplorationPomdpModelChecker< PomdpModelType, BeliefValueType, BeliefMDPType >
• BeliefMdpExplorer() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• BeliefStateManager() : storm::generator::BeliefStateManager< ValueType >
• beliefSupportStates() : storm::pomdp::WinningRegion
• BeliefSupportTracker() : storm::generator::BeliefSupportTracker< ValueType >
• BeliefSupportType : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• BeliefType : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• BELogNormal() : storm::dft::storage::elements::BELogNormal< ValueType >
• BELOW : storm::analysis::Order
• 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
• bisimulation::InternalSignatureRefiner< DdType::CUDD, ValueType > : storm::dd::InternalAdd< DdType::CUDD, ValueType >
• bisimulation::InternalSignatureRefiner< LibraryType, ValueType > : storm::dd::Add< LibraryType, ValueType >
• BisimulationAbstractionRefinementModelChecker() : storm::gbar::modelchecker::BisimulationAbstractionRefinementModelChecker< ModelType >
• BisimulationDecomposition() : storm::dd::BisimulationDecomposition< DdType, ValueType, ExportValueType >, storm::storage::BisimulationDecomposition< ModelType, BlockDataType >
• BisimulationSettings() : storm::settings::modules::BisimulationSettings
• BisimulationType : storm::settings::modules::BisimulationSettings
• bitOffset : storm::generator::BooleanVariableInformation, storm::generator::IntegerVariableInformation, storm::generator::LocationVariableInformation
• bitsPerState : storm::storage::sparse::StateStorage< StateType >
• BitVector() : storm::storage::BitVector, storm::storage::BitVector::const_iterator, storm::storage::BitVector::const_reverse_iterator
• BitVectorHashMap() : storm::storage::BitVectorHashMap< ValueType, Hash >
• BitVectorHashMapIterator() : storm::storage::BitVectorHashMap< ValueType, Hash >::BitVectorHashMapIterator
• BitVectorType() : storm::expressions::BitVectorType
• bitWidth : storm::generator::IntegerVariableInformation, storm::generator::LocationVariableInformation
• Block() : storm::storage::bisimulation::Block< DataType >
• block_type : storm::storage::Decomposition< BlockType >
• blockCube : storm::dd::bisimulation::InternalSylvanSignatureRefinerBase
• BlockDataType : storm::storage::DeterministicModelBisimulationDecomposition< ModelType >, storm::storage::NondeterministicModelBisimulationDecomposition< ModelType >
• blocks : storm::storage::Decomposition< BlockType >
• blockVariable : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >, storm::dd::bisimulation::InternalSylvanSignatureRefinerBase
• blowup() : storm::storage::sparse::StateValuations
• boolean() : storm::expressions::ExpressionManager
• BooleanLiteralExpression() : storm::expressions::BooleanLiteralExpression
• BooleanLiteralFormula() : storm::logic::BooleanLiteralFormula
• booleanValues : storm::expressions::ExprtkExpressionEvaluatorBase< RationalType >, storm::generator::TransientVariableValuation< ValueType >
• BooleanVariable() : storm::prism::BooleanVariable
• BooleanVariableInformation() : storm::generator::BooleanVariableInformation
• booleanVariableInformation : storm::generator::TransientVariableInformation< ValueType >
• booleanVariables : storm::generator::VariableInformation
• bottomStateBdds : storm::gbar::abstraction::AbstractionInformation< DdType >
• BottomStateResult() : storm::gbar::abstraction::BottomStateResult< DdType >
• bottomStateVariables : storm::gbar::abstraction::AbstractionInformation< DdType >
• Bound() : storm::logic::Bound
• bound : storm::logic::OperatorInformation, storm::modelchecker::RegionBound< SparseModelType, ConstantType >
• 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 >
• boundType : storm::modelchecker::helper::rewardbounded::Dimension< ValueType >
• BoundType : storm::solver::AbstractEquationSolver< ValueType >
• 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
• buildActionMapping : storm::transformer::SubsystemBuilderOptions
• buildAllLabels : storm::builder::DdJaniModelBuilder< Type, ValueType >::Options, storm::builder::DdPrismModelBuilder< Type, ValueType >::Options
• buildAllRewardModels : storm::builder::DdJaniModelBuilder< Type, ValueType >::Options, storm::builder::DdPrismModelBuilder< Type, ValueType >::Options
• 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, storm::parser::DirectEncodingParserOptions
• 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
• buildKeptActions : storm::transformer::SubsystemBuilderOptions
• 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::BisimulationDecomposition< ModelType, BlockDataType >::Options, 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 >
• buildStateMapping : storm::transformer::SubsystemBuilderOptions
• buildStatePlayerIndications() : storm::builder::StateAndChoiceInformationBuilder
• buildTrivialMemory() : storm::storage::NondeterministicMemoryStructureBuilder, storm::storage::PomdpMemoryBuilder
• buildTrivialMemoryStructure() : storm::storage::MemoryStructureBuilder< ValueType, RewardModelType >
• buildValueType : storm::cli::ModelProcessingInformation