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

- i -

• id : storm::dft::builder::DFTExplorationHeuristic< ValueType >
• identifierToCommandSet : storm::storage::sparse::PrismChoiceOrigins
• identifierToInfo : storm::storage::sparse::ChoiceOrigins
• identifierToJson : storm::storage::sparse::ChoiceOrigins
• identity : storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::AutomatonDd
• idToState : storm::simulator::DiscreteTimePrismProgramSimulator< ValueType >
• illegalFragment : storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::ActionDd, storm::builder::ComposerResult< Type, ValueType >
• illegalMask : storm::models::symbolic::NondeterministicModel< Type, ValueType >, storm::solver::SymbolicMinMaxLinearEquationSolver< DdType, ValueType >
• illegalMaskAdd : storm::solver::SymbolicMinMaxLinearEquationSolver< DdType, ValueType >
• illegalPlayer1Mask : storm::solver::SymbolicGameSolver< Type, ValueType >
• illegalPlayer2Mask : storm::solver::SymbolicGameSolver< Type, ValueType >
• inclusive : storm::dft::storage::elements::DFTPand< ValueType >, storm::dft::storage::elements::DFTPor< ValueType >
• indexToIdentifier : storm::storage::sparse::ChoiceOrigins
• infinityStates : storm::modelchecker::helper::QualitativeStateSetsReachabilityRewards
• initialConstruct : storm::parser::GlobalProgramInformation
• initializeSolverTimer : storm::pomdp::IterativePolicySearch< ValueType >::Statistics
• initialScheduler : storm::modelchecker::helper::SolverRequirementsData< ValueType >, storm::solver::MinMaxLinearEquationSolver< ValueType, SolutionType >, storm::solver::SymbolicMinMaxLinearEquationSolver< DdType, ValueType >
• initialState : storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >
• initialStateIndices : storm::storage::sparse::StateStorage< StateType >
• initialStates : storm::builder::ModelComponents< Type, ValueType >
• initialStatesRange : storm::gbar::abstraction::SymbolicQuantitativeGameResult< Type, ValueType >
• injectedRefinementPredicates : storm::gbar::api::AbstractionRefinementOptions, storm::gbar::modelchecker::GameBasedMdpModelCheckerOptions
• inputEnabled : storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::ActionDd
• integerValues : storm::expressions::ExprtkExpressionEvaluatorBase< RationalType >, storm::generator::TransientVariableValuation< ValueType >
• integerVariableInformation : storm::generator::TransientVariableInformation< ValueType >
• integerVariables : storm::generator::VariableInformation
• interactiveUnfolding : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• internalDdManager : storm::dd::bisimulation::InternalRepresentativeComputerBase< DdType >
• isClippable : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >::BeliefClipping
• isCompatible : storm::cli::ModelProcessingInformation
• isComputeSccDepthsSet : storm::storage::StronglyConnectedComponentDecompositionOptions
• isConstBoundedInteger : storm::jani::elimination_actions::UnfoldDependencyGraph::VariableInfo
• IsExact : storm::NumberTraits< ValueType >, storm::NumberTraits< double >, storm::NumberTraits< storm::RationalFunction >
• isExactModelChecking : DefaultDoubleVIEnvironment
• isGlobal : storm::jani::elimination_actions::UnfoldDependencyGraph::VariableInfo
• isInfinite : storm::pomdp::storage::ExtremePOMDPValueBound< ValueType >
• isMarkovian : storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::EdgeDd
• isNondeterministic : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >
• isRewardFormula : storm::jani::JaniLocalEliminator::Session
• IsTargetExact : storm::solver::helper::RationalSearchHelper< TargetValueType, ExactValueType, ImpreciseValueType, TrivialRowGrouping >
• isTopologicalSortForced : storm::storage::StronglyConnectedComponentDecompositionOptions
• itemCount : storm::models::sparse::ItemLabeling
• iterations : storm::counterexamples::SMTMinimalLabelSetGenerator< T >::GeneratorStats