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

- b -

• b : storm::solver::helper::SoundValueIterationHelper< ValueType, TrivialRowGrouping >::SVIData
• back : storm::adapters::DereferenceIteratorAdapter< ContainerType >
• backwardTransitions : storm::modelchecker::helper::DsMpiDtmcUpperRewardBoundsComputer< ValueType >, storm::storage::BisimulationDecomposition< ModelType, BlockDataType >
• bdd : storm::gbar::abstraction::GameBddResult< DdType >
• beCandidates : storm::dft::storage::BijectionCandidates< ValueType >
• behavior : storm::simulator::DiscreteTimePrismProgramSimulator< ValueType >
• bitOffset : storm::generator::BooleanVariableInformation, storm::generator::IntegerVariableInformation, storm::generator::LocationVariableInformation
• bitsPerState : storm::storage::sparse::StateStorage< StateType >
• bitWidth : storm::generator::IntegerVariableInformation, storm::generator::LocationVariableInformation
• blockCube : storm::dd::bisimulation::InternalSylvanSignatureRefinerBase
• blocks : storm::storage::Decomposition< BlockType >
• blockVariable : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >, storm::dd::bisimulation::InternalSylvanSignatureRefinerBase
• booleanValues : storm::expressions::ExprtkExpressionEvaluatorBase< RationalType >, storm::generator::TransientVariableValuation< ValueType >
• booleanVariableInformation : storm::generator::TransientVariableInformation< ValueType >
• booleanVariables : storm::generator::VariableInformation
• bottomStateBdds : storm::gbar::abstraction::AbstractionInformation< DdType >
• bottomStateVariables : storm::gbar::abstraction::AbstractionInformation< DdType >
• bound : storm::logic::OperatorInformation, storm::modelchecker::RegionBound< SparseModelType, ConstantType >
• boundType : storm::modelchecker::helper::rewardbounded::Dimension< ValueType >
• 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
• buildChoiceLabeling : storm::parser::DirectEncodingParserOptions
• buildKeptActions : storm::transformer::SubsystemBuilderOptions
• buildQuotient : storm::storage::BisimulationDecomposition< ModelType, BlockDataType >::Options
• buildStateMapping : storm::transformer::SubsystemBuilderOptions
• buildValueType : storm::cli::ModelProcessingInformation