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

- g -

• game() : storm::SolverEnvironment
• GameBasedMdpModelChecker() : storm::gbar::modelchecker::GameBasedMdpModelChecker< Type, ModelType >
• GameBasedMdpModelCheckerOptions() : storm::gbar::modelchecker::GameBasedMdpModelCheckerOptions
• GameBddResult() : storm::gbar::abstraction::GameBddResult< DdType >
• GameFormula() : storm::logic::GameFormula
• GameSolver() : storm::solver::GameSolver< ValueType >
• GameSolverEnvironment() : storm::GameSolverEnvironment
• GameSolverFactory() : storm::solver::GameSolverFactory< ValueType >
• GameSolverSettings() : storm::settings::modules::GameSolverSettings
• gapThresholdFactor : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• gapThresholdInit : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• gateCandidates : storm::dft::storage::BijectionCandidates< ValueType >
• gatherArrayAccessIndices() : storm::jani::detail::ArrayEliminatorDataCollector
• gatherAtomicExpressionFormulas() : storm::logic::AtomicExpressionFormula, storm::logic::BinaryPathFormula, storm::logic::BinaryStateFormula, storm::logic::BoundedUntilFormula, storm::logic::ConditionalFormula, storm::logic::Formula, storm::logic::HOAPathFormula, storm::logic::MultiObjectiveFormula, storm::logic::QuantileFormula, storm::logic::UnaryPathFormula, storm::logic::UnaryStateFormula
• gatherAtomicLabelFormulas() : storm::logic::AtomicLabelFormula, storm::logic::BinaryPathFormula, storm::logic::BinaryStateFormula, storm::logic::BoundedUntilFormula, storm::logic::ConditionalFormula, storm::logic::Formula, storm::logic::HOAPathFormula, storm::logic::MultiObjectiveFormula, storm::logic::QuantileFormula, storm::logic::UnaryPathFormula, storm::logic::UnaryStateFormula
• gatherPredecessorEpochs() : storm::modelchecker::helper::rewardbounded::EpochManager
• gatherReferencedRewardModels() : storm::jani::Property, storm::logic::BinaryPathFormula, storm::logic::BinaryStateFormula, storm::logic::BoundedUntilFormula, storm::logic::ConditionalFormula, storm::logic::CumulativeRewardFormula, storm::logic::Formula, storm::logic::HOAPathFormula, storm::logic::MultiObjectiveFormula, storm::logic::QuantileFormula, storm::logic::RewardOperatorFormula, storm::logic::UnaryPathFormula, storm::logic::UnaryStateFormula
• gatherSuccessorObservationInformationAtCurrentState() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• gatherSuccessorObservationInformationAtMdpChoice() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• gatherUsedVariables() : storm::logic::AtomicExpressionFormula, storm::logic::BinaryPathFormula, storm::logic::BinaryStateFormula, storm::logic::BoundedUntilFormula, storm::logic::ConditionalFormula, storm::logic::CumulativeRewardFormula, storm::logic::Formula, storm::logic::InstantaneousRewardFormula, storm::logic::OperatorFormula, storm::logic::UnaryPathFormula, storm::logic::UnaryStateFormula
• gatherVariables() : storm::expressions::BaseExpression, storm::expressions::BinaryExpression, storm::expressions::BooleanLiteralExpression, storm::expressions::ConstructorArrayExpression, storm::expressions::Expression, storm::expressions::FunctionCallExpression, storm::expressions::IfThenElseExpression, storm::expressions::IntegerLiteralExpression, storm::expressions::PredicateExpression, storm::expressions::RationalLiteralExpression, storm::expressions::TranscendentalNumberLiteralExpression, storm::expressions::UnaryExpression, storm::expressions::ValueArrayExpression, storm::expressions::VariableExpression
• GeneralLinearEquationSolverFactory() : storm::solver::GeneralLinearEquationSolverFactory< ValueType >
• GeneralMinMaxLinearEquationSolverFactory() : storm::solver::GeneralMinMaxLinearEquationSolverFactory< ValueType, SolutionType >
• GeneralSettings() : storm::settings::modules::GeneralSettings
• generate() : storm::pomdp::qualitative::JaniBeliefSupportMdpGenerator< ValueType >
• generateChoiceOrigins() : storm::generator::JaniNextStateGenerator< ValueType, StateType >, storm::generator::NextStateGenerator< ValueType, StateType >, storm::generator::PrismNextStateGenerator< ValueType, StateType >
• generateHalfspacesFromPoints() : storm::storage::geometry::QuickHull< ValueType >
• generatePlayer1Strategy : storm::solver::SymbolicGameSolver< Type, ValueType >
• generatePlayer2Strategy : storm::solver::SymbolicGameSolver< Type, ValueType >
• generateStateInfo() : storm::dft::storage::DFT< ValueType >
• generateSymmetries() : storm::dft::storage::DFTStateGenerationInfo
• generateUniqueLabel() : storm::models::sparse::ItemLabeling
• generateVerticesFromConstraints() : storm::storage::geometry::HyperplaneEnumeration< ValueType >
• GenerationInformation() : storm::builder::DdPrismModelBuilder< Type, ValueType >::GenerationInformation< Type, ValueType >
• generator : storm::dft::simulator::DFTTraceSimulator< ValueType >, storm::simulator::DiscreteTimePrismProgramSimulator< ValueType >, storm::simulator::DiscreteTimeSparseModelSimulator< ValueType, RewardModelType >
• GeneratorType : storm::modelchecker::helper::rewardbounded::CostLimitClosure
• get() : storm::gbar::abstraction::ExplicitQuantitativeResultMinMax< ValueType >, storm::generator::ObservationDenseBeliefState< ValueType >, storm::generator::SparseBeliefState< ValueType >, storm::jani::BasicType, storm::jani::detail::ArrayEliminatorDataCollector, storm::jani::detail::ArrayReplacementsCollectorExpressionVisitor, storm::modelchecker::helper::rewardbounded::CostLimit, storm::modelchecker::multiobjective::DeterministicSchedsParetoExplorer< SparseModelType, GeometryValueType >::Point, storm::ps::PermissiveSchedulerPenalties, storm::solver::LinearEquationSolverRequirements, storm::solver::MinMaxLinearEquationSolverRequirements, storm::storage::BitVector, storm::SubEnvironment< EnvironmentType >, storm::utility::FilteredRewardModel< RewardModelType >
• getAbstractedVariables() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getAbstractionInformation() : storm::gbar::abstraction::jani::JaniMenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::MenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::PrismMenuGameAbstractor< DdType, ValueType >
• getAbstractionPlayer() : storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >, storm::gbar::modelchecker::BisimulationAbstractionRefinementModelChecker< ModelType >
• getAbstractionRefinementMethod() : storm::settings::modules::AbstractionSettings
• getAbstractModel() : storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >, storm::gbar::modelchecker::BisimulationAbstractionRefinementModelChecker< ModelType >
• getAbstractStates() : storm::gbar::abstraction::StateSetAbstractor< DdType, ValueType >
• getAcceptance() : storm::automata::DeterministicAutomaton, storm::transformer::DAProduct< Model >
• getAcceptanceCondition() : storm::automata::HOAHeader
• getAcceptanceExpression() : storm::automata::AcceptanceCondition
• getAcceptanceSet() : storm::automata::AcceptanceCondition
• getAcceptDoubleLiterals() : storm::parser::ExpressionCreator
• getAction() : storm::jani::Model, storm::storage::StateActionPair
• getActionCount() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• getActionIndex() : storm::generator::Choice< ValueType, StateType >, storm::jani::CompositionInformation, storm::jani::Edge, storm::jani::Model, storm::prism::Command, storm::prism::Program, storm::prism::StateActionReward, storm::prism::TransitionReward
• getActionIndexToNameMap() : storm::jani::Model
• getActionIndices() : storm::jani::Automaton, storm::jani::EdgeContainer
• getActionName() : storm::jani::CompositionInformation, storm::prism::Command, storm::prism::Program, storm::prism::StateActionReward, storm::prism::TransitionReward
• getActionNames() : storm::jani::Model
• getActionNameToIndexMapping() : storm::prism::Program
• getActionRenaming() : storm::prism::RenamingComposition
• getActions() : storm::jani::Model, storm::prism::Player, storm::prism::Program
• getActionsForObservation() : storm::generator::BeliefStateManager< ValueType >
• getActionsToHide() : storm::prism::HidingComposition
• getActionToIndexMap() : storm::jani::Model
• getAddOne() : storm::dd::DdManager< LibraryType >, storm::dd::InternalDdManager< DdType::CUDD >, storm::dd::InternalDdManager< DdType::Sylvan >
• getAddUndefined() : storm::dd::DdManager< LibraryType >, storm::dd::InternalDdManager< DdType::CUDD >, storm::dd::InternalDdManager< DdType::Sylvan >
• getAddZero() : storm::dd::DdManager< LibraryType >, storm::dd::InternalDdManager< DdType::CUDD >, storm::dd::InternalDdManager< DdType::Sylvan >
• getAllAssignments() : storm::jani::OrderedAssignments
• getAllBirnbaumFactorsAtTimebound() : storm::dft::modelchecker::SFTBDDChecker
• getAllBirnbaumFactorsAtTimepoints() : storm::dft::modelchecker::SFTBDDChecker
• getAllCIFsAtTimebound() : storm::dft::modelchecker::SFTBDDChecker
• getAllCIFsAtTimepoints() : storm::dft::modelchecker::SFTBDDChecker
• getAllDIFsAtTimebound() : storm::dft::modelchecker::SFTBDDChecker
• getAllDIFsAtTimepoints() : storm::dft::modelchecker::SFTBDDChecker
• getAllElements() : storm::dft::storage::DftIndependentModule
• getAllExpressionVariables() : storm::jani::Automaton, storm::jani::Model, storm::prism::Module, storm::prism::Program
• getAllGuards() : storm::prism::Program
• getAllIds() : storm::dft::storage::DFT< ValueType >
• getAllLocationExpressionVariables() : storm::jani::Model
• getAllLocationIdentities() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getAllMetaVariableNames() : storm::dd::DdManager< LibraryType >
• getAllMetaVariables() : storm::dd::DdManager< LibraryType >
• getAllPredicateIdentities() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getAllRangeExpressions() : storm::jani::Automaton, storm::jani::Model, storm::prism::Module, storm::prism::Program
• getAllRAWsAtTimebound() : storm::dft::modelchecker::SFTBDDChecker
• getAllRAWsAtTimepoints() : storm::dft::modelchecker::SFTBDDChecker
• getAllRewardModelExpressions() : storm::jani::Model
• getAllRows() : storm::solver::SymbolicEquationSolver< DdType, ValueType >
• getAllRRWsAtTimebound() : storm::dft::modelchecker::SFTBDDChecker
• getAllRRWsAtTimepoints() : storm::dft::modelchecker::SFTBDDChecker
• getAlwaysFailedBound() : storm::dft::utility::FailureBoundFinder
• getAP() : storm::automata::APSet
• getAperiodicFactor() : storm::LongRunAverageSolverEnvironment, storm::settings::modules::LongRunAverageSolverSettings
• getAPMapping() : storm::logic::HOAPathFormula
• getApproximationError() : storm::dft::settings::modules::FaultTreeSettings
• getApproximationHeuristic() : storm::dft::settings::modules::FaultTreeSettings
• getAPs() : storm::automata::APSet
• getAPSet() : storm::automata::DeterministicAutomaton
• getArgument() : storm::expressions::FunctionCallExpression, storm::settings::Option
• getArgumentByName() : storm::settings::Option
• getArgumentCount() : storm::settings::Option
• getArguments() : storm::expressions::FunctionCallExpression, storm::settings::Option
• getArgumentValue() : storm::settings::Argument< T >
• getArity() : storm::expressions::BaseExpression, storm::expressions::BinaryExpression, storm::expressions::Expression, storm::expressions::IfThenElseExpression, storm::expressions::PredicateExpression, storm::expressions::UnaryExpression
• getArrayAccessIndices() : storm::jani::detail::ArrayExpressionEliminationVisitor
• getArrayIndexVector() : storm::jani::LValue
• getArrayType() : storm::expressions::ExpressionManager
• getArrayVariables() : storm::jani::VariableSet
• getAsInt() : storm::storage::BitVector
• getAssignedExpression() : storm::jani::Assignment
• getAssignedVariables() : storm::gbar::abstraction::jani::AutomatonAbstractor< DdType, ValueType >, storm::gbar::abstraction::jani::EdgeAbstractor< DdType, ValueType >, storm::gbar::abstraction::jani::JaniMenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::MenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::CommandAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::ModuleAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::PrismMenuGameAbstractor< DdType, ValueType >
• getAssignment() : storm::prism::Update
• getAssignments() : storm::jani::Edge, storm::jani::Location, storm::jani::TemplateEdge, storm::prism::Update
• getAsVariableToExpressionMap() : storm::jani::EdgeDestination, storm::prism::Update
• getAtomicExpressionFormulas() : storm::logic::Formula
• getAtomicLabelFormulas() : storm::logic::Formula
• getAutomata() : storm::jani::Model
• getAutomaton() : storm::jani::Model
• getAutomatonFile() : storm::logic::HOAPathFormula
• getAutomatonIndex() : storm::jani::Model
• getAutomatonInfo() : storm::jani::JaniLocalEliminator::Session
• getAutomatonName() : storm::jani::AutomatonComposition
• getAutomatonState() : storm::transformer::Product< Model >
• getAutomatonToMultiplicityMap() : storm::jani::CompositionInformation
• getAuxVariable() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getAuxVariableCount() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getAuxVariables() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getAuxVariableSet() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getAverageDecay() : storm::settings::modules::DerivativeSettings
• getAverageOfBounds() : storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >
• getBackwardTransitions() : storm::models::sparse::Model< CValueType, CRewardModelType >
• getBaseExpression() : storm::expressions::Expression
• getBaseExpressionPointer() : storm::expressions::Expression
• getBaseModule() : storm::prism::Module
• getBaseType() : storm::jani::ArrayType, storm::jani::BoundedType
• getBaseTypeRecursive() : storm::jani::ArrayType
• getBasicElement() : storm::dft::storage::DFT< ValueType >
• getBasicElements() : storm::dft::storage::DFT< ValueType >
• getBddEncodingLessOrEqualThan() : storm::dd::InternalDdManager< DdType::CUDD >, storm::dd::InternalDdManager< DdType::Sylvan >
• getBddOne() : storm::dd::DdManager< LibraryType >, storm::dd::InternalDdManager< DdType::CUDD >, storm::dd::InternalDdManager< DdType::Sylvan >
• getBddZero() : storm::dd::DdManager< LibraryType >, storm::dd::InternalDdManager< DdType::CUDD >, storm::dd::InternalDdManager< DdType::Sylvan >
• getBeginIndex() : storm::storage::bisimulation::Block< DataType >
• getBeliefActionReward() : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• getBeliefId() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getBeliefManager() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getBeliefMap() : storm::generator::SparseBeliefState< ValueType >
• getBeliefNumberOfChoices() : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• getBeliefObservation() : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• getBeliefsInMdp() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getBeliefsWithObservationInMdp() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getBERate() : storm::dft::storage::DFTState< ValueType >
• getBinaryValue() : storm::solver::GlpkLpSolver, storm::solver::GurobiLpSolver< ValueType, RawMode >, storm::solver::LpSolver< ValueType, RawMode >, storm::solver::SoplexLpSolver< ValueType, RawMode >, storm::solver::Z3LpSolver< ValueType, RawMode >
• getBirnbaumFactorAtTimebound() : storm::dft::modelchecker::SFTBDDChecker
• getBirnbaumFactorsAtTimepoints() : storm::dft::modelchecker::SFTBDDChecker
• getBitsForUnboundedVariables() : storm::settings::modules::BuildSettings
• getBitVector() : storm::gspn::Marking
• getBitVectorType() : storm::expressions::ExpressionManager
• getBitVectorValue() : storm::expressions::SimpleValuation, storm::expressions::Valuation
• getBlock() : storm::storage::bisimulation::Partition< DataType >, storm::storage::Decomposition< BlockType >
• getBlockIndexOfVariable() : storm::gbar::abstraction::LocalExpressionInformation< DdType >
• getBlockIndicesOfVariables() : storm::gbar::abstraction::LocalExpressionInformation< DdType >
• getBlockOfVariable() : storm::gbar::abstraction::LocalExpressionInformation< DdType >
• getBlocks() : storm::storage::bisimulation::Partition< DataType >
• getBlockVariable() : storm::dd::bisimulation::Partition< DdType, ValueType >
• getBlockVariables() : storm::dd::bisimulation::Partition< DdType, ValueType >
• getBooleanArrayVariableReplacement() : storm::generator::TransientVariableInformation< ValueType >, storm::generator::VariableInformation
• getBooleanType() : storm::expressions::ExpressionManager
• getBooleanValue() : storm::expressions::SimpleValuation, storm::expressions::Valuation, storm::solver::SmtlibSmtSolver::SmtlibModelReference, storm::solver::SmtSolver::ModelReference, storm::solver::Z3SmtSolver::Z3ModelReference, storm::storage::sparse::StateValuations, storm::storage::sparse::StateValuations::StateValueIterator
• getBooleanValues() : storm::storage::sparse::StateValuations
• getBooleanVarCount() : storm::storage::sparse::StateValuationsBuilder
• getBooleanVariable() : storm::prism::Module
• getBooleanVariables() : storm::jani::VariableSet, storm::prism::Module
• getBottom() : storm::analysis::Order
• getBottomEpoch() : storm::modelchecker::helper::rewardbounded::EpochManager
• getBottomStateBdd() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getBottomStates() : storm::gbar::abstraction::MenuGame< Type, ValueType >
• getBottomStateTransitions() : storm::gbar::abstraction::jani::AutomatonAbstractor< DdType, ValueType >, storm::gbar::abstraction::jani::EdgeAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::CommandAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::ModuleAbstractor< DdType, ValueType >
• getBottomStateVariable() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getBound() : storm::logic::CumulativeRewardFormula, storm::logic::InstantaneousRewardFormula, storm::logic::OperatorFormula, storm::logic::TimeBound, storm::modelchecker::CheckTask< FormulaType, ValueType >, storm::modelchecker::SparseParameterLiftingModelChecker< SparseModelType, ConstantType >, storm::pars::FeasibilitySynthesisTask
• getBoundAtInitState() : storm::modelchecker::RegionModelChecker< ParametricType >, storm::modelchecker::SparseParameterLiftingModelChecker< SparseModelType, ConstantType >
• getBoundComparisonType() : storm::modelchecker::CheckTask< FormulaType, ValueType >
• getBounded() : storm::storage::BisimulationDecomposition< ModelType, BlockDataType >::Options
• getBoundedIntegerVariables() : storm::jani::VariableSet
• getBoundForAction() : storm::modelchecker::exploration_detail::Bounds< StateType, ValueType >
• getBoundParent() : storm::storage::ParameterRegion< ParametricType >
• getBounds() : storm::logic::CumulativeRewardFormula
• getBoundsForAction() : storm::modelchecker::exploration_detail::Bounds< StateType, ValueType >
• getBoundsForState() : storm::modelchecker::exploration_detail::Bounds< StateType, ValueType >
• getBoundThreshold() : storm::modelchecker::CheckTask< FormulaType, ValueType >
• getBoundVariable() : storm::logic::QuantileFormula
• getBoundVariables() : storm::logic::QuantileFormula
• getBucketAndValue() : storm::storage::BitVectorHashMap< ValueType, Hash >
• getCapacitiesFilename() : storm::settings::modules::GSPNSettings
• getCapacity() : storm::gspn::Place, storm::settings::modules::GSPNSettings
• getCenterPoint() : storm::storage::ParameterRegion< ParametricType >
• getChecks() : storm::pomdp::IterativePolicySearch< ValueType >::Statistics
• getCheckTask() : storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >
• getChild() : storm::dft::storage::DFT< ValueType >, storm::generator::ArrayVariableReplacementInformation
• getChildren() : storm::storage::geometry::PolytopeTree< ValueType >
• getChoice() : storm::storage::ExplicitGameStrategy, storm::storage::Scheduler< ValueType >
• getChoiceAsDistribution() : storm::storage::SchedulerChoice< ValueType >
• getChoiceAsJson() : storm::storage::sparse::ChoiceOrigins
• getChoiceHasLabel() : storm::models::sparse::ChoiceLabeling
• getChoiceIndex() : storm::models::sparse::NondeterministicModel< ValueType, RewardModelType >
• getChoiceInfo() : storm::storage::sparse::ChoiceOrigins
• getChoiceLabeling() : storm::models::sparse::Model< CValueType, CRewardModelType >
• getChoiceLabelingFilename() : storm::settings::modules::IOSettings
• getChoiceOrigins() : storm::models::sparse::Model< CValueType, CRewardModelType >
• getChoicePartition() : storm::dd::bisimulation::NondeterministicModelPartitionRefiner< DdType, ValueType >
• getChoiceRewards() : storm::modelchecker::multiobjective::DeterministicSchedsObjectiveHelper< ModelType >
• getChoices() : storm::generator::StateBehavior< ValueType, StateType >, storm::models::sparse::ChoiceLabeling, storm::simulator::DiscreteTimePrismProgramSimulator< ValueType >
• getChoicesForState() : storm::storage::MaximalEndComponent
• getChoicesWithFilter() : storm::models::sparse::StandardRewardModel< CValueType >
• getChoicesWithZeroReward() : storm::models::sparse::StandardRewardModel< CValueType >
• getChunksize() : storm::dft::settings::modules::FaultTreeSettings
• getCIFAtTimebound() : storm::dft::modelchecker::SFTBDDChecker
• getCIFsAtTimepoints() : storm::dft::modelchecker::SFTBDDChecker
• getClassName() : storm::modelchecker::AbstractModelChecker< ModelType >
• getClippingGridResolution() : storm::settings::modules::BeliefExplorationSettings
• getClockVariable() : storm::prism::Module
• getClockVariables() : storm::jani::VariableSet, storm::prism::Module
• getCoalition() : storm::logic::GameFormula
• getCoefficient() : storm::expressions::LinearCoefficientVisitor::VariableCoefficients
• getCollectedHyperplanesAsMatrixVector() : storm::storage::geometry::HyperplaneCollector< ValueType >
• getColor() : storm::jani::Edge
• getColumn() : storm::storage::MatrixEntry< IndexType, ValueType >
• getColumnAndNondeterminismVariables() : storm::models::symbolic::Model< Type, CValueType >
• getColumnCount() : storm::storage::FlexibleSparseMatrix< ValueType >, storm::storage::SparseMatrix< ValueType >
• getColumnValuePair() : storm::storage::MatrixEntry< IndexType, ValueType >
• getColumnVariables() : storm::models::symbolic::Model< Type, CValueType >
• getCommand() : storm::prism::Module
• getCommandIndicesByActionIndex() : storm::prism::Module
• getCommands() : storm::gbar::abstraction::prism::ModuleAbstractor< DdType, ValueType >, storm::prism::Module
• getCommandSet() : storm::storage::sparse::PrismChoiceOrigins
• getCommandUpdateProbabilitiesAdd() : storm::gbar::abstraction::prism::CommandAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::ModuleAbstractor< DdType, ValueType >
• getComment() : storm::jani::Property
• getComparisonType() : storm::logic::OperatorFormula
• getCompiledExpression() : storm::expressions::Expression, storm::expressions::ExprtkCompiledExpression, storm::expressions::ExprtkExpressionEvaluatorBase< RationalType >
• getCompleteProductModel() : storm::modelchecker::helper::lexicographic::lexicographicModelCheckerHelper< SparseModelType, ValueType, Nondeterministic >
• getComputedValueAtInitialState() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getComputeOnlyMaybeStates() : storm::modelchecker::ExplicitModelCheckerHint< ValueType >
• getComputeUpperBounds() : storm::modelchecker::helper::SparseMdpHintType< ValueType >
• getConcreteCommand() : storm::gbar::abstraction::prism::CommandAbstractor< DdType, ValueType >
• getConcreteEdge() : storm::gbar::abstraction::jani::EdgeAbstractor< DdType, ValueType >
• getConcreteEdges() : storm::jani::EdgeContainer
• getConcreteValuations() : storm::transformer::ParameterLifter< ParametricType, ConstantType >::AbstractValuation
• getCondition() : storm::expressions::IfThenElseExpression
• getConditionFormula() : storm::logic::ConditionalFormula
• getConfigFilename() : storm::settings::modules::ConversionGeneralSettings, storm::settings::modules::GeneralSettings
• getConsideredParametricModel() : storm::modelchecker::SparseParameterLiftingModelChecker< SparseModelType, ConstantType >
• getConstant() : storm::dd::DdManager< LibraryType >, storm::dd::InternalDdManager< DdType::CUDD >, storm::dd::InternalDdManager< DdType::Sylvan >, storm::jani::Model, storm::prism::Program, storm::solver::LpSolver< ValueType, RawMode >
• getConstantDefinition() : storm::storage::QvbsBenchmark
• getConstantDefinitionString() : storm::settings::modules::ConversionInputSettings, storm::settings::modules::GSPNSettings, storm::settings::modules::IOSettings
• getConstantInitialStateValue() : storm::modelchecker::multiobjective::DeterministicSchedsObjectiveHelper< ModelType >
• getConstantPart() : storm::expressions::LinearCoefficientVisitor::VariableCoefficients
• getConstantPrecision() : storm::settings::modules::CuddSettings
• getConstants() : storm::jani::Model, storm::prism::Program
• getConstantsFormulasSubstitution() : storm::prism::Program
• getConstantsSubstitution() : storm::gspn::GSPN, storm::jani::Model, storm::prism::Program
• getConstrainedRowGroupSumVector() : storm::storage::SparseMatrix< ValueType >
• getConstrainedRowSum() : storm::storage::SparseMatrix< ValueType >
• getConstrainedRowSumVector() : storm::storage::SparseMatrix< ValueType >
• getConstraintAndTargetStates() : storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >, storm::gbar::modelchecker::BisimulationAbstractionRefinementModelChecker< ModelType >
• getConstraintExpression() : storm::jani::Constant
• getConstraintMethod() : storm::settings::modules::DerivativeSettings
• getConstraintMethodAsString() : storm::settings::modules::DerivativeSettings
• getConstraints() : storm::gbar::abstraction::AbstractionInformation< DdType >, storm::storage::geometry::NativePolytope< ValueType >, storm::storage::geometry::Polytope< ValueType >
• getConstraintString() : storm::settings::modules::AbstractionSettings
• getContainedMetaVariables() : storm::dd::Dd< LibraryType >
• getContainer() : storm::storage::DynamicPriorityQueue< T, Container, Compare >
• getContext() : storm::logic::BinaryBooleanPathFormula, storm::logic::ConditionalFormula, storm::logic::EventuallyFormula, storm::logic::HOAPathFormula, storm::logic::UnaryBooleanPathFormula
• getContinuousValue() : storm::solver::GlpkLpSolver, storm::solver::GurobiLpSolver< ValueType, RawMode >, storm::solver::LpSolver< ValueType, RawMode >, storm::solver::SoplexLpSolver< ValueType, RawMode >, storm::solver::Z3LpSolver< ValueType, RawMode >
• getContinuousVariables() : storm::jani::VariableSet
• getConvergenceCriterion() : storm::settings::modules::GameSolverSettings, storm::settings::modules::MinMaxEquationSolverSettings, storm::settings::modules::NativeEquationSolverSettings
• getCoverageThreshold() : storm::settings::modules::PartitionSettings
• getCube() : storm::dd::Bdd< LibraryType >, storm::dd::DdManager< LibraryType >, storm::dd::DdMetaVariable< LibraryType >
• getCuddAdd() : storm::dd::InternalAdd< DdType::CUDD, ValueType >
• getCuddBdd() : storm::dd::InternalBdd< DdType::CUDD >
• getCuddDdNode() : storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalBdd< DdType::CUDD >
• getCuddManager() : storm::dd::InternalDdManager< DdType::CUDD >
• getCurrentBeliefs() : storm::generator::NondeterministicBeliefTracker< ValueType, BeliefState >
• getCurrentBeliefSupport() : storm::generator::BeliefSupportTracker< ValueType >
• getCurrentCheckTask() : storm::modelchecker::SparseParameterLiftingModelChecker< SparseModelType, ConstantType >
• getCurrentDimension() : storm::generator::NondeterministicBeliefTracker< ValueType, BeliefState >
• getCurrentlyFailableString() : storm::dft::storage::FailableElements
• getCurrentMaxScheduler() : storm::modelchecker::SparseDtmcParameterLiftingModelChecker< SparseModelType, ConstantType >, storm::modelchecker::SparseMdpParameterLiftingModelChecker< SparseModelType, ConstantType >
• getCurrentMinScheduler() : storm::modelchecker::SparseDtmcParameterLiftingModelChecker< SparseModelType, ConstantType >, storm::modelchecker::SparseMdpParameterLiftingModelChecker< SparseModelType, ConstantType >
• getCurrentNumberOfMdpChoices() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getCurrentNumberOfMdpStates() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getCurrentObservation() : storm::generator::NondeterministicBeliefTracker< ValueType, BeliefState >
• getCurrentPlayer1Scheduler() : storm::modelchecker::SparseMdpParameterLiftingModelChecker< SparseModelType, ConstantType >
• getCurrentRisk() : storm::generator::NondeterministicBeliefTracker< ValueType, BeliefState >
• getCurrentRowGroupCount() : storm::storage::SparseMatrixBuilder< ValueType >
• getCurrentState() : storm::dft::simulator::DFTTraceSimulator< ValueType >, storm::simulator::DiscreteTimePrismProgramSimulator< ValueType >, storm::simulator::DiscreteTimeSparseModelSimulator< ValueType, RewardModelType >
• getCurrentStateActionExplorationWasDelayed() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getCurrentStateAsValuation() : storm::simulator::DiscreteTimePrismProgramSimulator< ValueType >
• getCurrentStateLabelling() : storm::simulator::DiscreteTimePrismProgramSimulator< ValueType >
• getCurrentStateString() : storm::simulator::DiscreteTimePrismProgramSimulator< ValueType >
• getCurrentStateWasClipped() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getCurrentStateWasTruncated() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getCurrentSubset() : storm::storage::geometry::SubsetEnumerator< DataType >
• getCurrentTime() : storm::dft::simulator::DFTTraceSimulator< ValueType >
• getDA() : storm::automata::HOAConsumerDA
• getData() : storm::parser::MappedFile
• getDataEnd() : storm::parser::MappedFile
• getDataSize() : storm::parser::MappedFile
• getDdLibraryType() : storm::settings::modules::CoreSettings
• getDdLocationMetaVariable() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getDdManager() : storm::dd::Dd< LibraryType >, storm::gbar::abstraction::AbstractionInformation< DdType >, storm::gbar::abstraction::jani::JaniMenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::MenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::PrismMenuGameAbstractor< DdType, ValueType >, storm::solver::SymbolicEquationSolver< DdType, ValueType >
• getDdManagerAsSharedPointer() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getDdVariables() : storm::dft::transformations::SftToBddTransformator< ValueType >
• getDeadlockProperties() : storm::builder::JaniGSPNBuilder
• getDeadlockStates() : storm::models::symbolic::Model< Type, CValueType >
• getDecomposition() : storm::analysis::Order
• getDefaultSystemComposition() : storm::prism::Program
• getDependencies() : storm::dft::storage::DFT< ValueType >
• getDependency() : storm::dft::storage::DFT< ValueType >
• getDependencyConflicts() : storm::dft::utility::FDEPConflictFinder< ValueType >
• getDependencyState() : storm::dft::storage::DFTState< ValueType >
• getDepth() : storm::dft::builder::DFTExplorationHeuristic< ValueType >, storm::dft::builder::DFTExplorationHeuristicDepth< ValueType >
• getDepthLimit() : storm::settings::modules::PartitionSettings
• getDerivativeAtInstantiation() : storm::settings::modules::DerivativeSettings
• getDescription() : storm::jani::elimination_actions::AutomaticAction, storm::jani::elimination_actions::EliminateAction, storm::jani::elimination_actions::EliminateAutomaticallyAction, storm::jani::elimination_actions::FinishAction, storm::jani::elimination_actions::RebuildWithoutUnreachableAction, storm::jani::elimination_actions::UnfoldAction, storm::jani::JaniLocalEliminator::Action, storm::settings::ArgumentBase, storm::settings::Option
• getDestination() : storm::jani::Edge, storm::jani::TemplateEdge
• getDestinations() : storm::jani::Edge, storm::jani::TemplateEdge
• getDeterministicChoice() : storm::storage::SchedulerChoice< ValueType >
• getDetLraMethod() : storm::LongRunAverageSolverEnvironment, storm::settings::modules::LongRunAverageSolverSettings
• getDFT() : storm::dft::adapters::SFTBDDPropertyFormulaAdapter, storm::dft::modelchecker::DFTASFChecker, storm::dft::modelchecker::SFTBDDChecker, storm::dft::transformations::SftToBddTransformator< ValueType >
• getDftFilename() : storm::dft::settings::modules::DftIOSettings
• getDftJsonFilename() : storm::dft::settings::modules::DftIOSettings
• getDIFAtTimebound() : storm::dft::modelchecker::SFTBDDChecker
• getDifference() : storm::storage::ParameterRegion< ParametricType >
• getDifferenceOfStateBounds() : storm::modelchecker::exploration_detail::Bounds< StateType, ValueType >
• getDIFsAtTimepoints() : storm::dft::modelchecker::SFTBDDChecker
• getDimension() : storm::logic::BoundedUntilFormula, storm::logic::CumulativeRewardFormula, storm::logic::QuantileFormula, storm::modelchecker::helper::rewardbounded::MultiDimensionalRewardUnfolding< ValueType, SingleObjectiveMode >
• getDimensionCount() : storm::modelchecker::helper::rewardbounded::EpochManager, storm::modelchecker::helper::rewardbounded::MemoryStateManager
• getDimensionOfEpoch() : storm::modelchecker::helper::rewardbounded::EpochManager
• getDimensionsAsString() : storm::storage::SparseMatrix< ValueType >
• getDistance() : storm::utility::ksp::ShortestPathsGenerator< T >
• getDominance() : storm::modelchecker::multiobjective::DeterministicSchedsParetoExplorer< SparseModelType, GeometryValueType >::Point
• getDominatingCostLimits() : storm::modelchecker::helper::rewardbounded::CostLimitClosure
• getDoneBuilding() : storm::analysis::Order
• getDotOutputFilename() : storm::settings::modules::MonotonicitySettings
• getDynamicBehavior() : storm::dft::utility::FDEPConflictFinder< ValueType >
• getEc() : storm::modelchecker::helper::SparseMdpEndComponentInformation< ValueType >
• getEdge() : storm::jani::Automaton
• getEdgeAsJson() : storm::jani::JsonExporter
• getEdgeContainer() : storm::jani::Automaton
• getEdgeDecoratorAdd() : storm::gbar::abstraction::jani::AutomatonAbstractor< DdType, ValueType >, storm::gbar::abstraction::jani::EdgeAbstractor< DdType, ValueType >
• getEdgeIndexSet() : storm::storage::sparse::JaniChoiceOrigins
• getEdges() : storm::gbar::abstraction::jani::AutomatonAbstractor< DdType, ValueType >, storm::jani::Automaton
• getEdgesFromLocation() : storm::jani::Automaton
• getElement() : storm::dft::storage::DFT< ValueType >
• getElementExpression() : storm::expressions::ConstructorArrayExpression
• getElementLayoutInfo() : storm::dft::storage::DFT< ValueType >
• getElements() : storm::dft::storage::DftModule
• getElementsString() : storm::dft::storage::DFT< ValueType >
• getElementState() : storm::dft::storage::DFTState< ValueType >
• getElementsWithStateString() : storm::dft::storage::DFT< ValueType >
• getElementType() : storm::expressions::ArrayType, storm::expressions::Type
• getEliminatedEndComponents() : storm::modelchecker::helper::SparseMdpEndComponentInformation< ValueType >
• getEliminateEndComponents() : storm::modelchecker::helper::SparseMdpHintType< ValueType >
• getEliminationMethod() : storm::settings::modules::EliminationSettings
• getEliminationOrder() : storm::settings::modules::EliminationSettings
• getElseExpression() : storm::expressions::IfThenElseExpression
• getElseOffset() : storm::dd::Odd
• getElseSuccessor() : storm::dd::Odd
• getEnabledRequirementsAsString() : storm::solver::LinearEquationSolverRequirements, storm::solver::MinMaxLinearEquationSolverRequirements
• getEncoding() : storm::dd::Bdd< LibraryType >, storm::dd::DdManager< LibraryType >, storm::dd::Odd
• getEncodingType() : storm::MultiObjectiveModelCheckerEnvironment
• getEndIndex() : storm::storage::bisimulation::Block< DataType >
• getEngine() : storm::settings::modules::CoreSettings, storm::utility::AutomaticSettings
• getEntryCount() : storm::storage::SparseMatrix< ValueType >
• getEpochClass() : storm::modelchecker::helper::rewardbounded::EpochManager
• getEpochComputationOrder() : storm::modelchecker::helper::rewardbounded::MultiDimensionalRewardUnfolding< ValueType, SingleObjectiveMode >
• getEpochManager() : storm::modelchecker::helper::rewardbounded::MultiDimensionalRewardUnfolding< ValueType, SingleObjectiveMode >
• getEquationProblemFormat() : storm::solver::AcyclicLinearEquationSolver< ValueType >, storm::solver::EigenLinearEquationSolver< ValueType >, storm::solver::EliminationLinearEquationSolver< ValueType >, storm::solver::GmmxxLinearEquationSolver< ValueType >, storm::solver::LinearEquationSolver< ValueType >, storm::solver::LinearEquationSolverFactory< ValueType >, storm::solver::NativeLinearEquationSolver< ValueType >, storm::solver::SymbolicEliminationLinearEquationSolver< DdType, ValueType >, storm::solver::SymbolicLinearEquationSolver< DdType, ValueType >, storm::solver::SymbolicLinearEquationSolverFactory< DdType, ValueType >, storm::solver::SymbolicNativeLinearEquationSolver< DdType, ValueType >, storm::solver::TopologicalLinearEquationSolver< ValueType >
• getEquationSolver() : storm::settings::modules::CoreSettings
• getErrorCode() : storm::utility::resources::SignalInformation
• getExitRate() : storm::models::sparse::MarkovAutomaton< ValueType, RewardModelType >
• getExitRates() : storm::models::sparse::MarkovAutomaton< ValueType, RewardModelType >
• getExitRateVector() : storm::models::sparse::Ctmc< ValueType, RewardModelType >, storm::models::symbolic::Ctmc< Type, ValueType >, storm::models::symbolic::MarkovAutomaton< Type, ValueType >
• getExplicitDRNFilename() : storm::settings::modules::IOSettings
• getExplicitIMCAFilename() : storm::settings::modules::IOSettings
• getExplicitStates() : storm::modelchecker::HybridQuantitativeCheckResult< Type, ValueType >
• getExplicitValueVector() : storm::modelchecker::HybridQuantitativeCheckResult< Type, ValueType >
• getExplorationOrder() : storm::settings::modules::BuildSettings
• getExplorationStateLimit() : storm::settings::modules::BuildSettings
• getExplorationTimeLimit() : storm::settings::modules::BeliefExplorationSettings
• getExploredMdp() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getExploredMdpState() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getExportBddDotFilename() : storm::dft::settings::modules::DftIOSettings
• getExportBuildFilename() : storm::settings::modules::IOSettings
• getExportBuildFormat() : storm::settings::modules::IOSettings
• getExportCdfDirectory() : storm::settings::modules::IOSettings
• getExportCheckResultFilename() : storm::settings::modules::IOSettings
• getExportDdFilename() : storm::settings::modules::IOSettings
• getExportDotFilename() : storm::settings::modules::IOSettings
• getExportDotMaxWidth() : storm::settings::modules::IOSettings
• getExportExplicitFilename() : storm::settings::modules::IOSettings
• getExportJaniDotFilename() : storm::settings::modules::IOSettings
• getExportJsonFilename() : storm::dft::settings::modules::DftIOSettings
• getExportMonotonicityFilename() : storm::settings::modules::MonotonicitySettings
• getExportPlotDirectory() : storm::settings::modules::MultiObjectiveSettings
• getExportSATCallsPath() : storm::pomdp::MemlessSearchOptions, storm::settings::modules::QualitativePOMDPAnalysisSettings
• getExportSchedulerFilename() : storm::settings::modules::IOSettings
• getExportSmtFilename() : storm::dft::settings::modules::DftIOSettings
• getExportSmtLibScriptPath() : storm::settings::modules::Smt2SmtSolverSettings
• getExportToParametricFilename() : storm::settings::modules::POMDPSettings, storm::settings::modules::ToParametricSettings
• getExpression() : storm::builder::LabelOrExpression, storm::expressions::Variable, storm::jani::Constant, storm::logic::AtomicExpressionFormula, storm::models::symbolic::Model< Type, CValueType >, storm::prism::Assignment, storm::prism::Constant, storm::prism::Formula, storm::prism::Variable
• getExpressionBlock() : storm::gbar::abstraction::LocalExpressionInformation< DdType >
• getExpressionLabels() : storm::builder::BuilderOptions
• getExpressionManager() : storm::gbar::abstraction::AbstractionInformation< DdType >, storm::gspn::GSPN, storm::jani::Model
• getExpressions() : storm::dd::bisimulation::PreservationInformation< DdType, ValueType >
• getExpressionsUsingVariable() : storm::gbar::abstraction::LocalExpressionInformation< DdType >
• getExpressionsUsingVariables() : storm::gbar::abstraction::LocalExpressionInformation< DdType >
• getExpressionVariable() : storm::jani::Assignment, storm::jani::Constant, storm::jani::Variable, storm::prism::Constant, storm::prism::Formula, storm::prism::Variable
• getExtendedSourceSuccessorVariablePairs() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getExtendedTransitionMatrix() : storm::gbar::abstraction::MenuGame< Type, ValueType >
• getExtremeValueBound() : storm::pomdp::modelchecker::PreprocessingPomdpValueBoundsModelChecker< ValueType >
• getExtremeValueBoundAtPOMDPState() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getFailableBERate() : storm::dft::storage::DFTState< ValueType >
• getFailableElements() : storm::dft::storage::DFTState< ValueType >
• getFeasibilityMethod() : storm::settings::modules::FeasibilitySettings
• getFilename() : storm::prism::LocatedInformation
• getFilter() : storm::jani::Property
• getFilterType() : storm::jani::FilterExpression
• getFinalRenamingOfModule() : storm::prism::Program
• getFinished() : storm::jani::JaniLocalEliminator::Session
• getFirstInitialState() : storm::modelchecker::exploration_detail::StateGeneration< StateType, ValueType >
• getFirstOperand() : storm::expressions::BinaryExpression
• getFlag() : storm::storage::bisimulation::DeterministicBlockData
• getFormula() : storm::jani::FilterExpression, storm::modelchecker::CheckTask< FormulaType, ValueType >, storm::pars::FeasibilitySynthesisTask
• getFormulas() : storm::prism::Program
• getFormulasSubstitution() : storm::prism::Program
• getFreshId() : storm::generator::BeliefStateManager< ValueType >
• getFscApplicationTypeString() : storm::settings::modules::ToParametricSettings
• getFullSignature() : storm::dd::bisimulation::PartitionRefiner< DdType, ValueType >, storm::dd::bisimulation::SignatureComputer< DdType, ValueType >
• getFunctionBody() : storm::jani::FunctionDefinition
• getFunctionDefinitions() : storm::jani::Automaton
• getFunctionIdentifier() : storm::expressions::FunctionCallExpression
• getGameSolvingMethod() : storm::settings::modules::GameSolverSettings
• getGapThresholdFactor() : storm::settings::modules::BeliefExplorationSettings
• getGapThresholdInit() : storm::settings::modules::BeliefExplorationSettings
• getGate() : storm::dft::storage::DFT< ValueType >
• getGenerator() : storm::modelchecker::helper::rewardbounded::CostLimitClosure
• getGlobalBooleanVariable() : storm::prism::Program
• getGlobalBooleanVariables() : storm::prism::Program
• getGlobalFunctionDefinitions() : storm::jani::Model
• getGlobalIndex() : storm::prism::Command, storm::prism::Update
• getGlobalIntegerVariable() : storm::prism::Program
• getGlobalIntegerVariables() : storm::prism::Program
• getGlobalMonotonicityResult() : storm::analysis::LocalMonotonicityResult< VariableType >
• getGlobalVariable() : storm::jani::Model
• getGlobalVariables() : storm::jani::Model
• getGoodInitialPoint() : storm::modelchecker::SparseParameterLiftingModelChecker< SparseModelType, ConstantType >
• getGradientDescentMethod() : storm::settings::modules::DerivativeSettings
• getGradientDescentMethodAsString() : storm::settings::modules::DerivativeSettings
• getGraphBasedwinningObservations() : storm::pomdp::IterativePolicySearch< ValueType >::Statistics
• getGraphPreservingConstraints() : storm::analysis::ConstraintCollector< ValueType >
• getGroupsWithNoDependencies() : storm::jani::elimination_actions::UnfoldDependencyGraph
• getGspnFilename() : storm::settings::modules::GSPNSettings
• getGuard() : storm::gbar::abstraction::jani::AutomatonAbstractor< DdType, ValueType >, storm::gbar::abstraction::jani::EdgeAbstractor< DdType, ValueType >, storm::gbar::abstraction::jani::JaniMenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::MenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::CommandAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::ModuleAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::PrismMenuGameAbstractor< DdType, ValueType >, storm::jani::Edge, storm::jani::TemplateEdge
• getGuardExpression() : storm::prism::Command
• getHalfspace() : storm::modelchecker::multiobjective::DeterministicSchedsParetoExplorer< SparseModelType, GeometryValueType >::Facet
• getHalfspaces() : storm::storage::geometry::NativePolytope< ValueType >, storm::storage::geometry::Polytope< ValueType >
• getHasBeenSet() : storm::settings::ArgumentBase
• getHasDefaultValue() : storm::settings::Argument< T >, storm::settings::ArgumentBase
• getHash() : storm::utility::Hash< T >
• getHashValue() : storm::transformer::ParameterLifter< ParametricType, ConstantType >::AbstractValuation
• getHasOptionBeenSet() : storm::settings::Option
• getHasOptionBeenSetWithModulePrefix() : storm::settings::Option
• getHasShortName() : storm::settings::Option
• getHeader() : storm::automata::HOAConsumerDAHeader
• getHeight() : storm::dd::Odd
• getHelpFilterExpression() : storm::settings::modules::ConversionGeneralSettings, storm::settings::modules::GeneralSettings
• getHelpForModule() : storm::settings::SettingsManager
• getHigh() : storm::dd::DdMetaVariable< LibraryType >
• getHighestAssignmentLevel() : storm::jani::Edge, storm::jani::TemplateEdge
• getHighestLevel() : storm::dd::DdMetaVariable< LibraryType >, storm::jani::OrderedAssignments
• getHighestLocalNondeterminismVariable() : storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::ActionDd, storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::AutomatonDd
• getHighestLowerBound() : storm::pomdp::storage::PreprocessingPomdpValueBounds< ValueType >
• getHint() : storm::modelchecker::CheckTask< FormulaType, ValueType >
• getId() : storm::dft::builder::DFTExplorationHeuristic< ValueType >, storm::dft::storage::DFTState< ValueType >
• getID() : storm::gspn::Place, storm::gspn::Transition
• getId() : storm::storage::bisimulation::Block< DataType >
• getIdentifier() : storm::expressions::BaseExpression, storm::expressions::Expression, storm::expressions::VariableExpression, storm::storage::sparse::ChoiceOrigins
• getIdentifierAsJson() : storm::storage::sparse::ChoiceOrigins
• getIdentifierExpression() : storm::parser::ExpressionCreator
• getIdentifierForChoicesWithNoOrigin() : storm::storage::sparse::ChoiceOrigins
• getIdentifierInfo() : storm::storage::sparse::ChoiceOrigins
• getIdentifiers() : storm::parser::FormulaParserGrammar
• getIdentity() : storm::dd::DdManager< LibraryType >
• getIllegalMask() : storm::models::symbolic::NondeterministicModel< Type, ValueType >
• getIllegalPlayer1Mask() : storm::models::symbolic::StochasticTwoPlayerGame< Type, ValueType >
• getIllegalPlayer2Mask() : storm::models::symbolic::StochasticTwoPlayerGame< Type, ValueType >
• getIllegalSuccessorMask() : storm::models::symbolic::NondeterministicModel< Type, ValueType >
• getImmediateTransition() : storm::gspn::GSPN
• getImmediateTransitions() : storm::gspn::GSPN
• getImportance() : storm::dft::simulator::BECountImportanceFunction< ValueType >, storm::dft::simulator::ImportanceFunction< ValueType >
• getImportanceMeasure() : storm::dft::settings::modules::DftIOSettings
• getImportanceRange() : storm::dft::simulator::BECountImportanceFunction< ValueType >, storm::dft::simulator::ImportanceFunction< ValueType >
• getImpreciseChecker() : storm::modelchecker::ValidatingSparseDtmcParameterLiftingModelChecker< SparseModelType, ImpreciseType, PreciseType >, storm::modelchecker::ValidatingSparseMdpParameterLiftingModelChecker< SparseModelType, ImpreciseType, PreciseType >, storm::modelchecker::ValidatingSparseParameterLiftingModelChecker< SparseModelType, ImpreciseType, PreciseType >
• getIndex() : storm::automata::APSet, storm::dd::Add< LibraryType, ValueType >, storm::dd::Bdd< LibraryType >, storm::dd::Dd< LibraryType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >, storm::dft::storage::DFT< ValueType >, storm::dft::storage::SylvanBddManager, storm::expressions::Variable
• getIndexLists() : storm::storage::geometry::HyperplaneCollector< ValueType >
• getIndexMaximize() : storm::analysis::LocalMonotonicityResult< VariableType >
• getIndexMinimize() : storm::analysis::LocalMonotonicityResult< VariableType >
• getIndexOfPlayer() : storm::prism::Program
• getIndexVar() : storm::expressions::ConstructorArrayExpression
• getIndices() : storm::dd::DdMetaVariable< LibraryType >
• getIndicesAndLevels() : storm::dd::DdMetaVariable< LibraryType >
• getInducedPolytope() : storm::modelchecker::multiobjective::DeterministicSchedsParetoExplorer< SparseModelType, GeometryValueType >::Facet
• getInfinity() : storm::dd::DdManager< LibraryType >
• getInfinityCase() : storm::modelchecker::multiobjective::DeterministicSchedsObjectiveHelper< ModelType >
• getInfo() : storm::storage::QvbsBenchmark
• getInformation() : storm::jani::CompositionInformationVisitor, storm::logic::FormulaInformationVisitor
• getInformationIndex() : storm::generator::ArrayVariableReplacementInformation
• getInfoString() : storm::dft::storage::DFT< ValueType >
• getInhibitionArcMultiplicity() : storm::gspn::Transition
• getInhibitionPlaces() : storm::gspn::Transition
• getInitExpression() : storm::jani::Variable
• getInitialBelief() : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• getInitialExpression() : storm::gbar::abstraction::jani::JaniMenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::MenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::PrismMenuGameAbstractor< DdType, ValueType >
• getInitialLocationIndices() : storm::jani::Automaton
• getInitialLocationsBdd() : storm::gbar::abstraction::jani::AutomatonAbstractor< DdType, ValueType >
• getInitialMarking() : storm::gspn::GSPN
• getInitialMemoryState() : storm::modelchecker::helper::rewardbounded::MemoryStateManager
• getInitialMemoryStates() : storm::storage::MemoryStructure
• getInitialPartitionMode() : storm::settings::modules::BisimulationSettings
• getInitialProductState() : storm::modelchecker::helper::rewardbounded::ProductModel< ValueType >
• getInitialScheduler() : storm::solver::MinMaxLinearEquationSolver< ValueType, SolutionType >, storm::solver::SymbolicMinMaxLinearEquationSolver< DdType, ValueType >
• getInitialState() : storm::automata::DeterministicAutomaton, storm::derivative::SparseDerivativeInstantiationModelChecker< FunctionType, ConstantType >, storm::storage::NondeterministicMemoryStructure, storm::storage::PomdpMemory, storm::transformer::DAProductBuilder
• getInitialStateResult() : storm::modelchecker::helper::rewardbounded::MultiDimensionalRewardUnfolding< ValueType, SingleObjectiveMode >
• getInitialStates() : storm::dft::generator::DftNextStateGenerator< ValueType, StateType >, storm::generator::JaniNextStateGenerator< ValueType, StateType >, storm::generator::NextStateGenerator< ValueType, StateType >, storm::generator::PrismNextStateGenerator< ValueType, StateType >, storm::modelchecker::exploration_detail::StateGeneration< StateType, ValueType >, storm::models::sparse::Model< CValueType, CRewardModelType >, storm::models::symbolic::Model< Type, CValueType >
• getInitialStatesExpression() : storm::jani::Automaton, storm::jani::Model, storm::prism::InitialConstruct, storm::prism::Program
• getInitialStatesRange() : storm::gbar::abstraction::SymbolicQuantitativeGameResult< Type, ValueType >
• getInitialStatesRestriction() : storm::jani::Automaton, storm::jani::Model
• getInitialStateValue() : storm::modelchecker::LexicographicCheckResult< ValueType >
• getInitialValueExpression() : storm::prism::Variable
• getInjectedRefinementPredicates() : storm::settings::modules::AbstractionSettings
• getInput() : storm::jani::SynchronizationVector
• getInputArcMultiplicity() : storm::gspn::Transition
• getInputEnabledActionIndices() : storm::jani::CompositionInformation
• getInputEnabledActions() : storm::jani::AutomatonComposition
• getInputPlaces() : storm::gspn::Transition
• getInstantiationChecker() : storm::modelchecker::SparseDtmcParameterLiftingModelChecker< SparseModelType, ConstantType >, storm::modelchecker::SparseMdpParameterLiftingModelChecker< SparseModelType, ConstantType >, storm::modelchecker::SparseParameterLiftingModelChecker< SparseModelType, ConstantType >
• getInstantiationCheckerSAT() : storm::modelchecker::SparseDtmcParameterLiftingModelChecker< SparseModelType, ConstantType >, storm::modelchecker::SparseParameterLiftingModelChecker< SparseModelType, ConstantType >
• getInstantiationCheckerVIO() : storm::modelchecker::SparseDtmcParameterLiftingModelChecker< SparseModelType, ConstantType >, storm::modelchecker::SparseParameterLiftingModelChecker< SparseModelType, ConstantType >
• getInstantiationsAreGraphPreserving() : storm::modelchecker::SparseInstantiationModelChecker< SparseModelType, ConstantType >
• getInStates() : storm::modelchecker::helper::rewardbounded::ProductModel< ValueType >
• getIntegerArrayVariableReplacement() : storm::generator::TransientVariableInformation< ValueType >, storm::generator::VariableInformation
• getIntegerTolerance() : storm::settings::modules::GlpkSettings, storm::settings::modules::GurobiSettings
• getIntegerType() : storm::expressions::ExpressionManager
• getIntegerValue() : storm::expressions::SimpleValuation, storm::expressions::Valuation, storm::solver::GlpkLpSolver, storm::solver::GurobiLpSolver< ValueType, RawMode >, storm::solver::LpSolver< ValueType, RawMode >, storm::solver::SmtlibSmtSolver::SmtlibModelReference, storm::solver::SmtSolver::ModelReference, storm::solver::SoplexLpSolver< ValueType, RawMode >, storm::solver::Z3LpSolver< ValueType, RawMode >, storm::solver::Z3SmtSolver::Z3ModelReference, storm::storage::sparse::StateValuations, storm::storage::sparse::StateValuations::StateValueIterator
• getIntegerValues() : storm::storage::sparse::StateValuations
• getIntegerVarCount() : storm::storage::sparse::StateValuationsBuilder
• getIntegerVariable() : storm::prism::Module
• getIntegerVariables() : storm::prism::Module
• getInteractiveBeliefExplorer() : storm::pomdp::modelchecker::BeliefExplorationPomdpModelChecker< PomdpModelType, BeliefValueType, BeliefMDPType >
• getInteractiveResult() : storm::pomdp::modelchecker::BeliefExplorationPomdpModelChecker< PomdpModelType, BeliefValueType, BeliefMDPType >
• getInternalAdd() : storm::dd::Add< LibraryType, ValueType >
• getInternalBdd() : storm::dd::Bdd< LibraryType >
• getInternalDdManager() : storm::dd::Add< LibraryType, ValueType >, storm::dd::DdManager< LibraryType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >
• getInterpolant() : storm::solver::MathsatSmtSolver, storm::solver::SmtSolver
• getInvariant() : storm::prism::Module
• getInvertedBound() : storm::logic::Bound
• getIsAdvanced() : storm::settings::Option
• getIsomorphism() : storm::dft::storage::DFTIsomorphismCheck< ValueType >
• getIsOptional() : storm::settings::Argument< T >, storm::settings::ArgumentBase
• getIsRequired() : storm::settings::Option
• getItemHasLabel() : storm::models::sparse::ItemLabeling
• getItemName() : storm::utility::ProgressMeasurement
• getItems() : storm::models::sparse::ItemLabeling
• getIterations() : storm::pomdp::IterativePolicySearch< ValueType >::Statistics
• getJacobiDecomposition() : storm::storage::SparseMatrix< ValueType >
• getJaniFile() : storm::storage::QvbsBenchmark
• getJaniInputFilename() : storm::settings::modules::ConversionInputSettings, storm::settings::modules::IOSettings
• getJaniOutputFilename() : storm::settings::modules::ConversionOutputSettings
• getJaniVersion() : storm::jani::Model
• getKeepRewards() : storm::storage::BisimulationDecomposition< ModelType, BlockDataType >::Options
• getLabel() : storm::builder::LabelOrExpression, storm::logic::AtomicLabelFormula, storm::storage::sparse::StateValuations::StateValueIterator, storm::transformer::detail::ChoiceLabelIdStorage
• getLabelBehavior() : storm::settings::modules::TransformationSettings
• getLabelCount() : storm::storage::sparse::StateValuationsBuilder
• getLabelExpression() : storm::jani::Model, storm::prism::Program
• getLabelingFilename() : storm::settings::modules::IOSettings
• getLabelNames() : storm::builder::BuilderOptions
• getLabelRenaming() : storm::prism::ToJaniConverter
• getLabels() : storm::dd::bisimulation::PreservationInformation< DdType, ValueType >, storm::generator::Choice< ValueType, StateType >, storm::models::sparse::ItemLabeling, storm::models::symbolic::Model< Type, CValueType >, storm::prism::Program
• getLabelsOfChoice() : storm::models::sparse::ChoiceLabeling
• getLabelsOfItem() : storm::models::sparse::ItemLabeling
• getLabelsOfState() : storm::models::sparse::Model< CValueType, CRewardModelType >, storm::models::sparse::StateLabeling
• getLabelToBddMap() : storm::models::symbolic::Model< Type, CValueType >
• getLabelToExpressionMap() : storm::models::symbolic::Model< Type, CValueType >
• getLabelToExpressionMapping() : storm::prism::Program
• getLabelValue() : storm::storage::sparse::StateValuations::StateValueIterator
• getLastColumn() : storm::storage::SparseMatrixBuilder< ValueType >
• getLastRewards() : storm::simulator::DiscreteTimePrismProgramSimulator< ValueType >, storm::simulator::DiscreteTimeSparseModelSimulator< ValueType, RewardModelType >
• getLastRow() : storm::storage::SparseMatrixBuilder< ValueType >
• getLastWinningRegion() : storm::pomdp::IterativePolicySearch< ValueType >
• getLeafCount() : storm::dd::Add< LibraryType, ValueType >, storm::dd::Bdd< LibraryType >, storm::dd::Dd< LibraryType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >
• getLearningRate() : storm::settings::modules::DerivativeSettings
• getLeastFailureBound() : storm::dft::utility::FailureBoundFinder
• getLeftBound() : storm::storage::IntegerInterval
• getLeftSubcomposition() : storm::prism::ParallelComposition
• getLeftSubformula() : storm::logic::BinaryPathFormula, storm::logic::BinaryStateFormula, storm::logic::BoundedUntilFormula
• getLevel() : storm::dd::Add< LibraryType, ValueType >, storm::dd::Bdd< LibraryType >, storm::dd::Dd< LibraryType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >, storm::jani::Assignment
• getLexArrays() : storm::modelchecker::helper::lexicographic::lexicographicModelCheckerHelper< SparseModelType, ValueType, Nondeterministic >
• getLikelihoodExpression() : storm::prism::Update
• getLinearCoefficients() : storm::expressions::LinearCoefficientVisitor
• getLinearEquationSolverType() : storm::SolverEnvironment
• getLinearEquationSystemMethod() : storm::settings::modules::EigenEquationSolverSettings, storm::settings::modules::GmmxxEquationSolverSettings, storm::settings::modules::NativeEquationSolverSettings
• getLineNumber() : storm::prism::LocatedInformation
• getLocalNondeterminismVariables() : storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::ActionDd
• getLocation() : storm::jani::Automaton
• getLocationEliminationEdgesHeuristic() : storm::settings::modules::BuildSettings, storm::settings::modules::JaniExportSettings
• getLocationEliminationLocationHeuristic() : storm::settings::modules::BuildSettings, storm::settings::modules::JaniExportSettings
• getLocationExpressionVariable() : storm::jani::Automaton
• getLocationExpressionVariables() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getLocationIndex() : storm::jani::Automaton, storm::jani::EdgeDestination
• getLocations() : storm::jani::Automaton
• getLocationVariable() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getLocationVariables() : storm::settings::modules::JaniExportSettings
• getLogfilename() : storm::settings::modules::DebugSettings
• getLongName() : storm::settings::Option
• getLookahead() : storm::settings::modules::QualitativePOMDPAnalysisSettings
• getLookaheadType() : storm::settings::modules::QualitativePOMDPAnalysisSettings
• getLow() : storm::dd::DdMetaVariable< LibraryType >
• getLowerBound() : storm::dft::builder::DFTExplorationHeuristic< ValueType >, storm::dft::builder::DFTExplorationHeuristicBoundDifference< ValueType >, storm::jani::BoundedType, storm::logic::BoundedUntilFormula, storm::pomdp::storage::PreprocessingPomdpValueBounds< ValueType >, storm::solver::AbstractEquationSolver< ValueType >, storm::solver::SymbolicEquationSolver< DdType, ValueType >
• getLowerBoundaries() : storm::storage::ParameterRegion< ParametricType >
• getLowerBoundary() : storm::storage::ParameterRegion< ParametricType >
• getLowerBoundExpression() : storm::prism::IntegerVariable
• getLowerBoundForAction() : storm::modelchecker::exploration_detail::Bounds< StateType, ValueType >
• getLowerBoundForRowGroup() : storm::modelchecker::exploration_detail::Bounds< StateType, ValueType >
• getLowerBoundForState() : storm::modelchecker::exploration_detail::Bounds< StateType, ValueType >
• getLowerBounds() : storm::solver::AbstractEquationSolver< ValueType >, storm::solver::SymbolicEquationSolver< DdType, ValueType >
• getLowerBoundsVector() : storm::solver::SymbolicEquationSolver< DdType, ValueType >
• getLowerObjectiveBound() : storm::modelchecker::helper::rewardbounded::MultiDimensionalRewardUnfolding< ValueType, SingleObjectiveMode >
• getLowerParameters() : storm::transformer::ParameterLifter< ParametricType, ConstantType >::AbstractValuation
• getLowerResultBound() : storm::modelchecker::helper::SparseMdpHintType< ValueType >
• getLowerValueBoundAtCurrentState() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getLowerValueBoundAtState() : storm::modelchecker::multiobjective::DeterministicSchedsObjectiveHelper< ModelType >
• getLowerValueBoundScheduler() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getLowerValueBoundSchedulers() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getLowestAssignmentLevel() : storm::jani::AssignmentLevelFinder, storm::jani::Edge, storm::jani::TemplateEdge
• getLowestIndex() : storm::dd::DdMetaVariable< LibraryType >
• getLowestLevel() : storm::jani::OrderedAssignments
• getLowestLocalNondeterminismVariable() : storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::ActionDd, storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::AutomatonDd
• getLpSolver() : storm::settings::modules::CoreSettings
• getLpUseEqualityForTrivialActions() : storm::settings::modules::MinMaxEquationSolverSettings
• getLpUseNonTrivialBounds() : storm::settings::modules::MinMaxEquationSolverSettings
• getLpUseOnlyInitialStateAsObjective() : storm::settings::modules::MinMaxEquationSolverSettings
• getLtl2daTool() : storm::ModelCheckerEnvironment, storm::settings::modules::ModelCheckerSettings
• getLValue() : storm::jani::Assignment
• getMaMethod() : storm::settings::modules::TimeBoundedSolverSettings, storm::TimeBoundedSolverEnvironment
• getManager() : storm::expressions::BaseExpression, storm::expressions::Expression, storm::expressions::ExpressionEvaluatorBase< RationalReturnType >, storm::expressions::RationalFunctionToExpression< ValueType >, storm::expressions::Type, storm::expressions::Valuation, storm::expressions::Variable, storm::jani::Model, storm::models::symbolic::Model< Type, CValueType >, storm::prism::Program, storm::solver::LpSolver< ValueType, RawMode >, storm::solver::SmtSolver, storm::solver::SmtSolver::ModelReference, storm::storage::SymbolicModelDescription
• getManagerAsSharedPointer() : storm::models::symbolic::Model< Type, CValueType >
• getManagerAsSharedPtr() : storm::expressions::Valuation
• getMarkovianChoices() : storm::models::symbolic::MarkovAutomaton< Type, ValueType >
• getMarkovianMarker() : storm::models::symbolic::MarkovAutomaton< Type, ValueType >
• getMarkovianStates() : storm::models::sparse::MarkovAutomaton< ValueType, RewardModelType >, storm::models::symbolic::MarkovAutomaton< Type, ValueType >
• getMask() : storm::expressions::ArrayType, storm::expressions::BaseType, storm::expressions::BitVectorType, storm::expressions::BooleanType, storm::expressions::ErrorType, storm::expressions::IntegerType, storm::expressions::RationalType, storm::expressions::TranscendentalNumberType, storm::expressions::Type
• getMatrix() : storm::transformer::ParameterLifter< ParametricType, ConstantType >
• getMax() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::gbar::abstraction::ExplicitQuantitativeResultMinMax< ValueType >, storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >, storm::modelchecker::HybridQuantitativeCheckResult< Type, ValueType >, storm::modelchecker::QuantitativeCheckResult< ValueType >, storm::modelchecker::SymbolicQuantitativeCheckResult< Type, ValueType >
• getMaxCount() : storm::utility::ProgressMeasurement
• getMaxDepth() : storm::dft::settings::modules::FaultTreeSettings
• getMaximalAbstractionCount() : storm::settings::modules::AbstractionSettings
• getMaximalAllowedGap() : storm::pars::FeasibilitySynthesisTask
• getMaximalExitRate() : storm::models::sparse::MarkovAutomaton< ValueType, RewardModelType >
• getMaximalIterationCount() : storm::LongRunAverageSolverEnvironment, storm::settings::modules::EigenEquationSolverSettings, storm::settings::modules::GameSolverSettings, storm::settings::modules::GmmxxEquationSolverSettings, storm::settings::modules::LongRunAverageSolverSettings, storm::settings::modules::MinMaxEquationSolverSettings, storm::settings::modules::NativeEquationSolverSettings
• getMaximalMemory() : storm::settings::modules::CuddSettings, storm::settings::modules::SylvanSettings
• getMaximalNumberOfIterations() : storm::EigenSolverEnvironment, storm::GameSolverEnvironment, storm::GmmxxSolverEnvironment, storm::MinMaxSolverEnvironment, storm::NativeSolverEnvironment
• getMaximalSccSize() : storm::settings::modules::EliminationSettings
• getMaxNrStatesWithSameObservation() : storm::models::sparse::Pomdp< ValueType, RewardModelType >
• getMaxSccDepth() : storm::storage::StronglyConnectedComponentDecomposition< ValueType >
• getMaxSpareChildCount() : storm::dft::storage::DFT< ValueType >
• getMaxSteps() : storm::MultiObjectiveModelCheckerEnvironment, storm::settings::modules::MultiObjectiveSettings
• getMaybeStates() : storm::modelchecker::ExplicitModelCheckerHint< ValueType >, storm::modelchecker::multiobjective::DeterministicSchedsObjectiveHelper< ModelType >
• getMemlessSearchMethod() : storm::settings::modules::QualitativePOMDPAnalysisSettings
• getMemory() : storm::storage::SparseModelMemoryProduct< ValueType, RewardModelType >
• getMemoryBound() : storm::settings::modules::POMDPSettings
• getMemoryPattern() : storm::settings::modules::POMDPSettings, storm::storage::SchedulerClass
• getMemoryState() : storm::modelchecker::helper::rewardbounded::ProductModel< ValueType >
• getMemoryStateCount() : storm::modelchecker::helper::rewardbounded::MemoryStateManager
• getMemoryStateManager() : storm::modelchecker::helper::rewardbounded::ProductModel< ValueType >
• getMemoryStates() : storm::storage::SchedulerClass
• getMemoryStructure() : storm::storage::Scheduler< ValueType >
• getMetaVariable() : storm::dd::DdManager< LibraryType >
• getMethod() : storm::EigenSolverEnvironment, storm::GameSolverEnvironment, storm::GmmxxSolverEnvironment, storm::MinMaxSolverEnvironment, storm::MultiObjectiveModelCheckerEnvironment, storm::NativeSolverEnvironment, storm::settings::modules::GurobiSettings
• getMILPGap() : storm::solver::GlpkLpSolver, storm::solver::GurobiLpSolver< ValueType, RawMode >, storm::solver::LpSolver< ValueType, RawMode >, storm::solver::SoplexLpSolver< ValueType, RawMode >, storm::solver::Z3LpSolver< ValueType, RawMode >
• getMin() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::gbar::abstraction::ExplicitQuantitativeResultMinMax< ValueType >, storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >, storm::modelchecker::HybridQuantitativeCheckResult< Type, ValueType >, storm::modelchecker::QuantitativeCheckResult< ValueType >, storm::modelchecker::SymbolicQuantitativeCheckResult< Type, ValueType >
• getMiniBatchSize() : storm::settings::modules::DerivativeSettings
• getMinimalCutSets() : storm::dft::modelchecker::SFTBDDChecker
• getMinimalCutSetsAsIndices() : storm::dft::modelchecker::SFTBDDChecker
• getMinimalLabelSet() : storm::counterexamples::MILPMinimalLabelSetGenerator< T >, storm::counterexamples::SMTMinimalLabelSetGenerator< T >
• getMinMax() : storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
• getMinMaxEquationSolvingMethod() : storm::settings::modules::MinMaxEquationSolverSettings
• getMIPFocus() : storm::settings::modules::GurobiSettings
• getMode() : storm::expressions::ToCppTranslationOptions
• getModel() : storm::dft::builder::ExplicitDFTModelBuilder< ValueType, StateType >, storm::jani::JaniLocalEliminator::Session, storm::modelchecker::SparsePropositionalModelChecker< SparseModelType >, storm::modelchecker::SymbolicPropositionalModelChecker< ModelType >, storm::solver::MathsatSmtSolver, storm::solver::SmtSolver, storm::solver::Z3SmtSolver, storm::storage::sparse::JaniChoiceOrigins
• getModelApproximation() : storm::dft::builder::ExplicitDFTModelBuilder< ValueType, StateType >
• getModelAsValuation() : storm::solver::MathsatSmtSolver, storm::solver::SmtSolver, storm::solver::Z3SmtSolver
• getModelDescription() : storm::counterexamples::HighLevelCounterexample
• getModelFeatures() : storm::jani::Model
• getModelInformation() : storm::jani::Model
• getModelPermutation() : storm::settings::modules::TransformationSettings
• getModelPermutationSeed() : storm::settings::modules::TransformationSettings
• getModelState() : storm::modelchecker::helper::rewardbounded::ProductModel< ValueType >, storm::transformer::Product< Model >
• getModelType() : storm::generator::JaniNextStateGenerator< ValueType, StateType >, storm::generator::NextStateGenerator< ValueType, StateType >, storm::generator::PrismNextStateGenerator< ValueType, StateType >, storm::jani::Model, storm::prism::Program, storm::storage::SymbolicModelDescription
• getModule() : storm::prism::Program, storm::settings::SettingsManager
• getModuleCommandIndexByGlobalCommandIndex() : storm::prism::Program
• getModuleIndexByVariable() : storm::prism::Program
• getModuleIndicesByAction() : storm::prism::Program
• getModuleIndicesByActionIndex() : storm::prism::Program
• getModuleName() : storm::prism::ModuleComposition, storm::settings::modules::ModuleSettings, storm::settings::Option
• getModules() : storm::prism::Player, storm::prism::Program
• getModulesString() : storm::dft::storage::DFT< ValueType >
• getMonotoncityChecker() : storm::analysis::OrderExtender< ValueType, ConstantType >
• getMonotoneParameterFilename() : storm::settings::modules::MonotonicitySettings
• getMonotonicity() : storm::analysis::LocalMonotonicityResult< VariableType >, storm::analysis::MonotonicityResult< VariableType >
• getMonotonicityResult() : storm::analysis::MonotonicityResult< VariableType >
• getMonotonicityThreshold() : storm::settings::modules::MonotonicitySettings
• getMttfAlgorithm() : storm::dft::settings::modules::FaultTreeSettings
• getMttfPrecision() : storm::dft::settings::modules::FaultTreeSettings
• getMttfStepsize() : storm::dft::settings::modules::FaultTreeSettings
• getMultiObjectiveMethod() : storm::settings::modules::MultiObjectiveSettings
• getMultiplicationStyle() : storm::GameSolverEnvironment, storm::MinMaxSolverEnvironment
• getMultiplierType() : storm::settings::modules::MultiplierSettings
• getName() : storm::builder::RewardModelBuilder< ValueType >, storm::builder::RewardModelInformation, storm::dd::DdMetaVariable< LibraryType >, storm::dft::storage::SylvanBddManager, storm::expressions::Variable, storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >, storm::gbar::modelchecker::BisimulationAbstractionRefinementModelChecker< ModelType >, storm::generator::BooleanVariableInformation, storm::generator::IntegerVariableInformation, storm::gspn::GSPN, storm::gspn::Place, storm::gspn::Transition, storm::jani::Action, storm::jani::Automaton, storm::jani::Constant, storm::jani::FunctionDefinition, storm::jani::Location, storm::jani::LValue, storm::jani::Model, storm::jani::Property, storm::jani::Variable, storm::prism::Constant, storm::prism::Formula, storm::prism::Label, storm::prism::Module, storm::prism::Player, storm::prism::RewardModel, storm::prism::Variable, storm::settings::ArgumentBase, storm::storage::sparse::StateValuations::StateValueIterator
• getNames() : storm::expressions::ToCppTranslationOptions
• getNameToVariableMap() : storm::jani::VariableSet
• getNegativeLiteral() : storm::dft::storage::SylvanBddManager
• getNestingDegree() : storm::jani::ArrayType
• getNewGuard() : storm::jani::JaniLocalEliminator::Session
• getNextAction() : storm::jani::JaniLocalEliminator::EliminationScheduler
• getNextBlock() : storm::storage::bisimulation::Block< DataType >
• getNextBlockPointer() : storm::storage::bisimulation::Block< DataType >
• getNextDoneState() : storm::analysis::Order
• getNextFreeBlockIndex() : storm::dd::bisimulation::Partition< DdType, ValueType >
• getNextIndexWithValue() : storm::storage::BitVector
• getNextRowGroup() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• getNextSetIndex() : storm::storage::BitVector
• getNextStage() : storm::solver::helper::SVIBackend< ValueType, Dir, Stage, TrivialRowGrouping >
• getNextStateHeuristic() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >, storm::settings::modules::ExplorationSettings
• getNextStateNumber() : storm::analysis::Order
• getNextUnsetIndex() : storm::storage::BitVector
• getNode() : storm::analysis::Order
• getNodeCount() : storm::dd::Add< LibraryType, ValueType >, storm::dd::Bdd< LibraryType >, storm::dd::bisimulation::Partition< DdType, ValueType >, storm::dd::Dd< LibraryType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >, storm::dd::Odd
• getNodes() : storm::analysis::Order
• getNoEndComponentsInMaybeStates() : storm::modelchecker::ExplicitModelCheckerHint< ValueType >
• getNonconstantEntryCount() : storm::storage::SparseMatrix< ValueType >
• getNonconstantRowGroupCount() : storm::storage::SparseMatrix< ValueType >
• getNondeterminismVariables() : storm::models::symbolic::Model< Type, CValueType >, storm::models::symbolic::NondeterministicModel< Type, ValueType >
• getNondeterministicChoiceIndices() : storm::models::sparse::NondeterministicModel< ValueType, RewardModelType >
• getNondetLraMethod() : storm::LongRunAverageSolverEnvironment, storm::settings::modules::LongRunAverageSolverSettings
• getNonSilentActionIndices() : storm::jani::CompositionInformation
• getNonsilentActionIndices() : storm::jani::Model
• getNonStrictBound() : storm::logic::CumulativeRewardFormula
• getNonStrictLowerBound() : storm::logic::BoundedUntilFormula
• getNonStrictUpperBound() : storm::logic::BoundedUntilFormula
• getNonTransientAssignments() : storm::jani::OrderedAssignments
• getNonTrivialRewardExpressions() : storm::jani::Model
• getNonZeroCount() : storm::dd::Add< LibraryType, ValueType >, storm::dd::Bdd< LibraryType >, storm::dd::Dd< LibraryType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >
• getNonzeroEntryCount() : storm::storage::FlexibleSparseMatrix< ValueType >, storm::storage::SparseMatrix< ValueType >
• getNotInEcMarker() : storm::modelchecker::helper::SparseMdpEndComponentInformation< ValueType >
• getNrChild() : storm::dft::storage::DFT< ValueType >
• getNrObservations() : storm::models::sparse::Pomdp< ValueType, RewardModelType >
• getNrOfMemoryNodesForObservation() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getNrSchedulersForLowerBounds() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getNrSchedulersForUpperBounds() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getNumberOfAcceptanceSets() : storm::automata::AcceptanceCondition
• getNumberOfActionInputs() : storm::jani::SynchronizationVector
• getNumberOfAddedStates() : storm::analysis::Order
• getNumberOfArguments() : storm::expressions::FunctionCallExpression
• getNumberOfArrayVariables() : storm::expressions::ExpressionManager
• getNumberOfAssignments() : storm::jani::OrderedAssignments, storm::prism::Update
• getNumberOfAutomata() : storm::jani::Model
• getNumberOfBeliefIds() : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• getNumberOfBeliefs() : storm::generator::NondeterministicBeliefTracker< ValueType, BeliefState >
• getNumberOfBitVectorVariables() : storm::expressions::ExpressionManager
• getNumberOfBlocks() : storm::dd::bisimulation::Partition< DdType, ValueType >, storm::gbar::abstraction::LocalExpressionInformation< DdType >
• getNumberOfBooleanVariables() : storm::expressions::ExpressionManager, storm::prism::Module
• getNumberOfChildren() : storm::generator::ArrayVariableReplacementInformation
• getNumberOfChoices() : storm::generator::StateBehavior< ValueType, StateType >, storm::models::ModelBase, storm::models::sparse::Model< CValueType, CRewardModelType >, storm::models::sparse::NondeterministicModel< ValueType, RewardModelType >, storm::models::symbolic::Model< Type, CValueType >, storm::models::symbolic::NondeterministicModel< Type, ValueType >, storm::storage::sparse::ChoiceOrigins
• getNumberOfClockVariables() : storm::prism::Module
• getNumberOfCommands() : storm::prism::Module, storm::prism::Program
• getNumberOfConcurrentMipThreads() : storm::settings::modules::GurobiSettings
• getNumberOfConstants() : storm::prism::Program
• getNumberOfDdSourceLocationVariables() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getNumberOfDdVariables() : storm::dd::DdMetaVariable< LibraryType >, storm::dd::InternalDdManager< DdType::CUDD >, storm::dd::InternalDdManager< DdType::Sylvan >
• getNumberOfDestinations() : storm::jani::Edge, storm::jani::TemplateEdge
• getNumberOfDiscoveredStates() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• getNumberOfDoneStates() : storm::analysis::Order
• getNumberOfEdges() : storm::gbar::abstraction::jani::AutomatonAbstractor< DdType, ValueType >, storm::jani::Automaton, storm::jani::Model
• getNumberOfEdgesPerState() : storm::automata::DeterministicAutomaton
• getNumberOfEntries() : storm::storage::SparseMatrix< ValueType >::const_rows, storm::storage::SparseMatrix< ValueType >::rows
• getNumberOfExplorationStepsUntilPrecomputation() : storm::settings::modules::ExplorationSettings
• getNumberOfFormulas() : storm::prism::Program
• getNumberOfGlobalBooleanVariables() : storm::prism::Program
• getNumberOfGlobalIntegerVariables() : storm::prism::Program
• getNumberOfIdentifiers() : storm::storage::sparse::ChoiceOrigins, storm::storage::sparse::JaniChoiceOrigins, storm::storage::sparse::PrismChoiceOrigins
• getNumberOfImmediateTransitions() : storm::gspn::GSPN
• getNumberOfInitialStates() : storm::modelchecker::exploration_detail::StateGeneration< StateType, ValueType >
• getNumberOfInitialTokens() : storm::gspn::Place
• getNumberOfIntegerVariables() : storm::expressions::ExpressionManager, storm::prism::Module
• getNumberOfItems() : storm::models::sparse::ItemLabeling
• getNumberOfLabels() : storm::models::sparse::ItemLabeling, storm::prism::Program
• getNumberOfLocations() : storm::jani::Automaton
• getNumberOfLongRunAverageRewardFormulas() : storm::modelchecker::multiobjective::preprocessing::SparseMultiObjectivePreprocessorResult< SparseModelType >
• getNumberOfMaybeStatesNotInEc() : storm::modelchecker::helper::SparseMdpEndComponentInformation< ValueType >
• getNumberOfMaybeStatesNotInEcBeforeIndices() : storm::modelchecker::helper::SparseMdpEndComponentInformation< ValueType >
• getNumberOfMemoryStates() : storm::storage::Scheduler< ValueType >
• getNumberOfMetaVariables() : storm::dd::DdManager< LibraryType >
• getNumberOfModules() : storm::prism::Program
• getNumberOfNontransientVariables() : storm::jani::VariableSet
• getNumberOfNumericalTransientVariables() : storm::jani::VariableSet
• getNumberOfObservationLabels() : storm::prism::Program
• getNumberOfObservations() : storm::pomdp::WinningRegion
• getNumberOfOutgoingTransitions() : storm::storage::NondeterministicMemoryStructure, storm::storage::PomdpMemory
• getNumberOfPlaces() : storm::gspn::GSPN, storm::gspn::Marking
• getNumberOfPlayer2States() : storm::models::symbolic::StochasticTwoPlayerGame< Type, ValueType >
• getNumberOfPlayers() : storm::prism::Program
• getNumberOfPoints() : storm::modelchecker::multiobjective::DeterministicSchedsParetoExplorer< SparseModelType, GeometryValueType >::Facet
• getNumberOfPredicates() : storm::gbar::abstraction::AbstractionInformation< DdType >, storm::gbar::abstraction::jani::JaniMenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::MenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::PrismMenuGameAbstractor< DdType, ValueType >
• getNumberOfRationalVariables() : storm::expressions::ExpressionManager
• getNumberOfRealTransientVariables() : storm::jani::VariableSet
• getNumberOfRewardModels() : storm::generator::JaniNextStateGenerator< ValueType, StateType >, storm::generator::NextStateGenerator< ValueType, StateType >, storm::generator::PrismNextStateGenerator< ValueType, StateType >, storm::models::sparse::Model< CValueType, CRewardModelType >, storm::models::symbolic::Model< Type, CValueType >, storm::prism::Program
• getNumberOfSampledPathsUntilPrecomputation() : storm::settings::modules::ExplorationSettings
• getNumberOfSamples() : storm::settings::modules::MonotonicitySettings
• getNumberOfServers() : storm::gspn::TimedTransition< RateType >
• getNumberOfSetBits() : storm::storage::BitVector
• getNumberOfSetBitsBeforeIndex() : storm::storage::BitVector
• getNumberOfSetBitsBeforeIndices() : storm::storage::BitVector
• getNumberOfStates() : storm::analysis::Order, storm::automata::DeterministicAutomaton, storm::dd::bisimulation::Partition< DdType, ValueType >, storm::generator::BeliefStateManager< ValueType >, storm::models::ModelBase, storm::models::sparse::Model< CValueType, CRewardModelType >, storm::models::symbolic::Model< Type, CValueType >, storm::storage::bisimulation::Block< DataType >, storm::storage::ExplicitGameStrategy, storm::storage::MemoryStructure, storm::storage::NondeterministicMemoryStructure, storm::storage::PomdpMemory, storm::storage::sparse::StateStorage< StateType >, storm::storage::sparse::StateValuations
• getNumberOfSubcompositions() : storm::jani::ParallelComposition
• getNumberOfSubformulas() : storm::logic::MultiObjectiveFormula
• getNumberOfSynchronizationVectors() : storm::jani::ParallelComposition
• getNumberOfThreads() : storm::settings::modules::GurobiSettings, storm::settings::modules::SylvanSettings
• getNumberOfTimedTransitions() : storm::gspn::GSPN
• getNumberOfTokensAt() : storm::gspn::Marking
• getNumberOfTotalRewardFormulas() : storm::modelchecker::multiobjective::preprocessing::SparseMultiObjectivePreprocessorResult< SparseModelType >
• getNumberOfTransientVariables() : storm::jani::VariableSet
• getNumberOfTransitions() : storm::models::ModelBase, storm::models::sparse::Model< CValueType, CRewardModelType >, storm::models::symbolic::Model< Type, CValueType >
• getNumberOfUnboundedIntegerTransientVariables() : storm::jani::VariableSet
• getNumberOfUndefinedPlayer1States() : storm::storage::ExplicitGameStrategyPair
• getNumberOfUndefinedPlayer2States() : storm::storage::ExplicitGameStrategyPair
• getNumberOfUndefinedStates() : storm::storage::ExplicitGameStrategy
• getNumberOfUnexploredStates() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• getNumberOfUnlabeledCommands() : storm::prism::Module, storm::prism::Program
• getNumberOfUpdates() : storm::gbar::abstraction::jani::AutomatonAbstractor< DdType, ValueType >, storm::gbar::abstraction::jani::EdgeAbstractor< DdType, ValueType >, storm::gbar::abstraction::jani::JaniMenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::MenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::CommandAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::ModuleAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::PrismMenuGameAbstractor< DdType, ValueType >, storm::prism::Command, storm::prism::Module
• getNumberOfVariables() : storm::expressions::ExpressionManager, storm::jani::VariableSet
• getNumberStates() : storm::settings::modules::HintSettings
• getNumericPrecision() : storm::settings::modules::BeliefExplorationSettings
• getNumRowsInRowGroups() : storm::storage::SparseMatrix< ValueType >
• getObjectiveValue() : storm::solver::GlpkLpSolver, storm::solver::GurobiLpSolver< ValueType, RawMode >, storm::solver::LpSolver< ValueType, RawMode >, storm::solver::SoplexLpSolver< ValueType, RawMode >, storm::solver::Z3LpSolver< ValueType, RawMode >
• getObservation() : storm::generator::BeliefStateManager< ValueType >, storm::models::sparse::Pomdp< ValueType, RewardModelType >
• getObservationAsJson() : storm::simulator::DiscreteTimePrismProgramSimulator< ValueType >
• getObservationInformation() : storm::transformer::MakePOMDPCanonic< ValueType >
• getObservationLabel() : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• getObservationLabels() : storm::prism::Program
• getObservationOffset() : storm::generator::BeliefStateManager< ValueType >
• getObservations() : storm::models::sparse::Pomdp< ValueType, RewardModelType >
• getObservationScoreThresholdFactor() : storm::settings::modules::BeliefExplorationSettings
• getObservationScoreThresholdInit() : storm::settings::modules::BeliefExplorationSettings
• getObservationValuations() : storm::models::sparse::Pomdp< ValueType, RewardModelType >
• getOccuringStatesAtVariable() : storm::transformer::ParameterLifter< ParametricType, ConstantType >
• getOccurringVariablesAtState() : storm::transformer::ParameterLifter< ParametricType, ConstantType >
• getOdd() : storm::modelchecker::HybridQuantitativeCheckResult< Type, ValueType >, storm::transformer::SymbolicDtmcToSparseDtmcTransformer< Type, ValueType >
• getOffset() : storm::expressions::ExpressionManager, storm::expressions::Variable
• getOffsetFromObservation() : storm::pomdp::IterativePolicySearch< ValueType >
• getOmega() : storm::settings::modules::NativeEquationSolverSettings
• getOne() : storm::dft::storage::SylvanBddManager
• getOperand() : storm::expressions::BaseExpression, storm::expressions::BinaryExpression, storm::expressions::Expression, storm::expressions::IfThenElseExpression, storm::expressions::PredicateExpression, storm::expressions::UnaryExpression
• getOperationMode() : storm::settings::modules::ParametricSettings
• getOperator() : storm::expressions::BaseExpression, storm::expressions::BinaryBooleanFunctionExpression, storm::expressions::BinaryNumericalFunctionExpression, storm::expressions::BinaryRelationExpression, storm::expressions::Expression, storm::expressions::IfThenElseExpression, storm::expressions::PredicateExpression, storm::expressions::UnaryBooleanFunctionExpression, storm::expressions::UnaryNumericalFunctionExpression, storm::logic::BinaryBooleanPathFormula, storm::logic::BinaryBooleanStateFormula, storm::logic::UnaryBooleanPathFormula, storm::logic::UnaryBooleanStateFormula, storm::solver::helper::RationalSearchHelper< TargetValueType, ExactValueType, ImpreciseValueType, TrivialRowGrouping >
• getOperatorInformation() : storm::logic::OperatorFormula
• getOperatorType() : storm::expressions::BinaryBooleanFunctionExpression, storm::expressions::BinaryNumericalFunctionExpression, storm::expressions::UnaryBooleanFunctionExpression, storm::expressions::UnaryNumericalFunctionExpression
• getOptimalChoiceValueThresholdFactor() : storm::settings::modules::BeliefExplorationSettings
• getOptimalChoiceValueThresholdInit() : storm::settings::modules::BeliefExplorationSettings
• getOptimalityType() : storm::logic::OperatorFormula
• getOptimalValueGuarantee() : storm::settings::modules::FeasibilitySettings
• getOptimizationDirection() : storm::modelchecker::CheckTask< FormulaType, ValueType >, storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >, storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, ModelRepresentation >, storm::pars::FeasibilitySynthesisTask, storm::pomdp::analysis::FormulaInformation, storm::solver::LpSolver< ValueType, RawMode >, storm::storage::BisimulationDecomposition< ModelType, BlockDataType >::Options
• getOptimizeOnlyForInitialState() : storm::MinMaxLpSolverEnvironment
• getOption() : storm::settings::modules::ModuleSettings
• getOptionalBound() : storm::modelchecker::CheckTask< FormulaType, ValueType >
• getOptionalChoiceLabeling() : storm::models::sparse::Model< CValueType, CRewardModelType >
• getOptionalChoiceOrigins() : storm::models::sparse::Model< CValueType, CRewardModelType >
• getOptionalObservationValuations() : storm::models::sparse::Pomdp< ValueType, RewardModelType >
• getOptionalOptimizationDirection() : storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, ModelRepresentation >
• getOptionalPlayer1Strategy() : storm::utility::graph::SymbolicGameProb01Result< Type >
• getOptionalPlayer2Strategy() : storm::utility::graph::SymbolicGameProb01Result< Type >
• getOptionalRate() : storm::jani::Edge
• getOptionalRelevantStates() : storm::modelchecker::helper::ModelCheckerHelper< VT, ModelRepresentation >
• getOptionalRelevantValues() : storm::solver::AbstractEquationSolver< ValueType >
• getOptionalRewardAccumulation() : storm::logic::TimeBoundReference
• getOptionalRewardModelName() : storm::logic::RewardOperatorFormula, storm::logic::TimeBoundReference
• getOptionalStateActionRewardVector() : storm::models::sparse::StandardRewardModel< CValueType >, storm::models::symbolic::StandardRewardModel< Type, ValueType >
• getOptionalStateRewardVector() : storm::models::sparse::StandardRewardModel< CValueType >, storm::models::symbolic::StandardRewardModel< Type, ValueType >
• getOptionalStateValuations() : storm::models::sparse::Model< CValueType, CRewardModelType >
• getOptionalSystemCompositionConstruct() : storm::prism::Program
• getOptionalTransitionRewardMatrix() : storm::models::sparse::StandardRewardModel< CValueType >, storm::models::symbolic::StandardRewardModel< Type, ValueType >
• getOptionalValue() : storm::utility::Extremum< Dir, ValueType >
• getOptions() : storm::generator::NextStateGenerator< ValueType, StateType >, storm::settings::modules::ModuleSettings
• getOrAddPredicate() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getOrAddStateIndex() : storm::simulator::DiscreteTimePrismProgramSimulator< ValueType >
• getOrderedAssignments() : storm::jani::EdgeDestination, storm::jani::TemplateEdgeDestination
• getOrderedDependencies() : storm::jani::elimination_actions::UnfoldDependencyGraph
• getOrderedSourcePredicateVariables() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getOrderedSuccessorPredicateVariables() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getOriginalModel() : storm::modelchecker::SparseInstantiationModelChecker< SparseModelType, ConstantType >, storm::storage::SparseModelMemoryProduct< ValueType, RewardModelType >
• getOriginalStateNumber() : storm::transformer::ParameterLifter< ParametricType, ConstantType >
• getOriginData() : storm::generator::Choice< ValueType, StateType >
• getOutOfBoundsBit() : storm::generator::VariableInformation
• getOutput() : storm::jani::SynchronizationVector
• getOutputArcMultiplicity() : storm::gspn::Transition
• getOutputPlaces() : storm::gspn::Transition
• getOverApproximation() : storm::modelchecker::ParetoCurveCheckResult< ValueType >
• getOverApproximationOfInitialStateResults() : storm::modelchecker::multiobjective::PcaaWeightVectorChecker< ModelType >, storm::modelchecker::multiobjective::RewardBoundedMdpPcaaWeightVectorChecker< SparseMdpModelType >, storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >
• getParameterDirection() : storm::settings::modules::FeasibilitySettings
• getParameterNames() : storm::storage::SymbolicModelDescription
• getParameters() : storm::builder::ParameterCreator< Type, ValueType >, storm::builder::ParameterCreator< Type, storm::RationalFunction >, storm::jani::FunctionDefinition, storm::models::symbolic::Model< Type, CValueType >
• getParameterSpace() : storm::modelchecker::RegionRefinementCheckResult< ValueType >
• getPartitions() : storm::gspn::GSPN
• getPathAsList() : storm::utility::ksp::ShortestPathsGenerator< T >
• getPenalties() : storm::ps::PermissiveSchedulerComputation< RM >
• getPivotSelectionHeuristic() : storm::settings::modules::AbstractionSettings
• getPlace() : storm::gspn::GSPN
• getPlaceLayoutInfos() : storm::gspn::GSPN
• getPlaces() : storm::gspn::GSPN
• getPlaceVariable() : storm::builder::JaniGSPNBuilder
• getPlayer1ChoiceRange() : storm::gbar::abstraction::jani::JaniMenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::MenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::PrismMenuGameAbstractor< DdType, ValueType >
• getPlayer1Matrix() : storm::models::sparse::StochasticTwoPlayerGame< ValueType, RewardModelType >
• getPlayer1SchedulerChoices() : storm::solver::GameSolver< ValueType >
• getPlayer1States() : storm::utility::graph::ExplicitGameProb01Result, storm::utility::graph::SymbolicGameProb01Result< Type >
• getPlayer1Strategy() : storm::gbar::abstraction::SymbolicQuantitativeGameResult< Type, ValueType >, storm::solver::SymbolicGameSolver< Type, ValueType >, storm::storage::ExplicitGameStrategyPair, storm::utility::graph::SymbolicGameProb01Result< Type >
• getPlayer1VariableCount() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getPlayer1Variables() : storm::gbar::abstraction::AbstractionInformation< DdType >, storm::models::symbolic::StochasticTwoPlayerGame< Type, ValueType >
• getPlayer1VariableSet() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getPlayer2ChoiceLabeling() : storm::models::sparse::StochasticTwoPlayerGame< ValueType, RewardModelType >
• getPlayer2Matrix() : storm::models::sparse::StochasticTwoPlayerGame< ValueType, RewardModelType >
• getPlayer2SchedulerChoices() : storm::solver::GameSolver< ValueType >
• getPlayer2States() : storm::utility::graph::ExplicitGameProb01Result, storm::utility::graph::SymbolicGameProb01Result< Type >
• getPlayer2Strategy() : storm::gbar::abstraction::SymbolicQuantitativeGameResult< Type, ValueType >, storm::solver::SymbolicGameSolver< Type, ValueType >, storm::storage::ExplicitGameStrategyPair, storm::utility::graph::SymbolicGameProb01Result< Type >
• getPlayer2VariableCount() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getPlayer2Variables() : storm::gbar::abstraction::AbstractionInformation< DdType >, storm::models::symbolic::StochasticTwoPlayerGame< Type, ValueType >
• getPlayer2VariableSet() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getPlayerCoalition() : storm::modelchecker::CheckTask< FormulaType, ValueType >
• getPlayerIndex() : storm::generator::Choice< ValueType, StateType >, storm::models::sparse::Smg< ValueType, RewardModelType >
• getPlayerNameToIndexMap() : storm::generator::NextStateGenerator< ValueType, StateType >, storm::generator::PrismNextStateGenerator< ValueType, StateType >
• getPlayerNameToIndexMapping() : storm::prism::Program
• getPlayerOfState() : storm::models::sparse::Smg< ValueType, RewardModelType >
• getPlayers() : storm::logic::PlayerCoalition, storm::prism::Program
• getPlotPathOverApproximation() : storm::MultiObjectiveModelCheckerEnvironment
• getPlotPathParetoPoints() : storm::MultiObjectiveModelCheckerEnvironment
• getPlotPathUnderApproximation() : storm::MultiObjectiveModelCheckerEnvironment
• getPoint() : storm::modelchecker::multiobjective::DeterministicSchedsParetoExplorer< SparseModelType, GeometryValueType >::Pointset, storm::storage::ParameterRegion< ParametricType >
• getPoints() : storm::modelchecker::multiobjective::DeterministicSchedsParetoExplorer< SparseModelType, GeometryValueType >::Facet, storm::modelchecker::ParetoCurveCheckResult< ValueType >
• getPointwiseProductRowSum() : storm::storage::SparseMatrix< ValueType >
• getPointwiseProductRowSumVector() : storm::storage::SparseMatrix< ValueType >
• getPolytope() : storm::storage::geometry::PolytopeTree< ValueType >
• getPomdp() : storm::generator::BeliefStateManager< ValueType >
• getPosition() : storm::storage::bisimulation::Partition< DataType >
• getPositionOfFirstParticipatingAction() : storm::jani::SynchronizationVector
• getPositionOfPrecedingParticipatingAction() : storm::jani::SynchronizationVector
• getPositiveLiteral() : storm::dft::storage::SylvanBddManager
• getPossiblySynchronizingCommands() : storm::prism::Program
• getPowerMethodMultiplicationStyle() : storm::NativeSolverEnvironment, storm::settings::modules::NativeEquationSolverSettings
• getPrecedingParticipatingAction() : storm::jani::SynchronizationVector
• getPreciseChecker() : storm::modelchecker::ValidatingSparseDtmcParameterLiftingModelChecker< SparseModelType, ImpreciseType, PreciseType >, storm::modelchecker::ValidatingSparseMdpParameterLiftingModelChecker< SparseModelType, ImpreciseType, PreciseType >, storm::modelchecker::ValidatingSparseParameterLiftingModelChecker< SparseModelType, ImpreciseType, PreciseType >
• getPrecision() : storm::EigenSolverEnvironment, storm::GameSolverEnvironment, storm::GmmxxSolverEnvironment, storm::LongRunAverageSolverEnvironment, storm::MinMaxSolverEnvironment, storm::MultiObjectiveModelCheckerEnvironment, storm::NativeSolverEnvironment, storm::settings::modules::AbstractionSettings, storm::settings::modules::EigenEquationSolverSettings, storm::settings::modules::ExplorationSettings, storm::settings::modules::GameSolverSettings, storm::settings::modules::GeneralSettings, storm::settings::modules::GmmxxEquationSolverSettings, storm::settings::modules::LongRunAverageSolverSettings, storm::settings::modules::MinMaxEquationSolverSettings, storm::settings::modules::MultiObjectiveSettings, storm::settings::modules::NativeEquationSolverSettings, storm::settings::modules::TimeBoundedSolverSettings, storm::TimeBoundedSolverEnvironment
• getPrecisionAbsolute() : storm::settings::modules::MultiObjectiveSettings
• getPrecisionOfLinearEquationSolver() : storm::SolverEnvironment
• getPrecisionRelativeToDiff() : storm::settings::modules::MultiObjectiveSettings
• getPrecisionType() : storm::MultiObjectiveModelCheckerEnvironment
• getPrecomputationType() : storm::settings::modules::ExplorationSettings
• getPreconditioner() : storm::EigenSolverEnvironment, storm::GmmxxSolverEnvironment
• getPreconditioningMethod() : storm::settings::modules::EigenEquationSolverSettings, storm::settings::modules::GmmxxEquationSolverSettings
• getPredecessorEpochs() : storm::modelchecker::helper::rewardbounded::EpochManager
• getPredicateByIndex() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getPredicateForDdVariableIndex() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getPredicateIdentity() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getPredicates() : storm::gbar::abstraction::AbstractionInformation< DdType >, storm::gbar::abstraction::RefinementCommand, storm::gbar::abstraction::RefinementPredicates
• getPredicatesExcludingBottom() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getPredicateSourceVariable() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getPredicateToBddMap() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getPredicateType() : storm::expressions::PredicateExpression
• getPrefixes() : storm::expressions::ToCppTranslationOptions
• getPreviousBlock() : storm::storage::bisimulation::Block< DataType >
• getPreviousBlockPointer() : storm::storage::bisimulation::Block< DataType >
• getPrimedBlockVariable() : storm::dd::bisimulation::Partition< DdType, ValueType >
• getPrintLength() : storm::settings::Option
• getPrintLengthOfLongestOption() : storm::settings::modules::ModuleSettings
• getPriority() : storm::dft::builder::DFTExplorationHeuristic< ValueType >, storm::dft::builder::DFTExplorationHeuristicBoundDifference< ValueType >, storm::dft::builder::DFTExplorationHeuristicDepth< ValueType >, storm::dft::builder::DFTExplorationHeuristicProbability< ValueType >, storm::gspn::Transition
• getPrismInputFilename() : storm::settings::modules::ConversionInputSettings, storm::settings::modules::IOSettings
• getPrismOutputFilename() : storm::settings::modules::ConversionOutputSettings
• getProb0() : storm::gbar::abstraction::ExplicitQualitativeGameResultMinMax, storm::gbar::abstraction::ExplicitQualitativeResultMinMax, storm::gbar::abstraction::SymbolicQualitativeGameResultMinMax< Type >, storm::gbar::abstraction::SymbolicQualitativeMdpResultMinMax< Type >, storm::gbar::abstraction::SymbolicQualitativeResultMinMax< Type >
• getProb0Max() : storm::gbar::abstraction::ExplicitQualitativeResultMinMax, storm::gbar::abstraction::SymbolicQualitativeResultMinMax< Type >
• getProb0Min() : storm::gbar::abstraction::ExplicitQualitativeResultMinMax, storm::gbar::abstraction::SymbolicQualitativeResultMinMax< Type >
• getProb1() : storm::gbar::abstraction::ExplicitQualitativeGameResultMinMax, storm::gbar::abstraction::ExplicitQualitativeResultMinMax, storm::gbar::abstraction::SymbolicQualitativeGameResultMinMax< Type >, storm::gbar::abstraction::SymbolicQualitativeMdpResultMinMax< Type >, storm::gbar::abstraction::SymbolicQualitativeResultMinMax< Type >
• getProb1InitialStates() : storm::modelchecker::helper::rewardbounded::ProductModel< ValueType >
• getProb1Max() : storm::gbar::abstraction::ExplicitQualitativeResultMinMax, storm::gbar::abstraction::SymbolicQualitativeResultMinMax< Type >
• getProb1Min() : storm::gbar::abstraction::ExplicitQualitativeResultMinMax, storm::gbar::abstraction::SymbolicQualitativeResultMinMax< Type >
• getProbabilisticBranchingVariables() : storm::gbar::abstraction::MenuGame< Type, ValueType >
• getProbabilisticStates() : storm::models::symbolic::MarkovAutomaton< Type, ValueType >
• getProbabilitiesAtTimepoints() : storm::dft::modelchecker::DftModularizationChecker< ValueType >, storm::dft::modelchecker::SFTBDDChecker
• getProbability() : storm::dft::builder::DFTExplorationHeuristic< ValueType >, storm::dft::builder::DFTExplorationHeuristicProbability< ValueType >, storm::jani::EdgeDestination, storm::jani::JaniLocalEliminator::Session, storm::storage::Distribution< ValueType, StateType >
• getProbabilityAtTimebound() : storm::dft::modelchecker::DftModularizationChecker< ValueType >, storm::dft::modelchecker::SFTBDDChecker
• getProducedOptimalChoices() : storm::modelchecker::helper::SparseNondeterministicInfiniteHorizonHelper< ValueType >
• getProduct() : storm::modelchecker::helper::rewardbounded::ProductModel< ValueType >
• getProductModel() : storm::transformer::Product< Model >
• getProductState() : storm::modelchecker::helper::rewardbounded::ProductModel< ValueType >
• getProductStateFromChoice() : storm::modelchecker::helper::rewardbounded::ProductModel< ValueType >
• getProductStateIndex() : storm::transformer::Product< Model >
• getProgram() : storm::storage::sparse::PrismChoiceOrigins
• getProperty() : storm::jani::JaniLocalEliminator::Session, storm::settings::modules::IOSettings
• getPropertyFilter() : storm::settings::modules::IOSettings
• getPropertyInput() : storm::settings::modules::ConversionInputSettings
• getPropertyInputFilter() : storm::settings::modules::ConversionInputSettings
• getPropTimebound() : storm::dft::settings::modules::DftIOSettings
• getPropTimepoints() : storm::dft::settings::modules::DftIOSettings
• getQualitativeSignature() : storm::dd::bisimulation::SignatureComputer< DdType, ValueType >
• getQualitativeTransitionMatrix() : storm::models::symbolic::Model< Type, CValueType >, storm::models::symbolic::NondeterministicModel< Type, ValueType >
• getQuotient() : storm::dd::BisimulationDecomposition< DdType, ValueType, ExportValueType >, storm::storage::BisimulationDecomposition< ModelType, BlockDataType >
• getQuotientFormat() : storm::settings::modules::BisimulationSettings
• getQvbsInstanceIndex() : storm::settings::modules::IOSettings
• getQvbsModelName() : storm::settings::modules::IOSettings
• getQvbsPropertyFilter() : storm::settings::modules::IOSettings
• getQvbsRoot() : storm::settings::modules::IOSettings
• getRange() : storm::dd::DdManager< LibraryType >, storm::gbar::abstraction::ExplicitQuantitativeResult< ValueType >
• getRangeExpression() : storm::jani::Variable, storm::prism::IntegerVariable
• getRate() : storm::gspn::TimedTransition< RateType >, storm::jani::Edge
• getRationalArrayVariableReplacement() : storm::generator::TransientVariableInformation< ValueType >
• getRationalType() : storm::expressions::ExpressionManager
• getRationalValue() : storm::expressions::SimpleValuation, storm::expressions::Valuation, storm::solver::SmtlibSmtSolver::SmtlibModelReference, storm::solver::SmtSolver::ModelReference, storm::solver::Z3SmtSolver::Z3ModelReference, storm::storage::sparse::StateValuations, storm::storage::sparse::StateValuations::StateValueIterator
• getRationalValues() : storm::storage::sparse::StateValuations
• getRAWAtTimebound() : storm::dft::modelchecker::SFTBDDChecker
• getRawFormula() : storm::jani::Property
• getRAWsAtTimepoints() : storm::dft::modelchecker::SFTBDDChecker
• getReachableStates() : storm::modelchecker::SymbolicQualitativeCheckResult< Type >, storm::modelchecker::SymbolicQuantitativeCheckResult< Type, ValueType >, storm::models::symbolic::Model< Type, CValueType >
• getReachedFixedPoint() : storm::dd::BisimulationDecomposition< DdType, ValueType, ExportValueType >
• getRealVariables() : storm::jani::VariableSet
• getReferencedPlayer1Choice() : storm::gbar::abstraction::RefinementCommand
• getReferencedRewardModels() : storm::logic::Formula
• getRefinementMode() : storm::settings::modules::BisimulationSettings
• getRefinePrecision() : storm::settings::modules::BeliefExplorationSettings
• getRefineStepLimit() : storm::settings::modules::BeliefExplorationSettings
• getRegion() : storm::pars::FeasibilitySynthesisTask
• getRegionBoundString() : storm::settings::modules::RegionSettings
• getRegionCheckEngine() : storm::settings::modules::RegionVerificationSettings
• getRegionResults() : storm::modelchecker::RegionCheckResult< ValueType >
• getRegionSplitEstimate() : storm::modelchecker::RegionModelChecker< ParametricType >, storm::modelchecker::SparseDtmcParameterLiftingModelChecker< SparseModelType, ConstantType >
• getRegionString() : storm::settings::modules::RegionSettings
• getRelatedExpressions() : storm::gbar::abstraction::LocalExpressionInformation< DdType >
• getRelationType() : storm::expressions::BinaryRelationExpression
• getRelativeTerminationCriterion() : storm::GameSolverEnvironment, storm::LongRunAverageSolverEnvironment, storm::MinMaxSolverEnvironment, storm::NativeSolverEnvironment, storm::settings::modules::AbstractionSettings, storm::TimeBoundedSolverEnvironment
• getRelevantEvents() : storm::dft::settings::modules::FaultTreeSettings, storm::dft::storage::DFT< ValueType >
• getRelevantEventsString() : storm::dft::storage::DFT< ValueType >
• getRelevantMatrix() : storm::storage::geometry::HyperplaneEnumeration< ValueType >
• getRelevantStates() : storm::modelchecker::helper::ModelCheckerHelper< VT, ModelRepresentation >
• getRelevantValues() : storm::solver::AbstractEquationSolver< ValueType >
• getRelevantVector() : storm::storage::geometry::HyperplaneEnumeration< ValueType >
• getRelevantVertices() : storm::storage::geometry::QuickHull< ValueType >
• getRelevantZeroRewardChoices() : storm::modelchecker::multiobjective::DeterministicSchedsObjectiveHelper< ModelType >
• getRenaming() : storm::prism::Module, storm::prism::ModuleRenaming
• getReorderingTechnique() : storm::settings::modules::CuddSettings
• getReplacements() : storm::jani::ArrayEliminatorData::Replacement
• getRepresentant() : storm::dft::storage::DFT< ValueType >
• getRepresentative() : storm::dft::storage::DftModule
• getRepresentatives() : storm::dd::bisimulation::InternalRepresentativeComputer< storm::dd::DdType::CUDD >, storm::dd::bisimulation::InternalRepresentativeComputer< storm::dd::DdType::Sylvan >
• getRepresentativeState() : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• getRequiredEpochModelPrecision() : storm::modelchecker::helper::rewardbounded::MultiDimensionalRewardUnfolding< ValueType, SingleObjectiveMode >
• getRequirements() : storm::solver::AcyclicLinearEquationSolver< ValueType >, storm::solver::AcyclicMinMaxLinearEquationSolver< ValueType >, storm::solver::IterativeMinMaxLinearEquationSolver< ValueType, SolutionType >, storm::solver::LinearEquationSolver< ValueType >, storm::solver::LinearEquationSolverFactory< ValueType >, storm::solver::LpMinMaxLinearEquationSolver< ValueType >, storm::solver::MinMaxLinearEquationSolver< ValueType, SolutionType >, storm::solver::MinMaxLinearEquationSolverFactory< ValueType, SolutionType >, storm::solver::NativeLinearEquationSolver< ValueType >, storm::solver::SymbolicLinearEquationSolver< DdType, ValueType >, storm::solver::SymbolicLinearEquationSolverFactory< DdType, ValueType >, storm::solver::SymbolicMinMaxLinearEquationSolver< DdType, ValueType >, storm::solver::SymbolicMinMaxLinearEquationSolverFactory< DdType, ValueType >, storm::solver::SymbolicNativeLinearEquationSolver< DdType, ValueType >, storm::solver::TopologicalLinearEquationSolver< ValueType >, storm::solver::TopologicalMinMaxLinearEquationSolver< ValueType, SolutionType >
• getRequiresModulePrefix() : storm::settings::Option
• getReservedBitsForUnboundedVariables() : storm::builder::BuilderOptions
• getResolutionFactor() : storm::settings::modules::BeliefExplorationSettings
• getResolutionInit() : storm::settings::modules::BeliefExplorationSettings
• getRestartIterationCount() : storm::settings::modules::EigenEquationSolverSettings, storm::settings::modules::GmmxxEquationSolverSettings
• getRestartThreshold() : storm::EigenSolverEnvironment, storm::GmmxxSolverEnvironment
• getRestriction() : storm::dft::storage::DFT< ValueType >
• getResult() : storm::jani::JaniLocalEliminator
• getResultHint() : storm::modelchecker::ExplicitModelCheckerHint< ValueType >
• getResultMatrix() : storm::storage::geometry::QuickHull< ValueType >
• getResultState() : storm::storage::SparseModelMemoryProduct< ValueType, RewardModelType >
• getResultVector() : storm::storage::geometry::QuickHull< ValueType >
• getResultVertices() : storm::storage::geometry::HyperplaneEnumeration< ValueType >
• getReuseMode() : storm::settings::modules::AbstractionSettings, storm::settings::modules::BisimulationSettings
• getReuseQualitativeResults() : storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >
• getReuseQuantitativeResults() : storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >
• getReward() : storm::storage::DistributionWithReward< ValueType, StateType >
• getRewardAccumulation() : storm::logic::CumulativeRewardFormula, storm::logic::EventuallyFormula, storm::logic::LongRunAverageRewardFormula, storm::logic::TimeBoundReference, storm::logic::TotalRewardFormula
• getRewardModel() : storm::modelchecker::CheckTask< FormulaType, ValueType >, storm::models::sparse::Model< CValueType, CRewardModelType >, storm::models::symbolic::Model< Type, CValueType >, storm::prism::Program
• getRewardModelExpression() : storm::jani::Model
• getRewardModelInformation() : storm::generator::JaniNextStateGenerator< ValueType, StateType >, storm::generator::NextStateGenerator< ValueType, StateType >, storm::generator::PrismNextStateGenerator< ValueType, StateType >
• getRewardModelName() : storm::logic::RewardOperatorFormula, storm::logic::TimeBoundReference, storm::pomdp::analysis::FormulaInformation
• getRewardModelNames() : storm::builder::BuilderOptions, storm::builder::DdJaniModelBuilder< Type, ValueType >::Options, storm::dd::bisimulation::PreservationInformation< DdType, ValueType >
• getRewardModelRenaming() : storm::prism::ToJaniConverter
• getRewardModels() : storm::models::sparse::Model< CValueType, CRewardModelType >, storm::models::symbolic::Model< Type, CValueType >, storm::prism::Program
• getRewardName() : storm::logic::TimeBoundReference
• getRewardNames() : storm::simulator::DiscreteTimePrismProgramSimulator< ValueType >
• getRewards() : storm::generator::Choice< ValueType, StateType >
• getRewardValueExpression() : storm::prism::StateActionReward, storm::prism::StateReward, storm::prism::TransitionReward
• getRewMinusInfEStates() : storm::modelchecker::multiobjective::DeterministicSchedsObjectiveHelper< ModelType >
• getRightBound() : storm::storage::IntegerInterval
• getRightSubcomposition() : storm::prism::ParallelComposition
• getRightSubformula() : storm::logic::BinaryPathFormula, storm::logic::BinaryStateFormula, storm::logic::BoundedUntilFormula
• getRisk() : storm::generator::BeliefStateManager< ValueType >, storm::generator::ObservationDenseBeliefState< ValueType >, storm::generator::SparseBeliefState< ValueType >
• getRobustUncertainty() : storm::modelchecker::CheckTask< FormulaType, ValueType >
• getRow() : storm::storage::FlexibleSparseMatrix< ValueType >, storm::storage::SparseMatrix< ValueType >
• getRowAndNondeterminismVariables() : storm::models::symbolic::Model< Type, CValueType >
• getRowColumnIdentity() : storm::models::symbolic::Model< Type, CValueType >
• getRowColumnMetaVariablePairs() : storm::models::symbolic::Model< Type, CValueType >
• getRowCount() : storm::storage::FlexibleSparseMatrix< ValueType >, storm::storage::SparseMatrix< ValueType >
• getRowExpressionAdapter() : storm::models::symbolic::Model< Type, CValueType >
• getRowFilter() : storm::storage::SparseMatrix< ValueType >
• getRowGroup() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >, storm::storage::SparseMatrix< ValueType >
• getRowGroupAfterElimination() : storm::modelchecker::helper::SparseMdpEndComponentInformation< ValueType >
• getRowGroupCount() : storm::storage::FlexibleSparseMatrix< ValueType >, storm::storage::SparseMatrix< ValueType >, storm::transformer::ParameterLifter< ParametricType, ConstantType >
• getRowGroupEntryCount() : storm::storage::SparseMatrix< ValueType >
• getRowGroupFilter() : storm::storage::SparseMatrix< ValueType >
• getRowGroupIndex() : storm::transformer::ParameterLifter< ParametricType, ConstantType >
• getRowGroupIndices() : storm::solver::helper::ValueIterationOperator< ValueType, TrivialRowGrouping, SolutionType >, storm::storage::FlexibleSparseMatrix< ValueType >, storm::storage::SparseMatrix< ValueType >
• getRowGroupSize() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >, storm::storage::FlexibleSparseMatrix< ValueType >, storm::storage::SparseMatrix< ValueType >, storm::transformer::ParameterLifter< ParametricType, ConstantType >
• getRowGroupSizeOfState() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getRowLabels() : storm::transformer::ParameterLifter< ParametricType, ConstantType >
• getRowOfMatrix() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• getRows() : storm::models::sparse::Model< CValueType, CRewardModelType >, storm::storage::SparseMatrix< ValueType >
• getRowSum() : storm::storage::FlexibleSparseMatrix< ValueType >, storm::storage::SparseMatrix< ValueType >
• getRowSumVector() : storm::storage::SparseMatrix< ValueType >
• getRowVariables() : storm::models::symbolic::Model< Type, CValueType >
• getRRWAtTimebound() : storm::dft::modelchecker::SFTBDDChecker
• getRRWsAtTimepoints() : storm::dft::modelchecker::SFTBDDChecker
• getSamples() : storm::settings::modules::SamplingSettings
• getSatFraction() : storm::modelchecker::RegionCheckResult< ValueType >
• getSccDepth() : storm::storage::StronglyConnectedComponentDecomposition< ValueType >
• getScheduler() : storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >, storm::modelchecker::helper::MaybeStateResult< ValueType >, storm::ps::MilpPermissiveSchedulerComputation< RM >, storm::ps::PermissiveSchedulerComputation< RM >, storm::ps::SmtPermissiveSchedulerComputation< RM >
• getSchedulerChoices() : storm::solver::MinMaxLinearEquationSolver< ValueType, SolutionType >
• getSchedulerForExploredMdp() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getSchedulerHint() : storm::modelchecker::ExplicitModelCheckerHint< ValueType >, storm::modelchecker::helper::SparseMdpHintType< ValueType >
• getSchedulerRestriction() : storm::MultiObjectiveModelCheckerEnvironment, storm::settings::modules::MultiObjectiveSettings
• getSecondOperand() : storm::expressions::BinaryExpression
• getSelectedJaniProperties() : storm::settings::modules::ConversionInputSettings, storm::settings::modules::IOSettings
• getSFTBDDChecker() : storm::dft::adapters::SFTBDDPropertyFormulaAdapter
• getSharedPointer() : storm::expressions::BaseExpression, storm::expressions::ExpressionManager
• getShortestPathMaxK() : storm::settings::modules::CounterexampleGeneratorSettings
• getShortName() : storm::settings::Option
• getShowProgressDelay() : storm::builder::BuilderOptions, storm::settings::modules::GeneralSettings, storm::solver::AbstractEquationSolver< ValueType >, storm::utility::ProgressMeasurement
• getSignalWaitingTimeInSeconds() : storm::settings::modules::ResourceSettings
• getSignatureAdd() : storm::dd::bisimulation::Signature< DdType, ValueType >
• getSignatureMode() : storm::settings::modules::BisimulationSettings
• getSimplifiedFormula() : storm::transformer::SparseParametricModelSimplifier< SparseModelType >
• getSimplifiedModel() : storm::transformer::SparseParametricModelSimplifier< SparseModelType >
• getSinkStates() : storm::pomdp::analysis::FormulaInformation
• getSizeInBytes() : storm::storage::BitVector
• getSizeOfCurrentRowGroup() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getSizeOfLargestRowGroup() : storm::storage::SparseMatrix< ValueType >
• getSizeThresholdFactor() : storm::settings::modules::BeliefExplorationSettings
• getSizeThresholdInit() : storm::settings::modules::BeliefExplorationSettings
• getSmallestUpperBound() : storm::pomdp::storage::PreprocessingPomdpValueBounds< ValueType >
• getSmtLibString() : storm::solver::SmtSolver, storm::solver::Z3SmtSolver
• getSmtSolver() : storm::settings::modules::CoreSettings
• getSolutionCount() : storm::solver::GurobiLpSolver< ValueType, RawMode >
• getSolveMode() : storm::settings::modules::AbstractionSettings
• getSolverCommand() : storm::settings::modules::Smt2SmtSolverSettings
• getSomePoint() : storm::storage::ParameterRegion< ParametricType >
• getSorOmega() : storm::NativeSolverEnvironment
• getSortedVariableIndices() : storm::dd::Dd< LibraryType >, storm::dd::DdManager< LibraryType >
• getSource() : storm::gbar::abstraction::RefinementPredicates
• getSourceLocationIndex() : storm::jani::Edge
• getSourceLocationVariables() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getSourcePredicateVariables() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getSourceStatePredicateExpression() : storm::prism::TransitionReward
• getSourceSuccessorVariablePairs() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getSourceVariables() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getSpareActivationIndex() : storm::dft::storage::DFTStateGenerationInfo
• getSpareIndices() : storm::dft::storage::DFT< ValueType >
• getSpareModules() : storm::dft::storage::DFT< ValueType >
• getSpareUsageIndex() : storm::dft::storage::DFTStateGenerationInfo
• getSpecification() : storm::logic::InheritedInformation
• getSplitMode() : storm::settings::modules::AbstractionSettings
• getSplittingThreshold() : storm::settings::modules::RegionVerificationSettings
• getSquaredAverageDecay() : storm::settings::modules::DerivativeSettings
• getStandardProperties() : storm::builder::JaniGSPNBuilder
• getStandardSystemComposition() : storm::jani::Model
• getStartEpoch() : storm::modelchecker::helper::rewardbounded::MultiDimensionalRewardUnfolding< ValueType, SingleObjectiveMode >
• getStartOfCurrentRowGroup() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getStartOfOneSequenceBefore() : storm::storage::BitVector
• getStartOfZeroSequenceBefore() : storm::storage::BitVector
• getStartRowOfGroup() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• getState() : storm::generator::BeliefStateManager< ValueType >, storm::generator::DistributionEntry< StateType, ValueType >, storm::modelchecker::ExplicitParetoCurveCheckResult< ValueType >, storm::modelchecker::LexicographicCheckResult< ValueType >, storm::modelchecker::SymbolicParetoCurveCheckResult< Type, ValueType >, storm::storage::bisimulation::Partition< DataType >, storm::storage::StateActionPair
• getStateActionAndTransitionReward() : storm::models::sparse::StandardRewardModel< CValueType >
• getStateActionReward() : storm::models::sparse::StandardRewardModel< CValueType >
• getStateActionRewards() : storm::prism::RewardModel
• getStateActionRewardVector() : storm::models::sparse::StandardRewardModel< CValueType >, storm::models::symbolic::StandardRewardModel< Type, ValueType >
• getStateAsJson() : storm::simulator::DiscreteTimePrismProgramSimulator< ValueType >
• getStateExtremeBoundIsInfinite() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getStateForChoice() : storm::modelchecker::helper::DsMpiDtmcUpperRewardBoundsComputer< ValueType >
• getStateHasLabel() : storm::models::sparse::StateLabeling
• getStateIndex() : storm::dft::storage::DFTStateGenerationInfo
• getStateInfo() : storm::models::sparse::StateAnnotation, storm::storage::sparse::StateValuations
• getStateInformation() : storm::transformer::MakePOMDPCanonic< ValueType >
• getStateLabeling() : storm::models::sparse::Model< CValueType, CRewardModelType >, storm::storage::MemoryStructure
• getStatePartition() : storm::dd::bisimulation::PartitionRefiner< DdType, ValueType >
• getStatePlayerIndications() : storm::models::sparse::Smg< ValueType, RewardModelType >
• getStatePredicateExpression() : storm::prism::Label, storm::prism::StateActionReward, storm::prism::StateReward
• getStateReward() : storm::models::sparse::StandardRewardModel< CValueType >
• getStateRewards() : storm::generator::StateBehavior< ValueType, StateType >, storm::prism::RewardModel
• getStateRewardsFilename() : storm::settings::modules::IOSettings
• getStateRewardVector() : storm::models::sparse::StandardRewardModel< CValueType >, storm::models::symbolic::StandardRewardModel< Type, ValueType >
• getStates() : storm::dd::bisimulation::Partition< DdType, ValueType >, storm::gbar::abstraction::ExplicitQualitativeGameResult, storm::gbar::abstraction::ExplicitQualitativeResult, storm::gbar::abstraction::jani::JaniMenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::MenuGame< Type, ValueType >, storm::gbar::abstraction::MenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::PrismMenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::SymbolicQualitativeGameResult< Type >, storm::gbar::abstraction::SymbolicQualitativeMdpResult< Type >, storm::gbar::abstraction::SymbolicQualitativeResult< Type >, storm::gbar::abstraction::SymbolicStateSet< Type >, storm::modelchecker::SymbolicQualitativeCheckResult< Type >, storm::modelchecker::SymbolicQuantitativeCheckResult< Type, ValueType >, storm::models::sparse::Model< CValueType, CRewardModelType >, storm::models::sparse::StateLabeling, storm::models::symbolic::Model< Type, CValueType >, storm::storage::StateBlock, storm::utility::ksp::ShortestPathsGenerator< T >
• getStateSet() : storm::storage::MaximalEndComponent
• getStatesFormula() : storm::jani::FilterExpression
• getStateSize() : storm::generator::NextStateGenerator< ValueType, StateType >
• getStatesOfInterest() : storm::transformer::Product< Model >
• getStatesSorted() : storm::analysis::Order
• getStateString() : storm::dft::storage::DFT< ValueType >
• getStatesWithFilter() : storm::models::sparse::StandardRewardModel< CValueType >
• getStatesWithObservation() : storm::models::sparse::Pomdp< ValueType, RewardModelType >
• getStatesWithProbability01() : storm::storage::BisimulationDecomposition< ModelType, BlockDataType >, storm::storage::DeterministicModelBisimulationDecomposition< ModelType >, storm::storage::NondeterministicModelBisimulationDecomposition< ModelType >
• getStatesWithZeroReward() : storm::models::sparse::StandardRewardModel< CValueType >
• getStateToHandle() : storm::analysis::Order
• getStateValuations() : storm::models::sparse::Model< CValueType, CRewardModelType >
• getStateVectorSize() : storm::dft::storage::DFTStateGenerationInfo
• getStatistics() : storm::modelchecker::multiobjective::DeterministicSchedsLpChecker< ModelType, GeometryValueType >, storm::pomdp::IterativePolicySearch< ValueType >
• getStatus() : storm::dd::bisimulation::PartitionRefiner< DdType, ValueType >, storm::pomdp::modelchecker::BeliefExplorationPomdpModelChecker< PomdpModelType, BeliefValueType, BeliefMDPType >
• getSteadyStateDistributionAlgorithm() : storm::ModelCheckerEnvironment, storm::settings::modules::IOSettings
• getSteps() : storm::modelchecker::helper::rewardbounded::ProductModel< ValueType >
• getStorageSize() : storm::pomdp::WinningRegion
• getStringId() : storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >
• getStringRepresentation() : storm::expressions::ArrayType, storm::expressions::BaseType, storm::expressions::BitVectorType, storm::expressions::BooleanType, storm::expressions::ErrorType, storm::expressions::IntegerType, storm::expressions::RationalType, storm::expressions::TranscendentalNumberType, storm::expressions::Type, storm::jani::ArrayType, storm::jani::BasicType, storm::jani::BoundedType, storm::jani::ClockType, storm::jani::ContinuousType, storm::jani::JaniType
• getSubcomposition() : storm::jani::ParallelComposition, storm::prism::HidingComposition, storm::prism::RenamingComposition
• getSubcompositions() : storm::jani::ParallelComposition
• getSubformula() : storm::logic::ConditionalFormula, storm::logic::MultiObjectiveFormula, storm::logic::QuantileFormula, storm::logic::UnaryPathFormula, storm::logic::UnaryStateFormula
• getSubformulas() : storm::logic::MultiObjectiveFormula
• getSubLabeling() : storm::models::sparse::ChoiceLabeling, storm::models::sparse::ItemLabeling, storm::models::sparse::StateLabeling
• getSubmatrix() : storm::storage::SparseMatrix< ValueType >
• getSubModules() : storm::dft::storage::DftIndependentModule
• getSubstitutionForRenamedModule() : storm::prism::Program
• getSubtree() : storm::dft::storage::DftIndependentModule
• getSubValuation() : storm::transformer::ParameterLifter< ParametricType, ConstantType >::AbstractValuation
• getSuccessor() : storm::automata::DeterministicAutomaton, storm::transformer::DAProductBuilder
• getSuccessorEpoch() : storm::modelchecker::helper::rewardbounded::EpochManager
• getSuccessorLocationVariables() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getSuccessorMemoryState() : storm::storage::MemoryStructure
• getSuccessorPredicateVariables() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getSuccessorVariables() : storm::gbar::abstraction::AbstractionInformation< DdType >
• getSumOfDimensions() : storm::modelchecker::helper::rewardbounded::EpochManager
• getSupport() : storm::dd::Add< LibraryType, ValueType >, storm::dd::Bdd< LibraryType >, storm::dd::Dd< LibraryType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >
• getSupportedJaniFeatures() : storm::builder::DdJaniModelBuilder< Type, ValueType >, storm::generator::JaniNextStateGenerator< ValueType, StateType >
• getSupportSize() : storm::generator::ObservationDenseBeliefState< ValueType >, storm::generator::SparseBeliefState< ValueType >
• getSylvanBdd() : storm::dd::InternalBdd< DdType::Sylvan >
• getSylvanBddManager() : storm::dft::adapters::SFTBDDPropertyFormulaAdapter, storm::dft::modelchecker::SFTBDDChecker, storm::dft::transformations::SftToBddTransformator< ValueType >
• getSylvanMtbdd() : storm::dd::InternalAdd< DdType::Sylvan, ValueType >
• getSymbolicStates() : storm::modelchecker::HybridQuantitativeCheckResult< Type, ValueType >
• getSymbolicValueVector() : storm::modelchecker::HybridQuantitativeCheckResult< Type, ValueType >
• getSymmetryGroup() : storm::dft::storage::DftSymmetries
• getSymmetryIndices() : storm::dft::storage::DFTStateGenerationInfo
• getSymmetryLength() : storm::dft::storage::DFTStateGenerationInfo
• getSymmetrySize() : storm::dft::storage::DFTStateGenerationInfo
• getSynchronizationVector() : storm::jani::ParallelComposition
• getSynchronizationVectors() : storm::jani::ParallelComposition
• getSynchronizingActionIndices() : storm::prism::Module, storm::prism::Program
• getSynchronizingActions() : storm::prism::RestrictedParallelComposition
• getSystemComposition() : storm::jani::Model, storm::prism::SystemCompositionConstruct
• getSystemCompositionConstruct() : storm::prism::Program
• getTargetStateExpression() : storm::gbar::abstraction::MenuGameAbstractor< DdType, ValueType >
• getTargetStatePredicateExpression() : storm::prism::TransitionReward
• getTargetStates() : storm::pomdp::analysis::FormulaInformation
• getTemplateEdge() : storm::jani::Edge
• getTemplateEdgeDestination() : storm::jani::EdgeDestination
• getTemplateEdges() : storm::jani::EdgeContainer
• getTerminalStates() : storm::builder::BuilderOptions
• getTerminationCondition() : storm::solver::AbstractEquationSolver< ValueType >
• getTerminationConditionPointer() : storm::solver::AbstractEquationSolver< ValueType >
• getTerminationEpsilon() : storm::settings::modules::DerivativeSettings
• getThenExpression() : storm::expressions::IfThenElseExpression
• getThenOffset() : storm::dd::Odd
• getThenSuccessor() : storm::dd::Odd
• getThreshold() : storm::logic::OperatorFormula, storm::modelchecker::multiobjective::DeterministicSchedsObjectiveHelper< ModelType >
• getThresholdAs() : storm::logic::OperatorFormula
• getTimebound() : storm::dft::adapters::SFTBDDPropertyFormulaAdapter
• getTimeBoundReference() : storm::logic::BoundedUntilFormula, storm::logic::CumulativeRewardFormula
• getTimeBoundType() : storm::logic::InstantaneousRewardFormula
• getTimedTransition() : storm::gspn::GSPN
• getTimedTransitions() : storm::gspn::GSPN
• getTimeInMilliseconds() : storm::utility::Stopwatch
• getTimeInNanoseconds() : storm::utility::Stopwatch
• getTimeInSeconds() : storm::utility::Stopwatch
• getTimeoutInSeconds() : storm::settings::modules::ResourceSettings
• getTimeProgressInvariant() : storm::jani::Location
• getTop() : storm::analysis::Order
• getTopLevelElement() : storm::dft::storage::DFT< ValueType >
• getTopLevelIndex() : storm::dft::storage::DFT< ValueType >
• getTopLevelType() : storm::dft::storage::DFT< ValueType >
• getTotalActionRewardVector() : storm::models::sparse::StandardRewardModel< CValueType >
• getTotalBitOffset() : storm::generator::VariableInformation
• getTotalBlowup() : storm::jani::elimination_actions::UnfoldDependencyGraph
• getTotalMass() : storm::generator::Choice< ValueType, StateType >
• getTotalNumberOfNonTransientVariables() : storm::jani::Model
• getTotalOffset() : storm::dd::Odd
• getTotalRefinementTime() : storm::dd::bisimulation::PartitionRefiner< DdType, ValueType >
• getTotalRewardVector() : storm::models::sparse::StandardRewardModel< CValueType >, storm::models::symbolic::StandardRewardModel< Type, ValueType >
• getTotalSignatureTime() : storm::dd::bisimulation::PartitionRefiner< DdType, ValueType >
• getTotalStateActionReward() : storm::models::sparse::StandardRewardModel< CValueType >
• getTranscendentalNumber() : storm::expressions::TranscendentalNumberLiteralExpression
• getTranscendentalNumberType() : storm::expressions::ExpressionManager
• getTransformator() : storm::dft::adapters::SFTBDDPropertyFormulaAdapter, storm::dft::modelchecker::SFTBDDChecker
• getTransientAssignments() : storm::jani::OrderedAssignments
• getTransientVariables() : storm::jani::VariableSet
• getTransition() : storm::gspn::GSPN
• getTransitionFilename() : storm::settings::modules::IOSettings
• getTransitionLayoutInfos() : storm::gspn::GSPN
• getTransitionMatrix() : storm::models::sparse::Model< CValueType, CRewardModelType >, storm::models::symbolic::Model< Type, CValueType >, storm::storage::MemoryStructure
• getTransitionRewardMatrix() : storm::models::sparse::StandardRewardModel< CValueType >, storm::models::symbolic::StandardRewardModel< Type, ValueType >
• getTransitionRewards() : storm::prism::RewardModel
• getTransitionRewardsFilename() : storm::settings::modules::IOSettings
• getTransitions() : storm::storage::NondeterministicMemoryStructure, storm::storage::PomdpMemory
• getTrivialLowerBoundAtPOMDPState() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getTrivialUpperBoundAtPOMDPState() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getTrueFormula() : storm::logic::Formula
• getTruthValuesMap() : storm::modelchecker::ExplicitQualitativeCheckResult
• getTruthValuesVector() : storm::modelchecker::ExplicitQualitativeCheckResult, storm::modelchecker::SymbolicQualitativeCheckResult< Type >
• getTwoBitsAligned() : storm::storage::BitVector
• getType() : storm::dd::DdMetaVariable< LibraryType >, storm::expressions::BaseExpression, storm::expressions::Expression, storm::expressions::Variable, storm::jani::Constant, storm::jani::FunctionDefinition, storm::jani::Variable, storm::logic::TimeBoundReference, storm::models::ModelBase, storm::MultiplierEnvironment, storm::pomdp::analysis::FormulaInformation, storm::prism::Constant, storm::prism::Formula, storm::settings::Argument< T >, storm::settings::ArgumentBase, storm::storage::BisimulationDecomposition< ModelType, BlockDataType >::Options
• getUnboundedIntegerVariables() : storm::jani::VariableSet
• getUndefinedConstants() : storm::jani::Model, storm::jani::Property, storm::prism::Program, storm::storage::SymbolicModelDescription
• getUndefinedConstantsAsString() : storm::prism::Program
• getUnderApproximation() : storm::modelchecker::ParetoCurveCheckResult< ValueType >
• getUnderApproximationOfInitialStateResults() : storm::modelchecker::multiobjective::PcaaWeightVectorChecker< ModelType >, storm::modelchecker::multiobjective::RewardBoundedMdpPcaaWeightVectorChecker< SparseMdpModelType >, storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >
• getUnderlyingEquationSolverType() : storm::settings::modules::TopologicalEquationSolverSettings, storm::TopologicalSolverEnvironment
• getUnderlyingMinMaxMethod() : storm::settings::modules::TopologicalEquationSolverSettings, storm::TopologicalSolverEnvironment
• getUnexploredMarker() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• getUnexploredStates() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getUnifPlusKappa() : storm::settings::modules::TimeBoundedSolverSettings, storm::TimeBoundedSolverEnvironment
• getUniqueRewardModel() : storm::models::sparse::Model< CValueType, CRewardModelType >, storm::models::symbolic::Model< Type, CValueType >
• getUniqueRewardModelName() : storm::models::ModelBase, storm::models::sparse::Model< CValueType, CRewardModelType >, storm::models::symbolic::Model< Type, CValueType >
• getUnknownStates() : storm::analysis::OrderExtender< ValueType, ConstantType >
• getUnreliability() : 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 >
• getUnsatAssumptions() : storm::solver::MathsatSmtSolver, storm::solver::SmtSolver, storm::solver::Z3SmtSolver
• getUnsatCore() : storm::solver::SmtSolver
• getUnsatFraction() : storm::modelchecker::RegionCheckResult< ValueType >
• getUnspecifiedParameters() : storm::transformer::ParameterLifter< ParametricType, ConstantType >::AbstractValuation
• getUpdate() : storm::prism::Command
• getUpdates() : storm::prism::Command
• getUpperBound() : storm::dft::builder::DFTExplorationHeuristic< ValueType >, storm::dft::builder::DFTExplorationHeuristicBoundDifference< ValueType >, storm::jani::BoundedType, storm::logic::BoundedUntilFormula, storm::pomdp::storage::PreprocessingPomdpValueBounds< ValueType >, storm::solver::AbstractEquationSolver< ValueType >, storm::solver::SymbolicEquationSolver< DdType, ValueType >
• getUpperBoundaries() : storm::storage::ParameterRegion< ParametricType >
• getUpperBoundary() : storm::storage::ParameterRegion< ParametricType >
• getUpperBoundExpression() : storm::prism::IntegerVariable
• getUpperBoundForAction() : storm::modelchecker::exploration_detail::Bounds< StateType, ValueType >
• getUpperBoundForRowGroup() : storm::modelchecker::exploration_detail::Bounds< StateType, ValueType >
• getUpperBoundForState() : storm::modelchecker::exploration_detail::Bounds< StateType, ValueType >
• getUpperBoundGuessingFactor() : storm::OviSolverEnvironment, storm::settings::modules::OviSolverSettings
• getUpperBounds() : storm::solver::AbstractEquationSolver< ValueType >, storm::solver::SymbolicEquationSolver< DdType, ValueType >
• getUpperBoundsVector() : storm::solver::SymbolicEquationSolver< DdType, ValueType >
• getUpperMemoryStateBound() : storm::modelchecker::helper::rewardbounded::MemoryStateManager
• getUpperObjectiveBound() : storm::modelchecker::helper::rewardbounded::MultiDimensionalRewardUnfolding< ValueType, SingleObjectiveMode >
• getUpperParameters() : storm::transformer::ParameterLifter< ParametricType, ConstantType >::AbstractValuation
• getUpperResultBound() : storm::modelchecker::helper::SparseMdpHintType< ValueType >
• getUpperResultBounds() : storm::modelchecker::helper::SparseMdpHintType< ValueType >
• getUpperValueBoundAtCurrentState() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getUpperValueBoundAtState() : storm::modelchecker::multiobjective::DeterministicSchedsObjectiveHelper< ModelType >
• getUpperValueBoundScheduler() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getUpperValueBoundSchedulers() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getUsageInfoBits() : storm::dft::storage::DFTStateGenerationInfo
• getUseBsccOrderEncoding() : storm::MultiObjectiveModelCheckerEnvironment
• getUsedActionIndices() : storm::jani::Automaton
• getUsedLabels() : storm::jani::Property
• getUsedVariables() : storm::logic::Formula
• getUsedVariablesAndConstants() : storm::jani::Property
• getUseEqualityForSingleActions() : storm::MinMaxLpSolverEnvironment
• getUseIndicatorConstraints() : storm::MultiObjectiveModelCheckerEnvironment
• getUseNonTrivialBounds() : storm::MinMaxLpSolverEnvironment
• getUseRedundantBsccConstraints() : storm::MultiObjectiveModelCheckerEnvironment
• getValidBlockMode() : storm::settings::modules::AbstractionSettings
• getValidBlocks() : storm::gbar::abstraction::ValidBlockAbstractor< DdType >
• getValue() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::expressions::BooleanLiteralExpression, storm::expressions::IntegerLiteralExpression, storm::expressions::RationalLiteralExpression, storm::generator::DistributionEntry< StateType, ValueType >, storm::storage::BitVectorHashMap< ValueType, Hash >, storm::storage::MatrixEntry< IndexType, ValueType >
• getValueAsBoolean() : storm::settings::Argument< T >, storm::settings::ArgumentBase
• getValueAsDouble() : storm::expressions::RationalLiteralExpression, storm::settings::Argument< T >, storm::settings::ArgumentBase
• getValueAsInteger() : storm::settings::Argument< T >, storm::settings::ArgumentBase
• getValueAsString() : storm::settings::Argument< T >, storm::settings::ArgumentBase
• getValueAsUnsignedInteger() : storm::settings::Argument< T >, storm::settings::ArgumentBase
• getValueBounds() : storm::pomdp::modelchecker::PreprocessingPomdpValueBoundsModelChecker< ValueType >
• getValueForState() : storm::pomdp::storage::ExtremePOMDPValueBound< ValueType >
• getValueHint() : storm::modelchecker::helper::SparseMdpHintType< ValueType >
• getValueIterationMultiplicationStyle() : storm::settings::modules::MinMaxEquationSolverSettings
• getValueMap() : storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
• getValues() : storm::gbar::abstraction::ExplicitQuantitativeResult< ValueType >, storm::modelchecker::helper::MaybeStateResult< ValueType >
• getValuesOfExploredMdp() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• getValueThresholdComparisonType() : storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, ModelRepresentation >
• getValueThresholdValue() : storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, ModelRepresentation >
• getValueVector() : storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >, storm::modelchecker::SymbolicQuantitativeCheckResult< Type, ValueType >
• getVariable() : storm::adapters::Smt2ExpressionAdapter, storm::expressions::ExpressionManager, storm::expressions::VariableExpression, storm::jani::ArrayEliminatorData::Replacement, storm::jani::Assignment, storm::jani::LValue, storm::jani::VariableSet, storm::prism::Assignment, storm::storage::sparse::StateValuations::StateValueIterator
• getVariableBlockWithIndex() : storm::gbar::abstraction::LocalExpressionInformation< DdType >
• getVariableExpression() : storm::expressions::ExpressionManager
• getVariableInformation() : storm::generator::NextStateGenerator< ValueType, StateType >
• getVariableInformationIndex() : storm::generator::ArrayVariableReplacementInformation
• getVariableName() : storm::expressions::ExpressionManager, storm::expressions::VariableExpression, storm::prism::Assignment
• getVariables() : storm::analysis::ConstraintCollector< ValueType >, storm::expressions::Expression, storm::expressions::ExpressionManager, storm::jani::Automaton, storm::storage::ParameterRegion< ParametricType >
• getVariablesAsString() : storm::jani::elimination_actions::UnfoldDependencyGraph::VariableGroup
• getVariablesOccuringAtState() : storm::analysis::OrderExtender< ValueType, ConstantType >
• getVariablesSorted() : storm::storage::ParameterRegion< ParametricType >
• getVariableType() : storm::expressions::ExpressionManager
• getVariableUpdates() : storm::gbar::abstraction::jani::AutomatonAbstractor< DdType, ValueType >, storm::gbar::abstraction::jani::EdgeAbstractor< DdType, ValueType >, storm::gbar::abstraction::jani::JaniMenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::MenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::CommandAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::ModuleAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::PrismMenuGameAbstractor< DdType, ValueType >
• getVector() : storm::transformer::ParameterLifter< ParametricType, ConstantType >
• getVertexSets() : storm::storage::geometry::HyperplaneEnumeration< ValueType >, storm::storage::geometry::QuickHull< ValueType >
• getVertices() : storm::storage::geometry::NativePolytope< ValueType >, storm::storage::geometry::Polytope< ValueType >
• getVerticesInClockwiseOrder() : storm::storage::geometry::Polytope< ValueType >
• getVerticesOfRegion() : storm::storage::ParameterRegion< ParametricType >
• getVisualizationWalk() : storm::derivative::GradientDescentInstantiationSearcher< FunctionType, ConstantType >
• getWeight() : storm::gspn::ImmediateTransition< WeightType >
• getWeightedPrecision() : storm::modelchecker::multiobjective::PcaaWeightVectorChecker< ModelType >
• getWeightedSum() : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• getWellformedConstraints() : storm::analysis::ConstraintCollector< ValueType >
• getWidth() : storm::expressions::BitVectorType, storm::expressions::Type
• getWinningSetsPerObservation() : storm::pomdp::WinningRegion
• getWriteStatsFilename() : storm::settings::modules::GSPNExportSettings
• getWriteToDotFilename() : storm::settings::modules::GSPNExportSettings
• getWriteToJaniFilename() : storm::dft::settings::modules::DftGspnSettings, storm::settings::modules::GSPNExportSettings
• getWriteToJsonFilename() : storm::settings::modules::GSPNExportSettings
• getWriteToPnmlFilename() : storm::settings::modules::GSPNExportSettings
• getWriteToPnproFilename() : storm::settings::modules::GSPNExportSettings
• getWrittenGlobalVariables() : storm::jani::Edge, storm::jani::TemplateEdge
• getZero() : storm::dft::storage::SylvanBddManager
• getZeroEpoch() : storm::modelchecker::helper::rewardbounded::EpochManager
• gitRevisionHash : storm::StormVersion
• global : storm::generator::BooleanVariableInformation, storm::generator::IntegerVariableInformation, storm::generator::TransientVariableData< VariableType >
• globalBooleanVariableExists() : storm::prism::Program
• globalBooleanVariables : storm::parser::GlobalProgramInformation
• globalFunctions : storm::parser::JaniParser< ValueType >::Scope
• globalIntegerVariableExists() : storm::prism::Program
• globalIntegerVariables : storm::parser::GlobalProgramInformation
• GloballyFormula() : storm::logic::GloballyFormula
• globalModule : storm::builder::DdPrismModelBuilder< Type, ValueType >::SystemResult< Type, ValueType >
• GlobalPomdpMecChoiceEliminator() : storm::transformer::GlobalPomdpMecChoiceEliminator< ValueType >
• GlobalPOMDPSelfLoopEliminator() : storm::transformer::GlobalPOMDPSelfLoopEliminator< ValueType >
• GlobalProgramInformation() : storm::parser::GlobalProgramInformation
• globalVariableRanges : storm::builder::CompositionVariables< Type, ValueType >
• globalVars : storm::converter::JaniConversionOptions, storm::parser::JaniParser< ValueType >::Scope
• GlpkLpSolver() : storm::solver::GlpkLpSolver
• GlpkSettings() : storm::settings::modules::GlpkSettings
• gmmxx() : storm::SolverEnvironment
• GmmxxEquationSolverSettings() : storm::settings::modules::GmmxxEquationSolverSettings
• GmmxxLinearEquationSolver() : storm::solver::GmmxxLinearEquationSolver< ValueType >
• GmmxxMultiplier() : storm::solver::GmmxxMultiplier< ValueType >
• GmmxxSolverEnvironment() : storm::GmmxxSolverEnvironment
• GoalStateMerger() : storm::transformer::GoalStateMerger< SparseModelType >
• gradientDescent() : storm::derivative::GradientDescentInstantiationSearcher< FunctionType, ConstantType >
• GradientDescentInstantiationSearcher() : storm::derivative::GradientDescentInstantiationSearcher< FunctionType, ConstantType >
• graphPreserving : storm::pars::SampleInformation< ValueType >
• graphSearchTime : storm::pomdp::IterativePolicySearch< ValueType >::Statistics
• greater() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >
• greaterOrEqual() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >
• gridPoints : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >::Triangulation
• grow() : storm::jani::ArrayEliminatorData::Replacement, storm::storage::BitVector
• GSPN() : storm::gspn::GSPN
• GSPNExportSettings() : storm::settings::modules::GSPNExportSettings
• GSPNSettings() : storm::settings::modules::GSPNSettings
• GSVIBackend() : storm::solver::helper::GSVIBackend< ValueType, Dir, Relative >
• guard : storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::ActionDd, storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::EdgeDd
• GurobiEnvironment() : storm::solver::GurobiEnvironment
• GurobiLpSolver() : storm::solver::GurobiLpSolver< ValueType, RawMode >
• GurobiLpSolverFactory() : storm::utility::solver::GurobiLpSolverFactory< ValueType >
• GurobiSettings() : storm::settings::modules::GurobiSettings