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

- i -

• id() : storm::dft::storage::elements::DFTElement< ValueType >
• iff() : storm::dd::Bdd< LibraryType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >
• Iff() : storm::dft::modelchecker::Iff
• IfThenElse() : storm::dft::modelchecker::IfThenElse
• IfThenElseExpression() : storm::expressions::IfThenElseExpression
• II() : storm::solver::helper::IntervalIterationHelper< ValueType, TrivialRowGrouping >
• ImcaParserGrammar() : storm::parser::ImcaParserGrammar< ValueType, StateType >
• immediateFailedBE() : storm::dft::storage::DFTStateGenerationInfo
• immediateFailureCauses() : storm::dft::storage::DFT< ValueType >
• immediateTransitionIdToTransitionId() : storm::gspn::GSPN
• implies() : storm::dd::Bdd< LibraryType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >
• Implies() : storm::dft::modelchecker::Implies
• implies() : storm::storage::BitVector
• ImportanceFunction() : storm::dft::simulator::ImportanceFunction< ValueType >
• incorporateCountingMemory() : storm::transformer::MemoryIncorporation< SparseModelType >
• incorporateFullMemory() : storm::transformer::MemoryIncorporation< SparseModelType >
• incorporateGoalMemory() : storm::transformer::MemoryIncorporation< SparseModelType >
• increase() : storm::storage::ConsecutiveUint64DynamicPriorityQueue< Compare >
• increaseAutomatonMultiplicity() : storm::jani::CompositionInformation
• increaseScope() : storm::adapters::Smt2ExpressionAdapter
• increment() : storm::storage::BitVector
• incrementGraphBasedWinningObservations() : storm::pomdp::IterativePolicySearch< ValueType >::Statistics
• incrementMarker1() : storm::storage::bisimulation::DeterministicBlockData
• incrementMarker2() : storm::storage::bisimulation::DeterministicBlockData
• incrementOuterIterations() : storm::pomdp::IterativePolicySearch< ValueType >::Statistics
• incrementSmtChecks() : storm::pomdp::IterativePolicySearch< ValueType >::Statistics
• incrementSubset() : storm::storage::geometry::SubsetEnumerator< DataType >
• independentSubDft() : storm::dft::storage::elements::DFTChildren< ValueType >, storm::dft::storage::elements::DFTElement< ValueType >, storm::dft::storage::elements::DFTSpare< ValueType >
• independentUnit() : storm::dft::storage::elements::DFTChildren< ValueType >, storm::dft::storage::elements::DFTDependency< ValueType >, storm::dft::storage::elements::DFTElement< ValueType >
• infiniteHorizonWeightedPhase() : storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >
• infinity() : storm::modelchecker::helper::rewardbounded::CostLimit
• info() : storm::logic::Formula
• InformationObject() : storm::jani::InformationObject
• infos() : storm::utility::resources::SignalInformation
• ingoingDependencies() : storm::dft::storage::elements::DFTBE< ValueType >
• InheritedInformation() : storm::logic::InheritedInformation
• initFractions() : storm::modelchecker::RegionCheckResult< ValueType >
• InitialConstruct() : storm::prism::InitialConstruct
• initialize() : storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >, storm::solver::GurobiEnvironment, storm::storage::BisimulationDecomposition< ModelType, BlockDataType >, storm::storage::NondeterministicModelBisimulationDecomposition< ModelType >, storm::storage::SccDecompositionMemoryCache, storm::storage::SccDecompositionResult
• initializeAbstractionRefinement() : storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >, storm::gbar::modelchecker::BisimulationAbstractionRefinementModelChecker< ModelType >
• initializeBoundsForNextAction() : storm::modelchecker::exploration_detail::Bounds< StateType, ValueType >
• initializeBoundsForNextState() : storm::modelchecker::exploration_detail::Bounds< StateType, ValueType >
• initializeCheckingOnSamples() : storm::analysis::AssumptionChecker< ValueType, ConstantType >, storm::analysis::AssumptionMaker< ValueType, ConstantType >
• initializeLabelBasedPartition() : storm::storage::BisimulationDecomposition< ModelType, BlockDataType >, storm::storage::DeterministicModelBisimulationDecomposition< ModelType >
• initializeMeasureDrivenPartition() : storm::storage::BisimulationDecomposition< ModelType, BlockDataType >, storm::storage::DeterministicModelBisimulationDecomposition< ModelType >
• initializeMinMaxValues() : storm::analysis::OrderExtender< ValueType, ConstantType >
• initializeModelTypeSpecificData() : storm::modelchecker::multiobjective::StandardMaPcaaWeightVectorChecker< SparseMaModelType >, storm::modelchecker::multiobjective::StandardMdpPcaaWeightVectorChecker< SparseMdpModelType >, storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >
• initializeObservationValuationsBuilder() : storm::generator::NextStateGenerator< ValueType, StateType >
• initializeSpecialStates() : storm::generator::NextStateGenerator< ValueType, StateType >
• initializeStateValuationsBuilder() : storm::generator::JaniNextStateGenerator< ValueType, StateType >, storm::generator::NextStateGenerator< ValueType, StateType >
• initLinEqSolver() : storm::modelchecker::multiobjective::StandardMaPcaaWeightVectorChecker< SparseMaModelType >
• insert() : storm::dft::utility::RelevantEvents, storm::modelchecker::helper::rewardbounded::CostLimitClosure, storm::storage::geometry::HyperplaneCollector< ValueType >, storm::storage::StateBlock
• insertEdge() : storm::jani::EdgeContainer
• insertNamesFromProperties() : storm::dft::utility::RelevantEvents
• insertTemplateEdge() : storm::jani::EdgeContainer
• InstantaneousRewardFormula() : storm::logic::InstantaneousRewardFormula
• instantiate() : storm::dft::transformations::DftInstantiator< ParametricType, ConstantType >, storm::utility::ModelInstantiator< ParametricSparseModelType, ConstantSparseModelType >
• integer() : storm::expressions::ExpressionManager
• IntegerInterval() : storm::storage::IntegerInterval
• IntegerLiteralExpression() : storm::expressions::IntegerLiteralExpression
• IntegerVariable() : storm::prism::IntegerVariable
• IntegerVariableInformation() : storm::generator::IntegerVariableInformation
• InterleavingParallelComposition() : storm::prism::InterleavingParallelComposition
• InternalAdd() : storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >
• InternalBdd() : storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >
• InternalDdManager() : storm::dd::InternalDdManager< DdType::CUDD >, storm::dd::InternalDdManager< DdType::Sylvan >
• internalRefine() : storm::dd::bisimulation::PartitionRefiner< DdType, ValueType >
• InternalRepresentativeComputer() : storm::dd::bisimulation::InternalRepresentativeComputer< storm::dd::DdType::CUDD >, storm::dd::bisimulation::InternalRepresentativeComputer< storm::dd::DdType::Sylvan >
• InternalRepresentativeComputerBase() : storm::dd::bisimulation::InternalRepresentativeComputerBase< DdType >
• InternalSignatureRefiner() : storm::dd::bisimulation::InternalSignatureRefiner< storm::dd::DdType::CUDD, ValueType >, storm::dd::bisimulation::InternalSignatureRefiner< storm::dd::DdType::Sylvan, ValueType >
• InternalSignatureRefinerOptions() : storm::dd::bisimulation::InternalSignatureRefinerOptions
• internalSolveEquations() : storm::solver::AcyclicLinearEquationSolver< ValueType >, storm::solver::AcyclicMinMaxLinearEquationSolver< ValueType >, storm::solver::EigenLinearEquationSolver< ValueType >, storm::solver::EliminationLinearEquationSolver< ValueType >, storm::solver::GmmxxLinearEquationSolver< ValueType >, storm::solver::IterativeMinMaxLinearEquationSolver< ValueType, SolutionType >, storm::solver::LinearEquationSolver< ValueType >, storm::solver::LpMinMaxLinearEquationSolver< ValueType >, storm::solver::MinMaxLinearEquationSolver< ValueType, SolutionType >, storm::solver::NativeLinearEquationSolver< ValueType >, storm::solver::TopologicalLinearEquationSolver< ValueType >, storm::solver::TopologicalMinMaxLinearEquationSolver< ValueType, SolutionType >
• InternalSparseQuotientExtractor() : storm::dd::bisimulation::InternalSparseQuotientExtractor< storm::dd::DdType::CUDD, ValueType >, storm::dd::bisimulation::InternalSparseQuotientExtractor< storm::dd::DdType::Sylvan, ValueType, ExportValueType >
• InternalSparseQuotientExtractorBase() : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >
• InternalSylvanSignatureRefinerBase() : storm::dd::bisimulation::InternalSylvanSignatureRefinerBase
• intersection() : storm::storage::geometry::NativePolytope< ValueType >, storm::storage::geometry::Polytope< ValueType >
• IntervalIterationHelper() : storm::solver::helper::IntervalIterationHelper< ValueType, TrivialRowGrouping >
• inverseRelationalProduct() : storm::dd::Bdd< LibraryType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >
• inverseRelationalProductWithExtendedRelation() : storm::dd::Bdd< LibraryType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >
• invert() : storm::storage::geometry::Halfspace< ValueType >
• invertDiagonal() : storm::storage::SparseMatrix< ValueType >
• IOSettings() : storm::settings::modules::IOSettings
• isAbsolutePrecisionSet() : storm::settings::modules::FeasibilitySettings
• isAccepting() : storm::automata::AcceptanceCondition
• isActive() : storm::dft::storage::DFTState< ValueType >
• isAddAllGuardsSet() : storm::settings::modules::AbstractionSettings
• isAddAllInitialExpressionsSet() : storm::settings::modules::AbstractionSettings
• isAdditionalChecksSet() : storm::settings::modules::DebugSettings
• isAddJaniPropertiesSet() : storm::settings::modules::GSPNExportSettings
• isAddLabelsClaiming() : storm::dft::settings::modules::FaultTreeSettings
• isAddOutOfBoundsStateSet() : storm::builder::BuilderOptions
• isAddOverlappingGuardLabelSet() : storm::builder::BuilderOptions
• isAddOverlappingGuardsLabelSet() : storm::settings::modules::BuildSettings
• isAllMonotonicity() : storm::analysis::MonotonicityResult< VariableType >
• isAllowDCForRelevantEvents() : storm::dft::settings::modules::FaultTreeSettings
• isAllowEdgeAssignmentsSet() : storm::settings::modules::JaniExportSettings
• isAllZero() : storm::models::sparse::StandardRewardModel< CValueType >
• isAnalyzeUniqueObservationsSet() : storm::settings::modules::POMDPSettings
• isAnalyzeWithBdds() : storm::dft::settings::modules::DftIOSettings
• isAnd() : storm::logic::BinaryBooleanPathFormula, storm::logic::BinaryBooleanStateFormula
• isApplyMaximalProgressAssumptionSet() : storm::builder::BuilderOptions
• isApplyNoMaximumProgressAssumptionSet() : storm::settings::modules::BuildSettings
• isApproximationErrorSet() : storm::dft::settings::modules::FaultTreeSettings
• isArray() : storm::jani::LValue
• isArrayAccess() : storm::jani::LValue
• isArrayOutOfBounds() : storm::jani::detail::ArrayExpressionEliminationVisitor::ResultType
• isArrayType() : storm::expressions::ArrayType, storm::expressions::BaseType, storm::expressions::Type, storm::jani::ArrayType, storm::jani::JaniType
• isAtomicExpressionFormula() : storm::logic::AtomicExpressionFormula, storm::logic::Formula
• isAtomicLabelFormula() : storm::logic::AtomicLabelFormula, storm::logic::Formula
• isAutoEncodingSet() : storm::settings::modules::MultiObjectiveSettings
• isAutomatonComposition() : storm::jani::AutomatonComposition, storm::jani::Composition
• isBasicElement() : storm::dft::storage::DFT< ValueType >, storm::dft::storage::elements::DFTBE< ValueType >, storm::dft::storage::elements::DFTElement< ValueType >
• isBasicType() : storm::jani::BasicType, storm::jani::JaniType
• isBeliefExplorationDiscretizeSet() : storm::settings::modules::POMDPSettings
• isBeliefExplorationSet() : storm::settings::modules::POMDPSettings
• isBeliefExplorationUnfoldSet() : storm::settings::modules::POMDPSettings
• isBigMConstraintsSet() : storm::settings::modules::MultiObjectiveSettings
• isBinaryBooleanFunctionExpression() : storm::expressions::BaseExpression, storm::expressions::BinaryBooleanFunctionExpression
• isBinaryBooleanPathFormula() : storm::logic::BinaryBooleanPathFormula, storm::logic::Formula
• isBinaryBooleanStateFormula() : storm::logic::BinaryBooleanStateFormula, storm::logic::Formula
• isBinaryNumericalFunctionExpression() : storm::expressions::BaseExpression, storm::expressions::BinaryNumericalFunctionExpression
• isBinaryPathFormula() : storm::logic::BinaryPathFormula, storm::logic::Formula
• isBinaryRelationExpression() : storm::expressions::BaseExpression, storm::expressions::BinaryRelationExpression
• isBinaryStateFormula() : storm::logic::BinaryStateFormula, storm::logic::Formula
• isBisimulationSet() : storm::settings::modules::GeneralSettings
• isBitVectorType() : storm::expressions::BaseType, storm::expressions::BitVectorType, storm::expressions::Type
• isBoolean() : storm::storage::sparse::StateValuations::StateValueIterator
• isBooleanConstant() : storm::jani::Constant
• isBooleanLiteralExpression() : storm::expressions::BaseExpression, storm::expressions::BooleanLiteralExpression
• isBooleanLiteralFormula() : storm::logic::BooleanLiteralFormula, storm::logic::Formula
• isBooleanType() : storm::expressions::BaseType, storm::expressions::BooleanType, storm::expressions::Type, storm::jani::BasicType
• IsBoolValue() : storm::dft::modelchecker::IsBoolValue
• isBottomDimension() : storm::modelchecker::helper::rewardbounded::EpochManager
• isBottomDimensionEpochClass() : storm::modelchecker::helper::rewardbounded::EpochManager
• isBottomEpoch() : storm::modelchecker::helper::rewardbounded::EpochManager
• isBottomState() : storm::analysis::Order
• isBounded() : storm::solver::SolveGoal< ValueType, SolutionType >
• isBoundedType() : storm::jani::BoundedType, storm::jani::JaniType
• isBoundedUntilFormula() : storm::logic::BoundedUntilFormula, storm::logic::Formula
• isBoundSet() : storm::modelchecker::CheckTask< FormulaType, ValueType >, storm::pars::FeasibilitySynthesisTask
• isBoundStrict() : storm::logic::CumulativeRewardFormula
• isBsccDetectionViaFlowConstraintsSet() : storm::settings::modules::MultiObjectiveSettings
• isBsccDetectionViaOrderConstraintsSet() : storm::settings::modules::MultiObjectiveSettings
• isBuildAllLabelsSet() : storm::builder::BuilderOptions, storm::builder::DdJaniModelBuilder< Type, ValueType >::Options, storm::settings::modules::BuildSettings
• isBuildAllRewardModelsSet() : storm::builder::BuilderOptions, storm::builder::DdJaniModelBuilder< Type, ValueType >::Options
• isBuildChoiceLabels() : storm::builder::StateAndChoiceInformationBuilder
• isBuildChoiceLabelsSet() : storm::builder::BuilderOptions, storm::settings::modules::BuildSettings
• isBuildChoiceOrigins() : storm::builder::StateAndChoiceInformationBuilder
• isBuildChoiceOriginsSet() : storm::builder::BuilderOptions, storm::settings::modules::BuildSettings
• isBuildFullModelSet() : storm::settings::modules::BuildSettings
• isBuildMarkovianStates() : storm::builder::StateAndChoiceInformationBuilder
• isBuildObservationValuationsSet() : storm::builder::BuilderOptions, storm::settings::modules::BuildSettings
• isBuildOutOfBoundsStateSet() : storm::settings::modules::BuildSettings
• isBuildStatePlayerIndications() : storm::builder::StateAndChoiceInformationBuilder
• isBuildStateValuations() : storm::builder::StateAndChoiceInformationBuilder
• isBuildStateValuationsSet() : storm::builder::BuilderOptions, storm::settings::modules::BuildSettings
• isCachingEnabled() : storm::solver::GameSolver< ValueType >, storm::solver::LinearEquationSolver< ValueType >, storm::solver::MinMaxLinearEquationSolver< ValueType, SolutionType >
• isCanonic() : storm::models::sparse::Pomdp< ValueType, RewardModelType >
• isCapacitiesFileSet() : storm::settings::modules::GSPNSettings
• isCapacitySet() : storm::settings::modules::GSPNSettings
• isChainEliminationSet() : storm::settings::modules::TransformationSettings
• isCheckFullyObservableSet() : storm::settings::modules::POMDPSettings
• isChoiceLabeling() : storm::models::sparse::ChoiceLabeling, storm::models::sparse::ItemLabeling
• isChoiceLabelingSet() : storm::settings::modules::IOSettings
• isChoiceSelected() : storm::storage::Scheduler< ValueType >
• isChunksizeSet() : storm::dft::settings::modules::FaultTreeSettings
• isClassicEncodingSet() : storm::settings::modules::MultiObjectiveSettings
• isClockType() : storm::jani::ClockType, storm::jani::JaniType
• isClosed() : storm::models::sparse::MarkovAutomaton< ValueType, RewardModelType >, storm::models::symbolic::MarkovAutomaton< Type, ValueType >
• isColdBasicElement() : storm::dft::storage::elements::BEExponential< ValueType >
• isCompactJsonSet() : storm::settings::modules::JaniExportSettings
• isCompatible() : storm::models::sparse::StandardRewardModel< CValueType >
• isCompatibleWith() : storm::settings::Argument< T >, storm::settings::Option
• isComputeExpectedVisitingTimesSet() : storm::settings::modules::IOSettings
• isComputeMaximalValue() : storm::dft::settings::modules::DftIOSettings
• isComputeMinimalValue() : storm::dft::settings::modules::DftIOSettings
• isComputeOnBeliefSupportSet() : storm::settings::modules::QualitativePOMDPAnalysisSettings
• isComputeSteadyStateDistributionSet() : storm::settings::modules::IOSettings
• isConditionalProbabilityFormula() : storm::logic::ConditionalFormula, storm::logic::Formula
• isConditionalRewardFormula() : storm::logic::ConditionalFormula, storm::logic::Formula
• isConditionState() : storm::modelchecker::exploration_detail::StateGeneration< StateType, ValueType >
• isConfigSet() : storm::settings::modules::ConversionGeneralSettings, storm::settings::modules::GeneralSettings
• isConflictingDependency() : storm::dft::storage::FailableElements::const_iterator
• isConstant() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::utility::ConstantsComparator< ValueType, Enable >, storm::utility::ConstantsComparator< ValueType, ConstantsComparatorEnablePrecision< ValueType > >
• isConstantsSet() : storm::settings::modules::ConversionInputSettings, storm::settings::modules::GSPNSettings, storm::settings::modules::IOSettings
• IsConstantValue() : storm::dft::modelchecker::IsConstantValue
• isConstraintsSet() : storm::settings::modules::AbstractionSettings
• isContinuousTime() : storm::modelchecker::helper::HybridInfiniteHorizonHelper< ValueType, DdType, Nondeterministic >, storm::modelchecker::helper::SparseInfiniteHorizonHelper< ValueType, Nondeterministic >
• isContinuousType() : storm::jani::ContinuousType, storm::jani::JaniType
• isConvergenceCriterionSet() : storm::settings::modules::GameSolverSettings, storm::settings::modules::MinMaxEquationSolverSettings, storm::settings::modules::NativeEquationSolverSettings
• isConvertibleToCtmc() : storm::models::sparse::MarkovAutomaton< ValueType, RewardModelType >
• isCounterexampleSet() : storm::settings::modules::CounterexampleGeneratorSettings
• isCounterexampleTypeSet() : storm::settings::modules::CounterexampleGeneratorSettings
• isCritical() : storm::solver::SolverRequirement
• isCumulativeRewardFormula() : storm::logic::CumulativeRewardFormula, storm::logic::Formula
• isCutZeroGapSet() : storm::settings::modules::BeliefExplorationSettings
• isDdLibraryTypeSetFromDefaultValue() : storm::settings::modules::CoreSettings
• isDebugOutputSet() : storm::settings::modules::ConversionGeneralSettings
• isDebugSet() : storm::settings::modules::AbstractionSettings, storm::settings::modules::DebugSettings
• isDefault() : storm::jani::FilterExpression
• isDefined() : storm::jani::Constant, storm::prism::Constant, storm::storage::SchedulerChoice< ValueType >
• isDependency() : storm::dft::storage::DFT< ValueType >, storm::dft::storage::elements::DFTDependency< ValueType >, storm::dft::storage::elements::DFTElement< ValueType >
• isDependencyInConflict() : storm::dft::storage::DFT< ValueType >
• isDepthLimitSet() : storm::settings::modules::PartitionSettings
• isDeterministic() : storm::storage::SchedulerChoice< ValueType >, storm::storage::SchedulerClass
• isDeterministicModel() : storm::dft::generator::DftNextStateGenerator< ValueType, StateType >, storm::generator::JaniNextStateGenerator< ValueType, StateType >, storm::generator::NextStateGenerator< ValueType, StateType >, storm::generator::PrismNextStateGenerator< ValueType, StateType >, storm::jani::Model, storm::prism::Program
• isDeterministicScheduler() : storm::storage::Scheduler< ValueType >
• isDetLraMethodSetFromDefault() : storm::LongRunAverageSolverEnvironment
• isDetLraMethodSetFromDefaultValue() : storm::settings::modules::LongRunAverageSolverSettings
• isDftFileSet() : storm::dft::settings::modules::DftIOSettings
• isDftJsonFileSet() : storm::dft::settings::modules::DftIOSettings
• isDftValidForMarkovianAnalysis() : storm::dft::utility::DftValidator< ValueType >
• isDftWellFormed() : storm::dft::utility::DftValidator< ValueType >
• isDifferentFromUnfilteredModel() : storm::utility::FilteredRewardModel< RewardModelType >
• isDisableDC() : storm::dft::settings::modules::FaultTreeSettings
• isDisableSmartTransformation() : storm::dft::settings::modules::DftGspnSettings
• isDiscreteTimeModel() : storm::generator::JaniNextStateGenerator< ValueType, StateType >, storm::generator::NextStateGenerator< ValueType, StateType >, storm::generator::PrismNextStateGenerator< ValueType, StateType >, storm::jani::Model, storm::models::ModelBase, storm::prism::Program
• isDisjointFrom() : storm::storage::BitVector
• isDisplayStatsSet() : storm::settings::modules::GSPNExportSettings
• isDone() : storm::analysis::LocalMonotonicityResult< VariableType >, storm::analysis::MonotonicityResult< VariableType >
• isDoneForVar() : storm::analysis::MonotonicityResult< VariableType >
• isDontCare() : storm::storage::Scheduler< ValueType >
• isDontFixDeadlocksSet() : storm::settings::modules::BuildSettings
• isDotOutputSet() : storm::settings::modules::MonotonicitySettings
• isDynamicReorderingAllowed() : storm::dd::DdManager< LibraryType >, storm::dd::InternalDdManager< DdType::CUDD >, storm::dd::InternalDdManager< DdType::Sylvan >
• isDynamicTriangulationModeSet() : storm::settings::modules::BeliefExplorationSettings
• isEliminable() : storm::jani::JaniLocalEliminator::Session
• isEliminateArraysSet() : storm::settings::modules::JaniExportSettings
• isEliminateEntryStatesLastSet() : storm::settings::modules::EliminationSettings
• isEliminateFunctionsSet() : storm::settings::modules::JaniExportSettings
• isEmpty() : storm::logic::RewardAccumulation, storm::modelchecker::ExplicitModelCheckerHint< ValueType >, storm::modelchecker::ModelCheckerHint, storm::storage::geometry::NativePolytope< ValueType >, storm::storage::geometry::Polytope< ValueType >, storm::storage::geometry::PolytopeTree< ValueType >, storm::storage::sparse::StateValuations
• isEnabled() : storm::gspn::Transition
• isEncodeReachabilitySet() : storm::settings::modules::CounterexampleGeneratorSettings
• IsEqual() : storm::dft::modelchecker::IsEqual
• isEqual() : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >, storm::utility::ConstantsComparator< ValueType, Enable >, storm::utility::ConstantsComparator< ValueType, ConstantsComparatorEnablePrecision< ValueType > >
• isEquationSolverSet() : storm::settings::modules::CoreSettings
• isEquationSolverSetFromDefaultValue() : storm::settings::modules::CoreSettings
• isErrorType() : storm::expressions::BaseType, storm::expressions::ErrorType
• isEventDisabledViaRestriction() : storm::dft::storage::DFTState< ValueType >
• isEventRelevantInRestriction() : storm::dft::storage::DFTState< ValueType >
• isEventuallyFormula() : storm::logic::EventuallyFormula, storm::logic::Formula
• isExact() : storm::models::ModelBase, storm::models::sparse::Model< CValueType, CRewardModelType >
• isExactFinitePrecisionSet() : storm::settings::modules::GeneralSettings
• isExactSet() : storm::settings::modules::GeneralSettings
• isExitSet() : storm::logic::RewardAccumulation
• isExpand() : storm::dft::builder::DFTExplorationHeuristic< ValueType >
• isExplicit() : storm::gbar::abstraction::ExplicitQualitativeResultMinMax, storm::gbar::abstraction::QualitativeResult, storm::gbar::abstraction::QualitativeResultMinMax, storm::modelchecker::CheckResult, storm::modelchecker::ExplicitParetoCurveCheckResult< ValueType >, storm::modelchecker::ExplicitQualitativeCheckResult, storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >, storm::modelchecker::LexicographicCheckResult< ValueType >
• isExplicitDRNSet() : storm::settings::modules::IOSettings
• isExplicitExportPlaceholdersDisabled() : storm::settings::modules::IOSettings
• isExplicitIMCASet() : storm::settings::modules::IOSettings
• isExplicitModelCheckerHint() : storm::modelchecker::ExplicitModelCheckerHint< ValueType >, storm::modelchecker::ModelCheckerHint
• isExplicitParetoCurveCheckResult() : storm::modelchecker::CheckResult, storm::modelchecker::ExplicitParetoCurveCheckResult< ValueType >
• isExplicitQualitativeCheckResult() : storm::modelchecker::CheckResult, storm::modelchecker::ExplicitQualitativeCheckResult
• isExplicitQuantitativeCheckResult() : storm::modelchecker::CheckResult, storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
• isExplicitSet() : storm::settings::modules::IOSettings
• isExplorationChecksSet() : storm::builder::BuilderOptions, storm::settings::modules::BuildSettings
• isExplorationOrderSet() : storm::settings::modules::BuildSettings
• isExplorationStateLimitSet() : storm::settings::modules::BuildSettings
• isExploring() : storm::pomdp::modelchecker::BeliefExplorationPomdpModelChecker< PomdpModelType, BeliefValueType, BeliefMDPType >
• isExportBuildSet() : storm::settings::modules::IOSettings
• isExportCdfSet() : storm::settings::modules::IOSettings
• isExportCheckResultSet() : storm::settings::modules::IOSettings
• isExportDdSet() : storm::settings::modules::IOSettings
• isExportDotSet() : storm::settings::modules::IOSettings
• isExportExplicitSet() : storm::settings::modules::IOSettings
• isExportFlattenedSet() : storm::settings::modules::JaniExportSettings, storm::settings::modules::PrismExportSettings
• isExportJaniDotSet() : storm::settings::modules::IOSettings
• isExportMonotonicitySet() : storm::settings::modules::MonotonicitySettings
• isExportPlotSet() : storm::MultiObjectiveModelCheckerEnvironment, storm::settings::modules::MultiObjectiveSettings
• isExportSATCallsSet() : storm::settings::modules::QualitativePOMDPAnalysisSettings
• isExportSATSet() : storm::pomdp::MemlessSearchOptions
• isExportSchedulerSet() : storm::settings::modules::IOSettings
• isExportSmtLibScriptSet() : storm::settings::modules::Smt2SmtSolverSettings
• isExportToBddDot() : storm::dft::settings::modules::DftIOSettings
• isExportToJson() : storm::dft::settings::modules::DftIOSettings
• isExportToParametricSet() : storm::settings::modules::POMDPSettings, storm::settings::modules::ToParametricSettings
• isExportToSmt() : storm::dft::settings::modules::DftIOSettings
• isExportWinningRegionSet() : storm::settings::modules::QualitativePOMDPAnalysisSettings
• isExpression() : storm::builder::LabelOrExpression
• isExprtkCompiledExpression() : storm::expressions::CompiledExpression, storm::expressions::ExprtkCompiledExpression
• isExtendPriorities() : storm::dft::settings::modules::DftGspnSettings
• isExtendRelevantValues() : storm::settings::modules::TopologicalEquationSolverSettings, storm::TopologicalSolverEnvironment
• isFailsafe() : storm::dft::storage::DFT< ValueType >, storm::dft::storage::DFTState< ValueType >
• isFailureDueToDependency() : storm::dft::storage::FailableElements::const_iterator
• isFalse() : storm::expressions::BaseExpression, storm::expressions::BooleanLiteralExpression, storm::expressions::Expression
• isFalseFormula() : storm::logic::BooleanLiteralFormula, storm::logic::Formula
• isFDEP() : storm::dft::storage::elements::DFTDependency< ValueType >
• isFeasibleInstantiationSearchSet() : storm::settings::modules::DerivativeSettings
• isFilterPredecessor() : storm::solver::stateelimination::ConditionalStateEliminator< ValueType >, storm::solver::stateelimination::EliminatorBase< ValueType, Mode >
• isFilterRewZeroSet() : storm::settings::modules::ModelCheckerSettings
• isFixedParametersSet() : storm::analysis::LocalMonotonicityResult< VariableType >
• isFixPlayer1StrategySet() : storm::settings::modules::AbstractionSettings
• isFixPlayer2StrategySet() : storm::settings::modules::AbstractionSettings
• isFlowEncodingSet() : storm::settings::modules::MultiObjectiveSettings
• isForceBoundsSet() : storm::settings::modules::NativeEquationSolverSettings
• isForceExact() : storm::SolverEnvironment
• isForceIntervalIterationSymmetricUpdatesSet() : storm::settings::modules::NativeEquationSolverSettings
• isForceRequireUnique() : storm::MinMaxSolverEnvironment
• isForceSoundness() : storm::SolverEnvironment
• isForceUniqueSolutionRequirementSet() : storm::settings::modules::MinMaxEquationSolverSettings
• isFullArrayAccess() : storm::jani::LValue
• isFullyStatic() : storm::dft::storage::DftIndependentModule
• isFunctionApplication() : storm::expressions::BaseExpression, storm::expressions::BinaryExpression, storm::expressions::Expression, storm::expressions::IfThenElseExpression, storm::expressions::PredicateExpression, storm::expressions::UnaryExpression
• isGameFormula() : storm::logic::Formula, storm::logic::GameFormula
• isGameSolvingMethodSet() : storm::settings::modules::GameSolverSettings
• isGameSolvingMethodSetFromDefaultValue() : storm::settings::modules::GameSolverSettings
• isGate() : storm::dft::storage::DFT< ValueType >, storm::dft::storage::elements::DFTElement< ValueType >, storm::dft::storage::elements::DFTGate< ValueType >
• isGloballyFormula() : storm::logic::Formula, storm::logic::GloballyFormula
• isGlobalPrecomputationSet() : storm::settings::modules::ExplorationSettings
• isGlobalVarsSet() : storm::settings::modules::JaniExportSettings
• isGraphPreprocessingAllowed() : storm::settings::modules::QualitativePOMDPAnalysisSettings
• IsGreaterConstant() : storm::dft::modelchecker::IsGreaterConstant
• IsGreaterEqual() : storm::dft::modelchecker::IsGreaterEqual
• IsGreaterEqualConstant() : storm::dft::modelchecker::IsGreaterEqualConstant
• isGspnFileSet() : storm::settings::modules::GSPNSettings
• isHelpSet() : storm::settings::modules::ConversionGeneralSettings, storm::settings::modules::GeneralSettings
• isHOAPathFormula() : storm::logic::Formula, storm::logic::HOAPathFormula
• isHope() : storm::analysis::OrderExtender< ValueType, ConstantType >
• isHybrid() : storm::modelchecker::CheckResult, storm::modelchecker::HybridQuantitativeCheckResult< Type, ValueType >
• isHybridQuantitativeCheckResult() : storm::modelchecker::CheckResult, storm::modelchecker::HybridQuantitativeCheckResult< Type, ValueType >
• isHybridState() : storm::models::sparse::MarkovAutomaton< ValueType, RewardModelType >
• isIdentity() : storm::prism::Assignment
• isIdentityMatrix() : storm::storage::SparseMatrix< ValueType >
• isIfThenElseExpression() : storm::expressions::BaseExpression, storm::expressions::IfThenElseExpression
• isImportanceMeasureSet() : storm::dft::settings::modules::DftIOSettings
• isInclusive() : storm::dft::storage::elements::DFTPand< ValueType >, storm::dft::storage::elements::DFTPor< ValueType >
• isIndicatorConstraintsSet() : storm::settings::modules::MultiObjectiveSettings
• isInfeasible() : storm::solver::GlpkLpSolver, storm::solver::GurobiLpSolver< ValueType, RawMode >, storm::solver::LpSolver< ValueType, RawMode >, storm::solver::SoplexLpSolver< ValueType, RawMode >, storm::solver::Z3LpSolver< ValueType, RawMode >
• isInferObservationsFromActionsSet() : storm::builder::BuilderOptions
• isInfinity() : storm::modelchecker::helper::rewardbounded::CostLimit, storm::utility::ConstantsComparator< ValueType, ConstantsComparatorEnablePrecision< ValueType > >
• isInformationIndex() : storm::generator::ArrayVariableReplacementInformation
• isInFragment() : storm::logic::Formula
• isInitialFormula() : storm::logic::Formula
• isInitialized() : storm::expressions::Expression
• isInitialWinning() : storm::pomdp::qualitative::JaniBeliefSupportMdpGenerator< ValueType >
• isInjectRefinementPredicatesSet() : storm::settings::modules::AbstractionSettings
• isInputEnabled() : storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::ActionDd
• isInstantaneousRewardFormula() : storm::logic::Formula, storm::logic::InstantaneousRewardFormula
• isInteger() : storm::storage::sparse::StateValuations::StateValueIterator
• isIntegerConstant() : storm::jani::Constant
• isIntegerLiteralExpression() : storm::expressions::BaseExpression, storm::expressions::IntegerLiteralExpression
• isIntegerToleranceSet() : storm::settings::modules::GlpkSettings, storm::settings::modules::GurobiSettings
• isIntegerType() : storm::expressions::BaseType, storm::expressions::BitVectorType, storm::expressions::IntegerType, storm::expressions::Type, storm::jani::BasicType, storm::jani::BoundedType
• isInvalid() : storm::analysis::Order, storm::dft::storage::DFTState< ValueType >
• isInWinningRegion() : storm::pomdp::WinningRegionQueryInterface< ValueType >
• isJaniChoiceOrigins() : storm::storage::sparse::ChoiceOrigins, storm::storage::sparse::JaniChoiceOrigins
• isJaniHighLevelCounterexample() : storm::counterexamples::HighLevelCounterexample
• isJaniInputSet() : storm::settings::modules::ConversionInputSettings, storm::settings::modules::IOSettings
• isJaniModel() : storm::storage::SymbolicModelDescription
• isJaniOutputFilenameSet() : storm::settings::modules::ConversionOutputSettings
• isJaniOutputSet() : storm::settings::modules::ConversionOutputSettings
• isJaniPropertiesSet() : storm::settings::modules::ConversionInputSettings, storm::settings::modules::IOSettings
• isLabel() : storm::builder::LabelOrExpression
• isLabelAssignment() : storm::storage::sparse::StateValuations::StateValueIterator
• isLabeled() : storm::prism::Command, storm::prism::StateActionReward, storm::prism::TransitionReward
• IsLess() : storm::dft::modelchecker::IsLess
• isLess() : storm::utility::ConstantsComparator< ValueType, Enable >, storm::utility::ConstantsComparator< ValueType, ConstantsComparatorEnablePrecision< ValueType > >
• IsLessConstant() : storm::dft::modelchecker::IsLessConstant
• IsLessEqual() : storm::dft::modelchecker::IsLessEqual
• IsLessEqualConstant() : storm::dft::modelchecker::IsLessEqualConstant
• isLexicographicCheckResult() : storm::modelchecker::CheckResult, storm::modelchecker::LexicographicCheckResult< ValueType >
• isLexicographicModelCheckingSet() : storm::MultiObjectiveModelCheckerEnvironment, storm::settings::modules::MultiObjectiveSettings
• isLinear() : storm::expressions::Expression, storm::jani::Assignment, storm::jani::Automaton, storm::jani::EdgeContainer, storm::jani::Location, storm::jani::Model, storm::jani::TemplateEdge, storm::jani::TemplateEdgeDestination
• isLinearEquationSolverTypeSetFromDefaultValue() : storm::SolverEnvironment
• isLinearEquationSystemMethodSet() : storm::settings::modules::EigenEquationSolverSettings, storm::settings::modules::GmmxxEquationSolverSettings
• isLinearEquationSystemMethodSetFromDefault() : storm::settings::modules::EigenEquationSolverSettings
• isLinearEquationSystemTechniqueSet() : storm::settings::modules::NativeEquationSolverSettings
• isLinearEquationSystemTechniqueSetFromDefaultValue() : storm::settings::modules::NativeEquationSolverSettings
• isLinearToSimpleEnabled() : storm::settings::modules::ParametricSettings
• isLiteral() : storm::expressions::BaseExpression, storm::expressions::BooleanLiteralExpression, storm::expressions::Expression, storm::expressions::IntegerLiteralExpression, storm::expressions::RationalLiteralExpression, storm::expressions::TranscendentalNumberLiteralExpression
• isLocalPrecomputationSet() : storm::settings::modules::ExplorationSettings
• isLocalVarsSet() : storm::settings::modules::JaniExportSettings
• isLocationEliminationSet() : storm::settings::modules::BuildSettings, storm::settings::modules::JaniExportSettings
• isLocationVariablesSet() : storm::settings::modules::JaniExportSettings
• isLogfileSet() : storm::settings::modules::DebugSettings
• isLongRunAverageOperatorFormula() : storm::logic::Formula, storm::logic::LongRunAverageOperatorFormula
• isLongRunAverageRewardFormula() : storm::logic::Formula, storm::logic::LongRunAverageRewardFormula
• isLowerBound() : storm::logic::Bound
• isLowerBoundStrict() : storm::logic::BoundedUntilFormula
• isLpSolverSetFromDefaultValue() : storm::settings::modules::CoreSettings
• isLtl2daToolSet() : storm::ModelCheckerEnvironment, storm::settings::modules::ModelCheckerSettings
• isMaMethodSetFromDefault() : storm::TimeBoundedSolverEnvironment
• isMaMethodSetFromDefaultValue() : storm::settings::modules::TimeBoundedSolverSettings
• isMarkedAsGridBelief() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• isMarkovian() : storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::ActionIdentification, storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::ActionInstantiation, storm::generator::Choice< ValueType, StateType >, storm::prism::Command
• isMarkovianState() : storm::models::sparse::MarkovAutomaton< ValueType, RewardModelType >
• isMaxCountSet() : storm::utility::ProgressMeasurement
• isMaxDepthSet() : storm::dft::settings::modules::FaultTreeSettings
• isMaxGapRelative() : storm::pars::FeasibilitySynthesisTask
• isMaximalIterationCountSet() : 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
• IsMaximum() : storm::dft::modelchecker::IsMaximum
• isMaxStepsSet() : storm::MultiObjectiveModelCheckerEnvironment, storm::settings::modules::MultiObjectiveSettings
• isMaybeStateInEc() : storm::modelchecker::helper::SparseMdpEndComponentInformation< ValueType >
• isMecReductionSet() : storm::settings::modules::ToParametricSettings
• isMemlessSearchSet() : storm::settings::modules::QualitativePOMDPAnalysisSettings
• isMemoryBounded() : storm::storage::SchedulerClass
• isMemorylessScheduler() : storm::storage::Scheduler< ValueType >
• isMergeDCFailed() : storm::dft::settings::modules::DftGspnSettings
• isMethodSetFromDefault() : storm::EigenSolverEnvironment, storm::GameSolverEnvironment, storm::MinMaxSolverEnvironment, storm::NativeSolverEnvironment
• isMILPPresolverEnabled() : storm::settings::modules::GlpkSettings
• isMinimalCommandSetGenerationSet() : storm::settings::modules::CounterexampleGeneratorSettings
• isMinimalCutSets() : storm::dft::settings::modules::DftIOSettings
• IsMinimum() : storm::dft::modelchecker::IsMinimum
• isMinMaxEquationSolvingMethodSet() : storm::settings::modules::MinMaxEquationSolverSettings
• isMinMaxEquationSolvingMethodSetFromDefaultValue() : storm::settings::modules::MinMaxEquationSolverSettings
• isMonotone() : storm::analysis::MonotonicityResult< VariableType >
• isMonotoneParametersSet() : storm::settings::modules::MonotonicitySettings
• isMonSolutionSet() : storm::settings::modules::MonotonicitySettings
• isMultiDimensional() : storm::logic::BoundedUntilFormula, storm::logic::CumulativeRewardFormula, storm::logic::QuantileFormula
• isMultiObjectiveFormula() : storm::logic::Formula, storm::logic::MultiObjectiveFormula
• isMultiObjectiveFormulaAtTopLevelRequired() : storm::logic::FragmentSpecification
• isMultiplierTypeSetFromDefaultValue() : storm::settings::modules::MultiplierSettings
• isMutex() : storm::dft::storage::elements::DFTMutex< ValueType >, storm::dft::storage::elements::DFTRestriction< ValueType >
• isNativePolytope() : storm::storage::geometry::NativePolytope< ValueType >, storm::storage::geometry::Polytope< ValueType >
• isNeedsRestart() : storm::solver::SmtlibSmtSolver
• isNextFormula() : storm::logic::Formula, storm::logic::NextFormula
• isNoActionInput() : storm::jani::SynchronizationVector
• isNoBuildModelSet() : storm::settings::modules::BuildSettings
• isNoCanonicSet() : storm::settings::modules::POMDPSettings
• isNoMonotonicity() : storm::analysis::LocalMonotonicityResult< VariableType >
• isNondeterministicModel() : storm::models::ModelBase
• isNondetLraMethodSetFromDefault() : storm::LongRunAverageSolverEnvironment
• isNondetLraMethodSetFromDefaultValue() : storm::settings::modules::LongRunAverageSolverSettings
• isNonNestedExpectedRewardFormula() : storm::pomdp::analysis::FormulaInformation
• isNonNestedReachabilityProbability() : storm::pomdp::analysis::FormulaInformation
• isNonTrivialRewardModelExpression() : storm::jani::Model
• isNoSimplifySet() : storm::settings::modules::BuildSettings
• isNot() : storm::logic::UnaryBooleanPathFormula, storm::logic::UnaryBooleanStateFormula
• IsNotConstantValue() : storm::dft::modelchecker::IsNotConstantValue
• isNumberOfSampledPathsUntilPrecomputationSet() : storm::settings::modules::ExplorationSettings
• isNumberOfThreadsSet() : storm::settings::modules::GurobiSettings, storm::settings::modules::SylvanSettings
• isNumberStatesSet() : storm::settings::modules::HintSettings
• isNumericalType() : storm::expressions::Type, storm::jani::BasicType, storm::jani::BoundedType
• isNumericPrecisionSetFromDefault() : storm::settings::modules::BeliefExplorationSettings
• isObservable() : storm::prism::Variable
• isOfType() : storm::models::ModelBase
• isOne() : storm::dd::Add< LibraryType, ValueType >, storm::dd::Bdd< LibraryType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >, storm::utility::ConstantsComparator< ValueType, Enable >, storm::utility::ConstantsComparator< ValueType, ConstantsComparatorEnablePrecision< ValueType > >
• isOnlyBottomTopOrder() : storm::analysis::Order
• isOnlyDeterministicSet() : storm::settings::modules::QualitativePOMDPAnalysisSettings
• isOnlyGlobalSet() : storm::modelchecker::RegionModelChecker< ParametricType >
• isOnlyInitialStatesRelevantSet() : storm::modelchecker::CheckTask< FormulaType, ValueType >, storm::storage::MemoryStructure
• isOperational() : storm::dft::storage::DFTState< ValueType >
• isOperatorAtTopLevelRequired() : storm::logic::FragmentSpecification
• isOperatorFormula() : storm::logic::Formula, storm::logic::OperatorFormula
• isOptimal() : storm::solver::GlpkLpSolver, storm::solver::GurobiLpSolver< ValueType, RawMode >, storm::solver::LpSolver< ValueType, RawMode >, storm::solver::SoplexLpSolver< ValueType, RawMode >, storm::solver::Z3LpSolver< ValueType, RawMode >
• isOptimizationDirectionSet() : storm::modelchecker::CheckTask< FormulaType, ValueType >, storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, ModelRepresentation >, storm::storage::BisimulationDecomposition< ModelType, BlockDataType >::Options
• isOr() : storm::logic::BinaryBooleanPathFormula, storm::logic::BinaryBooleanStateFormula
• isOutputSet() : storm::settings::modules::GlpkSettings, storm::settings::modules::GurobiSettings
• isParallelComposition() : storm::jani::Composition, storm::jani::ParallelComposition
• isParameterDirectionSet() : storm::settings::modules::FeasibilitySettings
• isParametricSet() : storm::settings::modules::GeneralSettings
• isParetoCurveCheckResult() : storm::modelchecker::CheckResult, storm::modelchecker::ParetoCurveCheckResult< ValueType >
• isParetoOptimal() : storm::modelchecker::multiobjective::DeterministicSchedsParetoExplorer< SparseModelType, GeometryValueType >::Point
• isPartiallyObservable() : storm::generator::JaniNextStateGenerator< ValueType, StateType >, storm::generator::NextStateGenerator< ValueType, StateType >, storm::generator::PrismNextStateGenerator< ValueType, StateType >, storm::models::ModelBase, storm::models::sparse::Pomdp< ValueType, RewardModelType >, storm::prism::Program
• isPartialScheduler() : storm::storage::Scheduler< ValueType >
• isPartOfProp() : storm::jani::JaniLocalEliminator::Session
• isPathFormula() : storm::logic::Formula, storm::logic::PathFormula
• isPlayerCoalitionSet() : storm::modelchecker::CheckTask< FormulaType, ValueType >
• isPointOnBoundary() : storm::storage::geometry::Halfspace< ValueType >
• isPositional() : storm::storage::SchedulerClass
• isPossiblyInitial() : storm::jani::JaniLocalEliminator::Session
• isPrecisionSet() : storm::settings::modules::EigenEquationSolverSettings, storm::settings::modules::GameSolverSettings, storm::settings::modules::GeneralSettings, storm::settings::modules::GmmxxEquationSolverSettings, storm::settings::modules::LongRunAverageSolverSettings, storm::settings::modules::MinMaxEquationSolverSettings, storm::settings::modules::NativeEquationSolverSettings, storm::settings::modules::TimeBoundedSolverSettings
• isPreconditioningMethodSet() : storm::settings::modules::EigenEquationSolverSettings, storm::settings::modules::GmmxxEquationSolverSettings
• isPredecessorEpochClass() : storm::modelchecker::helper::rewardbounded::EpochManager
• isPredicateExpression() : storm::expressions::BaseExpression, storm::expressions::PredicateExpression
• isPrintFullResultSet() : storm::settings::modules::PartitionSettings
• isPrintJsonSet() : storm::settings::modules::DerivativeSettings
• isPrintNoIllustrationSet() : storm::settings::modules::PartitionSettings
• isPrintResultsSet() : storm::MultiObjectiveModelCheckerEnvironment, storm::settings::modules::MultiObjectiveSettings
• isPrintTimeAndMemorySet() : storm::settings::modules::ResourceSettings
• isPrintWinningRegionSet() : storm::settings::modules::QualitativePOMDPAnalysisSettings
• isPrismChoiceOrigins() : storm::storage::sparse::ChoiceOrigins, storm::storage::sparse::PrismChoiceOrigins
• isPrismCompatibilityEnabled() : storm::settings::modules::BuildSettings, storm::settings::modules::ConversionInputSettings
• isPrismHighLevelCounterexample() : storm::counterexamples::HighLevelCounterexample
• isPrismInputSet() : storm::settings::modules::ConversionInputSettings, storm::settings::modules::IOSettings
• isPrismOrJaniInputSet() : storm::settings::modules::IOSettings
• isPrismOutputFilenameSet() : storm::settings::modules::ConversionOutputSettings
• isPrismOutputSet() : storm::settings::modules::ConversionOutputSettings
• isPrismProgram() : storm::storage::SymbolicModelDescription
• isPrismToJaniSet() : storm::settings::modules::IOSettings
• isProbabilistic() : storm::storage::SparseMatrix< ValueType >
• isProbabilisticState() : storm::models::sparse::MarkovAutomaton< ValueType, RewardModelType >
• isProbabilityOperatorFormula() : storm::logic::Formula, storm::logic::ProbabilityOperatorFormula
• isProbabilityPathFormula() : storm::logic::BinaryBooleanPathFormula, storm::logic::BoundedUntilFormula, storm::logic::EventuallyFormula, storm::logic::Formula, storm::logic::GloballyFormula, storm::logic::HOAPathFormula, storm::logic::NextFormula, storm::logic::StateFormula, storm::logic::UnaryBooleanPathFormula, storm::logic::UntilFormula
• isProduceSchedulerSet() : storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, ModelRepresentation >
• isProduceSchedulersSet() : storm::modelchecker::CheckTask< FormulaType, ValueType >
• isPropertiesAsMultiSet() : storm::settings::modules::IOSettings
• isPropertyInputSet() : storm::settings::modules::ConversionInputSettings
• isPropertySet() : storm::settings::modules::IOSettings
• isPseudoState() : storm::dft::storage::DFTState< ValueType >
• isQualitative() : storm::modelchecker::CheckResult, storm::modelchecker::QualitativeCheckResult
• isQualitativeAnalysisSet() : storm::settings::modules::POMDPSettings
• isQualitativeReductionSet() : storm::settings::modules::POMDPSettings, storm::settings::modules::ToParametricSettings
• isQualitativeSet() : storm::modelchecker::CheckTask< FormulaType, ValueType >, storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, ModelRepresentation >
• isQuantileFormula() : storm::logic::Formula, storm::logic::QuantileFormula
• isQuantileFormulaAtTopLevelRequired() : storm::logic::FragmentSpecification
• isQuantitative() : storm::modelchecker::CheckResult, storm::modelchecker::QuantitativeCheckResult< ValueType >
• isQuotientFormatSetFromDefaultValue() : storm::settings::modules::BisimulationSettings
• isQvbsInputSet() : storm::settings::modules::IOSettings
• isRankRefinementPredicatesSet() : storm::settings::modules::AbstractionSettings
• isRational() : storm::storage::sparse::StateValuations::StateValueIterator
• isRationalLiteralExpression() : storm::expressions::BaseExpression, storm::expressions::RationalLiteralExpression
• isRationalType() : storm::expressions::BaseType, storm::expressions::RationalType, storm::expressions::Type
• isReachabilityProbabilityFormula() : storm::logic::EventuallyFormula, storm::logic::Formula
• isReachabilityRewardFormula() : storm::logic::EventuallyFormula, storm::logic::Formula
• isReachabilityTimeFormula() : storm::logic::EventuallyFormula, storm::logic::Formula
• isRealConstant() : storm::jani::Constant
• isRealType() : storm::jani::BasicType, storm::jani::BoundedType
• isRedundantBsccConstraintsSet() : storm::settings::modules::MultiObjectiveSettings
• isRefineSet() : storm::settings::modules::BeliefExplorationSettings
• isRegionBoundSet() : storm::settings::modules::RegionSettings
• isRegionCheckResult() : storm::modelchecker::RegionCheckResult< ValueType >
• isRegionRefinementCheckResult() : storm::modelchecker::RegionCheckResult< ValueType >, storm::modelchecker::RegionRefinementCheckResult< ValueType >
• isRegionSet() : storm::pars::FeasibilitySynthesisTask, storm::settings::modules::RegionSettings
• isRegionSplitEstimateSupported() : storm::modelchecker::RegionModelChecker< ParametricType >, storm::modelchecker::SparseDtmcParameterLiftingModelChecker< SparseModelType, ConstantType >
• isRelationalExpression() : storm::expressions::Expression
• isRelativePrecision() : storm::settings::modules::LongRunAverageSolverSettings, storm::settings::modules::TimeBoundedSolverSettings
• isRelevant() : storm::dft::storage::elements::DFTElement< ValueType >, storm::dft::utility::RelevantEvents
• isRelevantDimension() : storm::modelchecker::helper::rewardbounded::MemoryStateManager
• isRenamedFromModule() : storm::prism::Module
• isReorderingEnabled() : storm::settings::modules::CuddSettings
• isReplaceUnassignedVariablesWithConstantsSet() : storm::settings::modules::JaniExportSettings
• isRepresentative() : storm::dft::storage::DFT< ValueType >
• isRequirementsCheckedSet() : storm::solver::MinMaxLinearEquationSolver< ValueType, SolutionType >, storm::solver::MinMaxLinearEquationSolverFactory< ValueType, SolutionType >, storm::solver::SymbolicMinMaxLinearEquationSolver< DdType, ValueType >
• isRestartIterationCountSet() : storm::settings::modules::EigenEquationSolverSettings, storm::settings::modules::GmmxxEquationSolverSettings
• isRestriction() : storm::dft::storage::DFT< ValueType >, storm::dft::storage::elements::DFTElement< ValueType >, storm::dft::storage::elements::DFTRestriction< ValueType >
• isRestrictToRelevantStatesSet() : storm::gbar::abstraction::MenuGameAbstractor< DdType, ValueType >, storm::settings::modules::AbstractionSettings
• isResultForAllStates() : storm::modelchecker::CheckResult, storm::modelchecker::ExplicitQualitativeCheckResult, storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >, storm::modelchecker::HybridQuantitativeCheckResult< Type, ValueType >, storm::modelchecker::SymbolicQualitativeCheckResult< Type >, storm::modelchecker::SymbolicQuantitativeCheckResult< Type, ValueType >
• isResultReady() : storm::pomdp::modelchecker::BeliefExplorationPomdpModelChecker< PomdpModelType, BeliefValueType, BeliefMDPType >
• isReused() : storm::dd::bisimulation::ReuseWrapper
• isRewardAccumulationAllowed() : storm::logic::FragmentSpecification
• isRewardBound() : storm::logic::TimeBoundReference
• isRewardModelSet() : storm::modelchecker::CheckTask< FormulaType, ValueType >
• isRewardOperatorFormula() : storm::logic::Formula, storm::logic::RewardOperatorFormula
• isRewardPathFormula() : storm::logic::CumulativeRewardFormula, storm::logic::EventuallyFormula, storm::logic::Formula, storm::logic::InstantaneousRewardFormula, storm::logic::LongRunAverageRewardFormula, storm::logic::TotalRewardFormula
• isRobust() : storm::solver::SolveGoal< ValueType, SolutionType >
• isSampleExactSet() : storm::settings::modules::SamplingSettings
• isSamplesAreGraphPreservingSet() : storm::settings::modules::SamplingSettings
• isSatisfied() : storm::logic::Bound
• isScaleAndLiftTransitionRewardsSet() : storm::builder::BuilderOptions
• isSccEliminationSet() : storm::settings::modules::MonotonicitySettings
• isSchedulerRestrictionSet() : storm::MultiObjectiveModelCheckerEnvironment
• isSelfloopReductionSet() : storm::settings::modules::POMDPSettings
• isSeqEnforcer() : storm::dft::storage::elements::DFTRestriction< ValueType >, storm::dft::storage::elements::DFTSeq< ValueType >
• isSet() : storm::settings::modules::ModuleSettings
• isShortestPathGenerationSet() : storm::settings::modules::CounterexampleGeneratorSettings
• isShowDftStatisticsSet() : storm::dft::settings::modules::DftIOSettings
• isShowProgressSet() : storm::builder::BuilderOptions, storm::settings::modules::GeneralSettings, storm::solver::AbstractEquationSolver< ValueType >
• isShowStatisticsSet() : storm::settings::modules::CoreSettings
• isSimilar() : storm::utility::string::SimilarStrings
• isSimplifyCompositionSet() : storm::settings::modules::JaniExportSettings
• isSimplifySet() : storm::settings::modules::PrismExportSettings
• isSingleBE() : storm::dft::storage::DftIndependentModule
• isSinkState() : storm::models::sparse::Model< CValueType, CRewardModelType >, storm::simulator::DiscreteTimePrismProgramSimulator< ValueType >
• isSkip() : storm::dft::builder::DFTExplorationHeuristic< ValueType >, storm::dft::builder::DFTExplorationHeuristicDepth< ValueType >
• isSolution() : storm::solver::SymbolicMinMaxLinearEquationSolver< DdType, ValueType >
• isSolverCommandSet() : storm::settings::modules::Smt2SmtSolverSettings
• isSoundSet() : storm::settings::modules::GeneralSettings
• isSpareGate() : storm::dft::storage::elements::DFTElement< ValueType >, storm::dft::storage::elements::DFTSpare< ValueType >
• isSparseModel() : storm::models::ModelBase, storm::models::sparse::Model< CValueType, CRewardModelType >
• isSpecialLabel() : storm::generator::NextStateGenerator< ValueType, StateType >
• isSplittingThresholdSet() : storm::settings::modules::RegionVerificationSettings
• isStateEliminationCutoffSet() : storm::settings::modules::BeliefExplorationSettings
• isStateFormula() : storm::logic::Formula, storm::logic::StateFormula
• isStateInEc() : storm::modelchecker::helper::SparseMdpEndComponentInformation< ValueType >
• isStateLabeling() : storm::models::sparse::ItemLabeling, storm::models::sparse::StateLabeling
• isStateReachable() : storm::storage::SparseModelMemoryProduct< ValueType, RewardModelType >
• isStateRewardsSet() : storm::settings::modules::IOSettings
• isStatic() : storm::dft::storage::DftIndependentModule
• isStaticElement() : storm::dft::storage::elements::DFTAnd< ValueType >, storm::dft::storage::elements::DFTBE< ValueType >, storm::dft::storage::elements::DFTElement< ValueType >, storm::dft::storage::elements::DFTOr< ValueType >, storm::dft::storage::elements::DFTVot< ValueType >
• isStaticTriangulationModeSet() : storm::settings::modules::BeliefExplorationSettings
• isStepBound() : storm::logic::TimeBoundReference
• isStepBounded() : storm::logic::InstantaneousRewardFormula
• isStepsSet() : storm::logic::RewardAccumulation
• isStrict() : storm::logic::TimeBound
• isStrongBisimulationSet() : storm::settings::modules::BisimulationSettings
• isSubmatrixOf() : storm::storage::SparseMatrix< ValueType >
• isSubRegion() : storm::storage::ParameterRegion< ParametricType >
• isSubsetOf() : storm::storage::BitVector
• isSymbolic() : storm::gbar::abstraction::QualitativeResult, storm::gbar::abstraction::QualitativeResultMinMax, storm::gbar::abstraction::StateSet, storm::gbar::abstraction::SymbolicQualitativeResultMinMax< Type >, storm::gbar::abstraction::SymbolicStateSet< Type >, storm::modelchecker::CheckResult, storm::modelchecker::SymbolicParetoCurveCheckResult< Type, ValueType >, storm::modelchecker::SymbolicQualitativeCheckResult< Type >, storm::modelchecker::SymbolicQuantitativeCheckResult< Type, ValueType >
• isSymbolicModel() : storm::models::ModelBase, storm::models::symbolic::Model< Type, CValueType >
• isSymbolicParetoCurveCheckResult() : storm::modelchecker::CheckResult, storm::modelchecker::SymbolicParetoCurveCheckResult< Type, ValueType >
• isSymbolicQualitativeCheckResult() : storm::modelchecker::CheckResult, storm::modelchecker::SymbolicQualitativeCheckResult< Type >
• isSymbolicQuantitativeCheckResult() : storm::modelchecker::CheckResult, storm::modelchecker::SymbolicQuantitativeCheckResult< Type, ValueType >
• isSymmetricUpdatesSet() : storm::NativeSolverEnvironment
• isSyntacticallyEqual() : storm::expressions::Expression, storm::expressions::SyntacticalEqualityCheckVisitor
• isTakeFirstDependency() : storm::dft::settings::modules::FaultTreeSettings
• isTargetState() : storm::modelchecker::exploration_detail::StateGeneration< StateType, ValueType >
• isTerminal() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• isTerminalNode() : storm::dd::Odd
• isTerminate() : storm::utility::resources::SignalInformation
• isTestSet() : storm::settings::modules::DebugSettings
• isTimeBound() : storm::logic::TimeBoundReference
• isTimeBounded() : storm::logic::InstantaneousRewardFormula
• isTimeOperatorFormula() : storm::logic::Formula, storm::logic::TimeOperatorFormula
• isTimeoutSet() : storm::settings::modules::ResourceSettings
• isTimePathFormula() : storm::logic::EventuallyFormula, storm::logic::Formula
• isTimeSet() : storm::logic::RewardAccumulation
• isTimeTravellingEnabled() : storm::settings::modules::ParametricSettings
• isToDiscreteTimeModelSet() : storm::settings::modules::TransformationSettings
• isToNondeterministicModelSet() : storm::settings::modules::TransformationSettings
• isTopState() : storm::analysis::Order
• isTotalRewardFormula() : storm::logic::Formula, storm::logic::TotalRewardFormula
• isTotalRewardObjective() : storm::modelchecker::multiobjective::DeterministicSchedsObjectiveHelper< ModelType >
• isTraceOutputSet() : storm::settings::modules::ConversionGeneralSettings
• isTraceSet() : storm::settings::modules::DebugSettings
• isTrackSchedulerSet() : storm::solver::MinMaxLinearEquationSolver< ValueType, SolutionType >
• isTrackSchedulersSet() : storm::solver::GameSolver< ValueType >
• isTranscendentalNumberType() : storm::expressions::BaseType, storm::expressions::TranscendentalNumberType, storm::expressions::Type
• isTransformBinarySet() : storm::settings::modules::ToParametricSettings
• isTransformSimpleSet() : storm::settings::modules::ToParametricSettings
• isTransformToGspn() : storm::dft::settings::modules::DftGspnSettings
• isTransient() : storm::dft::storage::DFTState< ValueType >, storm::dft::storage::elements::BEExponential< ValueType >, storm::jani::Assignment, storm::jani::LValue, storm::jani::Variable
• isTransitionRewardsSet() : storm::settings::modules::IOSettings
• isTrivial() : storm::analysis::Order, storm::storage::StronglyConnectedComponent
• IsTrue() : storm::dft::modelchecker::IsTrue
• isTrue() : storm::expressions::BaseExpression, storm::expressions::BooleanLiteralExpression, storm::expressions::Expression
• isTrueFormula() : storm::logic::BooleanLiteralFormula, storm::logic::Formula
• isTypeEqualTo() : storm::dft::storage::elements::DFTDependency< ValueType >, storm::dft::storage::elements::DFTElement< ValueType >, storm::dft::storage::elements::DFTVot< ValueType >
• isTypeSetFromDefault() : storm::MultiplierEnvironment
• isUnaryBooleanFunctionExpression() : storm::expressions::BaseExpression, storm::expressions::UnaryBooleanFunctionExpression
• isUnaryBooleanPathFormula() : storm::logic::Formula, storm::logic::UnaryBooleanPathFormula
• isUnaryBooleanStateFormula() : storm::logic::Formula, storm::logic::UnaryBooleanStateFormula
• isUnaryFormula() : storm::logic::Formula
• isUnaryNumericalFunctionExpression() : storm::expressions::BaseExpression, storm::expressions::UnaryNumericalFunctionExpression
• isUnaryPathFormula() : storm::logic::Formula, storm::logic::UnaryPathFormula
• isUnaryStateFormula() : storm::logic::Formula, storm::logic::UnaryStateFormula
• isUnbounded() : storm::solver::GlpkLpSolver, storm::solver::GurobiLpSolver< ValueType, RawMode >, storm::solver::LpSolver< ValueType, RawMode >, storm::solver::SoplexLpSolver< ValueType, RawMode >, storm::solver::Z3LpSolver< ValueType, RawMode >
• isUncertaintyRobust() : storm::solver::MinMaxLinearEquationSolver< ValueType, SolutionType >
• isUnderlyingEquationSolverTypeSet() : storm::settings::modules::TopologicalEquationSolverSettings
• isUnderlyingEquationSolverTypeSetFromDefault() : storm::TopologicalSolverEnvironment
• isUnderlyingEquationSolverTypeSetFromDefaultValue() : storm::settings::modules::TopologicalEquationSolverSettings
• isUnderlyingMinMaxMethodSet() : storm::settings::modules::TopologicalEquationSolverSettings
• isUnderlyingMinMaxMethodSetFromDefault() : storm::TopologicalSolverEnvironment
• isUnderlyingMinMaxMethodSetFromDefaultValue() : storm::settings::modules::TopologicalEquationSolverSettings
• IsUnequal() : storm::dft::modelchecker::IsUnequal
• isUnexplored() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• isUniqueFailedBE() : storm::dft::settings::modules::FaultTreeSettings
• isUniversal() : storm::storage::geometry::NativePolytope< ValueType >, storm::storage::geometry::Polytope< ValueType >
• isUnsupported() : storm::pomdp::analysis::FormulaInformation
• isUntilFormula() : storm::logic::Formula, storm::logic::UntilFormula
• isUpperBoundStrict() : storm::logic::BoundedUntilFormula
• isUseBoundsSet() : storm::modelchecker::RegionModelChecker< ParametricType >
• isUseClippingSet() : storm::settings::modules::BeliefExplorationSettings
• isUsed() : storm::dft::storage::DFTState< ValueType >
• isUseDecompositionSet() : storm::settings::modules::AbstractionSettings
• isUseDedicatedModelCheckerSet() : storm::settings::modules::EliminationSettings
• isUseDynamicConstraintsSet() : storm::settings::modules::CounterexampleGeneratorSettings
• isUseEagerRefinementSet() : storm::settings::modules::AbstractionSettings
• isUseIntelTbbSet() : storm::settings::modules::CoreSettings
• isUseInterpolationSet() : storm::settings::modules::AbstractionSettings
• isUseMaxSatBasedMinimalCommandSetGenerationSet() : storm::settings::modules::CounterexampleGeneratorSettings
• isUseMilpBasedMinimalCommandSetGenerationSet() : storm::settings::modules::CounterexampleGeneratorSettings
• isUseMonotonicitySet() : storm::modelchecker::RegionModelChecker< ParametricType >, storm::settings::modules::ParametricSettings
• isUseOriginalVariablesSet() : storm::settings::modules::BisimulationSettings
• isUsePLABoundsSet() : storm::settings::modules::MonotonicitySettings
• isUseRepresentativesSet() : storm::settings::modules::BisimulationSettings
• isUseSchedulerCutsSet() : storm::settings::modules::CounterexampleGeneratorSettings
• isValid() : storm::generator::SparseBeliefState< ValueType >, storm::gspn::GSPN, storm::settings::ArgumentValidator< ValueType >, storm::settings::FileValidator, storm::settings::MultipleChoiceValidator, storm::settings::RangeArgumentValidator< ValueType >
• isValidDimensionValue() : storm::modelchecker::helper::rewardbounded::EpochManager
• isValidProductState() : storm::transformer::Product< Model >
• isValueThresholdSet() : storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, ModelRepresentation >
• isVariable() : storm::expressions::BaseExpression, storm::expressions::Expression, storm::expressions::VariableExpression, storm::jani::ArrayEliminatorData::Replacement, storm::jani::LValue
• isVariableAssignment() : storm::storage::sparse::StateValuations::StateValueIterator
• isVariableExpression() : storm::expressions::BaseExpression, storm::expressions::VariableExpression
• isVariablePartOfProperty() : storm::jani::JaniLocalEliminator::Session
• isVerboseSet() : storm::settings::modules::ConversionGeneralSettings, storm::settings::modules::GeneralSettings
• isVersionSet() : storm::settings::modules::ConversionGeneralSettings, storm::settings::modules::GeneralSettings
• isWeakBisimulationSet() : storm::settings::modules::BisimulationSettings
• isWinning() : storm::pomdp::WinningRegion
• isWinningRegionSet() : storm::settings::modules::QualitativePOMDPAnalysisSettings
• isWriteStatsToFileSet() : storm::settings::modules::GSPNExportSettings
• isWriteToDotSet() : storm::settings::modules::GSPNExportSettings
• isWriteToJaniSet() : storm::dft::settings::modules::DftGspnSettings, storm::settings::modules::GSPNExportSettings
• isWriteToJsonSet() : storm::settings::modules::GSPNExportSettings
• isWriteToPnmlSet() : storm::settings::modules::GSPNExportSettings
• isWriteToPnproSet() : storm::settings::modules::GSPNExportSettings
• isZero() : storm::dd::Add< LibraryType, ValueType >, storm::dd::Bdd< LibraryType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >, storm::utility::ConstantsComparator< ValueType, Enable >, storm::utility::ConstantsComparator< ValueType, ConstantsComparatorEnablePrecision< ValueType > >
• isZeroEpoch() : storm::modelchecker::helper::rewardbounded::EpochManager
• ite() : storm::dd::Bdd< LibraryType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >, storm::expressions::Type
• ItemLabeling() : storm::models::sparse::ItemLabeling
• IterativeMinMaxLinearEquationSolver() : storm::solver::IterativeMinMaxLinearEquationSolver< ValueType, SolutionType >
• IterativePolicySearch() : storm::pomdp::IterativePolicySearch< ValueType >