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

- e -

• Edge() : storm::jani::Edge
• EdgeAbstractor() : storm::gbar::abstraction::jani::EdgeAbstractor< DdType, ValueType >
• EdgeContainer() : storm::jani::EdgeContainer
• EdgeDd() : storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::EdgeDd
• EdgeDestination() : storm::jani::EdgeDestination
• EdgeDestinationDd() : storm::builder::EdgeDestinationDd< Type, ValueType >
• Edges() : storm::jani::detail::Edges
• eigen() : storm::SolverEnvironment
• EigenEquationSolverSettings() : storm::settings::modules::EigenEquationSolverSettings
• EigenLinearEquationSolver() : storm::solver::EigenLinearEquationSolver< ValueType >
• EigenSolverEnvironment() : storm::EigenSolverEnvironment
• elementAddAP() : storm::automata::APSet
• elementAllFalse() : storm::automata::APSet
• eliminate() : storm::jani::ArrayEliminator, storm::jani::detail::ArrayExpressionEliminationVisitor, storm::jani::detail::FunctionEliminationExpressionVisitor, storm::jani::detail::FunctionEliminatorTraverser, storm::jani::JaniLocalEliminator, storm::solver::stateelimination::EliminatorBase< ValueType, Mode >, storm::storage::geometry::ReduceVertexCloud< ValueType >
• EliminateAction() : storm::jani::elimination_actions::EliminateAction
• eliminateAll() : storm::solver::stateelimination::PrioritizedStateEliminator< ValueType >
• eliminateArrays() : storm::jani::Model
• eliminateAutomatically() : storm::jani::JaniLocalEliminator
• EliminateAutomaticallyAction() : storm::jani::elimination_actions::EliminateAutomaticallyAction
• eliminateChkSizes() : storm::jani::detail::ArrayExpressionEliminationVisitor
• eliminateConstantDeterministicStates() : storm::transformer::SparseParametricModelSimplifier< SparseModelType >
• eliminateEndComponents() : storm::modelchecker::helper::SparseMdpEndComponentInformation< ValueType >
• eliminateFunctionsInFunctionBodies() : storm::jani::detail::FunctionEliminatorTraverser
• eliminateLoop() : storm::solver::stateelimination::EliminatorBase< ValueType, Mode >
• eliminateNeutralEndComponents() : storm::transformer::SparseParametricMdpSimplifier< SparseModelType >
• eliminateNonmarkovianStates() : storm::transformer::NonMarkovianChainTransformer< ValueType, RewardModelType >
• eliminateRewardAccumulations() : storm::logic::RewardAccumulationEliminationVisitor
• eliminateState() : storm::solver::stateelimination::StateEliminator< ValueType >
• EliminationLinearEquationSolver() : storm::solver::EliminationLinearEquationSolver< ValueType >
• EliminationScheduler() : storm::jani::JaniLocalEliminator::EliminationScheduler
• EliminationSettings() : storm::settings::modules::EliminationSettings
• EliminatorBase() : storm::solver::stateelimination::EliminatorBase< ValueType, Mode >
• empty() : storm::adapters::DereferenceIteratorAdapter< ContainerType >, storm::builder::TerminalStates, storm::dft::storage::BucketPriorityQueue< PriorityType >, storm::generator::StateBehavior< ValueType, StateType >, storm::generator::TransientVariableValuation< ValueType >, storm::jani::detail::ConstEdges, storm::jani::detail::Edges, storm::jani::ModelFeatures, storm::jani::OrderedAssignments, storm::jani::VariableSet, storm::modelchecker::helper::rewardbounded::CostLimitClosure, storm::models::sparse::StandardRewardModel< CValueType >, storm::models::symbolic::StandardRewardModel< Type, ValueType >, storm::pars::SampleInformation< ValueType >, storm::pomdp::analysis::FormulaInformation::StateSet, storm::pomdp::InternalObservationScheduler, storm::pomdp::WinningRegion, storm::prism::RewardModel, storm::storage::BitVector, storm::storage::ConsecutiveUint64DynamicPriorityQueue< Compare >, storm::storage::Decomposition< BlockType >, storm::storage::DynamicPriorityQueue< T, Container, Compare >, storm::storage::FlexibleSparseMatrix< ValueType >, storm::storage::StateBlock, storm::utility::Extremum< Dir, ValueType >
• enable() : storm::solver::SolverRequirement
• enableBisimulation() : storm::utility::AutomaticSettings
• enableExact() : storm::utility::AutomaticSettings
• encodeAutomatonAndEdgeIndices() : storm::jani::Model
• encodeAux() : storm::gbar::abstraction::AbstractionInformation< DdType >
• encodeChoice() : storm::gbar::abstraction::AbstractionInformation< DdType >
• encodeLocation() : storm::gbar::abstraction::AbstractionInformation< DdType >
• encodePlayer1Choice() : storm::gbar::abstraction::AbstractionInformation< DdType >
• encodePlayer2Choice() : storm::gbar::abstraction::AbstractionInformation< DdType >
• encodePredicateAsSource() : storm::gbar::abstraction::AbstractionInformation< DdType >
• encodePredicateAsSuccessor() : storm::gbar::abstraction::AbstractionInformation< DdType >
• end() : storm::adapters::DereferenceIteratorAdapter< ContainerType >, storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::dft::storage::DftSymmetries, storm::dft::storage::FailableElements, storm::expressions::ExpressionManager, storm::expressions::LinearCoefficientVisitor::VariableCoefficients, storm::generator::Choice< ValueType, StateType >, storm::generator::Distribution< IndexType, ValueType >, storm::generator::StateBehavior< ValueType, StateType >, storm::jani::detail::ConstEdges, storm::jani::detail::Edges, storm::jani::EdgeContainer, storm::jani::OrderedAssignments, storm::jani::VariableSet, storm::modelchecker::multiobjective::DeterministicSchedsParetoExplorer< SparseModelType, GeometryValueType >::Pointset, storm::storage::bisimulation::Partition< DataType >, storm::storage::BitVector, storm::storage::BitVectorHashMap< ValueType, Hash >, storm::storage::Decomposition< BlockType >, storm::storage::Distribution< ValueType, StateType >, storm::storage::MaximalEndComponent, storm::storage::sparse::StateValuations::StateValueIteratorRange, storm::storage::SparseMatrix< ValueType >::const_rows, storm::storage::SparseMatrix< ValueType >, storm::storage::SparseMatrix< ValueType >::rows, storm::storage::StateBlock
• endOfIteration() : storm::solver::helper::GSVIBackend< ValueType, Dir, Relative >, storm::solver::helper::IIBackend< ValueType, Dir >, storm::solver::helper::OVIBackend< ValueType, Dir, Relative >, storm::solver::helper::RSBackend< ValueType, ExactValueType, Dir >, storm::solver::helper::SchedulerTrackingBackend< ValueType, Dir >, storm::solver::helper::SVIBackend< ValueType, Dir, Stage, TrivialRowGrouping >, storm::solver::helper::VIOperatorBackend< ValueType, Dir, Relative >
• enlarge() : storm::storage::geometry::Hyperrectangle< ValueType >
• env() : BeliefExplorationAPITest< TestType >
• Environment() : storm::Environment
• epochClassOrder() : storm::modelchecker::helper::rewardbounded::EpochManager
• epochClassZigZagOrder() : storm::modelchecker::helper::rewardbounded::EpochManager
• EpochManager() : storm::modelchecker::helper::rewardbounded::EpochManager
• epsilon() : Eigen::NumTraits< storm::RationalNumber >
• equalModuloPrecision() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >
• equals() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::storage::Distribution< ValueType, StateType >, storm::storage::DistributionWithReward< ValueType, StateType >
• EquationSystemEliminator() : storm::solver::stateelimination::EquationSystemEliminator< ValueType >
• EquivalenceChecker() : storm::expressions::EquivalenceChecker
• erase() : storm::storage::StateBlock
• eraseVariable() : storm::jani::VariableSet
• error() : storm::solver::helper::OVIBackend< ValueType, Dir, Relative >
• euclideanDistance() : storm::storage::geometry::Halfspace< ValueType >
• evaluateAsBool() : storm::expressions::BaseExpression, storm::expressions::BinaryBooleanFunctionExpression, storm::expressions::BinaryRelationExpression, storm::expressions::BooleanLiteralExpression, storm::expressions::Expression, storm::expressions::IfThenElseExpression, storm::expressions::PredicateExpression, storm::expressions::UnaryBooleanFunctionExpression, storm::expressions::VariableExpression
• evaluateAsDouble() : storm::expressions::BaseExpression, storm::expressions::BinaryNumericalFunctionExpression, storm::expressions::Expression, storm::expressions::IfThenElseExpression, storm::expressions::IntegerLiteralExpression, storm::expressions::RationalLiteralExpression, storm::expressions::TranscendentalNumberLiteralExpression, storm::expressions::UnaryNumericalFunctionExpression, storm::expressions::VariableExpression
• evaluateAsInt() : storm::expressions::BaseExpression, storm::expressions::BinaryNumericalFunctionExpression, storm::expressions::Expression, storm::expressions::IfThenElseExpression, storm::expressions::IntegerLiteralExpression, storm::expressions::UnaryNumericalFunctionExpression, storm::expressions::VariableExpression
• evaluateAsRational() : storm::expressions::BaseExpression, storm::expressions::Expression
• evaluateBooleanExpressionInCurrentState() : storm::generator::PrismNextStateGenerator< ValueType, StateType >
• evaluateObservationLabels() : storm::generator::NextStateGenerator< ValueType, StateType >
• evaluateScheduler() : storm::modelchecker::multiobjective::DeterministicSchedsObjectiveHelper< ModelType >
• evaluateThresholdAs() : storm::logic::Bound
• evaluateThresholdAsRational() : storm::logic::Bound
• EventuallyFormula() : storm::logic::EventuallyFormula
• excludeLocation() : storm::jani::JaniLocationExpander
• exclusiveOr() : storm::dd::Bdd< LibraryType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >
• execute() : storm::dd::DdManager< LibraryType >, storm::dd::InternalDdManager< DdType::CUDD >, storm::dd::InternalDdManager< DdType::Sylvan >, storm::dft::storage::SylvanBddManager
• executeInSequence() : storm::jani::JaniLocalEliminator::Session
• existsAbstract() : storm::dd::Bdd< LibraryType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >
• existsAbstractRepresentative() : storm::dd::Bdd< LibraryType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >
• existsInhibitionArc() : storm::gspn::Transition
• existsInputArc() : storm::gspn::Transition
• existsMonotonicity() : storm::analysis::MonotonicityResult< VariableType >
• existsName() : storm::dft::storage::DFT< ValueType >
• existsNextState() : storm::analysis::Order
• existsOutputArc() : storm::gspn::Transition
• existsStateToHandle() : storm::analysis::Order
• existsTrue() : storm::modelchecker::ExplicitQualitativeCheckResult, storm::modelchecker::QualitativeCheckResult, storm::modelchecker::SymbolicQualitativeCheckResult< Type >
• expand() : 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::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• expandAndClip() : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• expandAndTriangulate() : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• expandExplicitVector() : storm::dd::Odd
• expandSize() : storm::storage::BitVector
• ExpectedTimeToExpectedRewardVisitor() : storm::logic::ExpectedTimeToExpectedRewardVisitor
• ExplicitDFTModelBuilder() : storm::dft::builder::ExplicitDFTModelBuilder< ValueType, StateType >
• ExplicitDijkstraQueueElement() : storm::gbar::abstraction::ExplicitDijkstraQueueElement< ValueType >
• ExplicitGameExporter() : storm::gbar::modelchecker::ExplicitGameExporter< ValueType >
• ExplicitGameProb01Result() : storm::utility::graph::ExplicitGameProb01Result
• ExplicitGameStrategy() : storm::storage::ExplicitGameStrategy
• ExplicitGameStrategyPair() : storm::storage::ExplicitGameStrategyPair
• ExplicitModelBuilder() : storm::builder::ExplicitModelBuilder< ValueType, RewardModelType, StateType >
• ExplicitModelCheckerHint() : storm::modelchecker::ExplicitModelCheckerHint< ValueType >
• ExplicitParetoCurveCheckResult() : storm::modelchecker::ExplicitParetoCurveCheckResult< ValueType >
• ExplicitPivotStateResult() : storm::gbar::abstraction::ExplicitPivotStateResult< ValueType >
• ExplicitQualitativeCheckResult() : storm::modelchecker::ExplicitQualitativeCheckResult
• ExplicitQualitativeGameResult() : storm::gbar::abstraction::ExplicitQualitativeGameResult
• ExplicitQualitativeGameResultMinMax() : storm::gbar::abstraction::ExplicitQualitativeGameResultMinMax
• ExplicitQualitativeResultMinMax() : storm::gbar::abstraction::ExplicitQualitativeResultMinMax
• ExplicitQuantitativeCheckResult() : storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >
• ExplicitQuantitativeResult() : storm::gbar::abstraction::ExplicitQuantitativeResult< ValueType >
• ExplicitQuantitativeResultMinMax() : storm::gbar::abstraction::ExplicitQuantitativeResultMinMax< ValueType >
• ExplicitStateLookup() : storm::builder::ExplicitStateLookup< StateType >
• ExplorationInformation() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• ExplorationSettings() : storm::settings::modules::ExplorationSettings
• explorationStep() : storm::modelchecker::exploration_detail::Statistics< StateType, ValueType >
• explore() : storm::simulator::DiscreteTimePrismProgramSimulator< ValueType >
• exploreNextState() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• ExponentialDistributionGenerator() : storm::utility::ExponentialDistributionGenerator
• exportBddToDot() : storm::dft::modelchecker::SFTBDDChecker, storm::dft::storage::SylvanBddManager
• exportExplicitStateLookup() : storm::builder::ExplicitModelBuilder< ValueType, RewardModelType, StateType >
• exportPlotOfCurrentApproximation() : storm::modelchecker::multiobjective::DeterministicSchedsParetoExplorer< SparseModelType, GeometryValueType >, storm::modelchecker::multiobjective::SparsePcaaQuery< SparseModelType, GeometryValueType >
• exportResultPath() : storm::settings::modules::ParametricSettings
• exportResultToFile() : storm::settings::modules::ParametricSettings
• exportToDot() : 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::dd::Odd, storm::gbar::abstraction::jani::JaniMenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::MenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::PrismMenuGameAbstractor< DdType, ValueType >
• exportToJson() : storm::gbar::modelchecker::ExplicitGameExporter< ValueType >
• exportToText() : 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::dd::Odd
• exportWinningRegionPath() : storm::settings::modules::QualitativePOMDPAnalysisSettings
• expr() : storm::jani::detail::ArrayExpressionEliminationVisitor::ResultType
• Expression() : storm::expressions::Expression
• ExpressionCreator() : storm::parser::ExpressionCreator
• ExpressionEvaluator() : storm::expressions::ExpressionEvaluator< double >
• ExpressionEvaluatorBase() : storm::expressions::ExpressionEvaluatorBase< RationalReturnType >
• ExpressionEvaluatorWithVariableToExpressionMap() : storm::expressions::ExpressionEvaluatorWithVariableToExpressionMap< RationalType >
• ExpressionManager() : storm::expressions::ExpressionManager
• ExpressionParser() : storm::parser::ExpressionParser
• ExpressionSubstitutionVisitor() : storm::logic::ExpressionSubstitutionVisitor
• ExpressionTranslator() : storm::gbar::abstraction::ExpressionTranslator< DdType >
• ExprtkCompiledExpression() : storm::expressions::ExprtkCompiledExpression
• ExprtkExpressionEvaluator() : storm::expressions::ExprtkExpressionEvaluator
• ExprtkExpressionEvaluatorBase() : storm::expressions::ExprtkExpressionEvaluatorBase< RationalType >
• extend() : storm::pomdp::ObservationTraceUnfolder< ValueType >, storm::storage::IntegerInterval
• extendLabelSetLowerBound() : storm::counterexamples::SMTMinimalLabelSetGenerator< T >
• extendLocalMonotonicityResult() : storm::modelchecker::RegionModelChecker< ParametricType >, storm::modelchecker::SparseDtmcParameterLiftingModelChecker< SparseModelType, ConstantType >
• extendLocalNondeterminismVariables() : storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::AutomatonDd
• extendOrder() : storm::analysis::OrderExtender< ValueType, ConstantType >, storm::modelchecker::RegionModelChecker< ParametricType >, storm::modelchecker::SparseDtmcParameterLiftingModelChecker< SparseModelType, ConstantType >
• extendSpareModule() : storm::dft::storage::elements::DFTDependency< ValueType >, storm::dft::storage::elements::DFTElement< ValueType >, storm::dft::storage::elements::DFTGate< ValueType >, storm::dft::storage::elements::DFTRestriction< ValueType >
• extendStateInformation() : storm::generator::NextStateGenerator< ValueType, StateType >
• extendSubDft() : storm::dft::storage::elements::DFTBE< ValueType >, storm::dft::storage::elements::DFTChildren< ValueType >, storm::dft::storage::elements::DFTDependency< ValueType >, storm::dft::storage::elements::DFTElement< ValueType >, storm::dft::storage::elements::DFTSpare< ValueType >
• extendUnit() : storm::dft::storage::elements::DFTChildren< ValueType >, storm::dft::storage::elements::DFTElement< ValueType >
• extensionExpression() : storm::pomdp::WinningRegion
• extract() : storm::dd::bisimulation::PartialQuotientExtractor< DdType, ValueType, ExportValueType >, storm::dd::bisimulation::QuotientExtractor< DdType, ValueType, ExportValueType >, storm::logic::ExtractMaximalStateFormulasVisitor, storm::utility::FilteredRewardModel< RewardModelType >
• extractDecompositionBlocks() : storm::storage::BisimulationDecomposition< ModelType, BlockDataType >
• extractFromDNF() : storm::automata::AcceptanceCondition
• extractMatrixInternal() : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >
• extractPartitionDependencyGraph() : storm::storage::Decomposition< BlockType >
• extractScheduler() : storm::modelchecker::helper::internal::SparseLTLSchedulerHelper< ValueType, Nondeterministic >, storm::modelchecker::helper::SparseLTLHelper< ValueType, Nondeterministic >, storm::modelchecker::helper::SparseNondeterministicInfiniteHorizonHelper< ValueType >
• extractSetAll() : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >
• extractSetExists() : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >
• extractStateActionVector() : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >
• extractStateVector() : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >
• extractTransitionMatrix() : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >
• extractUses() : storm::dft::storage::DFTState< ValueType >
• extractVectorInternal() : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >
• Extremum() : storm::utility::Extremum< Dir, ValueType >