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

- n -

• name() : storm::dft::storage::elements::DFTElement< ValueType >, storm::generator::ObservationLabelInformation, storm::settings::ArgumentBase
• nameToLabelingIndexMap : storm::models::sparse::ItemLabeling
• NanosecondType : storm::utility::ProgressMeasurement, storm::utility::Stopwatch
• native() : storm::SolverEnvironment
• NativeEquationSolverSettings() : storm::settings::modules::NativeEquationSolverSettings
• NativeLinearEquationSolver : storm::solver::NativeLinearEquationSolver< ValueType >
• NativeMultiplier() : storm::solver::NativeMultiplier< ValueType >
• NativePolytope() : storm::storage::geometry::NativePolytope< ValueType >
• NativeSolverEnvironment() : storm::NativeSolverEnvironment
• needsActionAdjustment() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• needsRefinement() : storm::storage::bisimulation::DeterministicBlockData
• negate() : storm::expressions::LinearCoefficientVisitor::VariableCoefficients, storm::modelchecker::CheckTask< FormulaType, ValueType >
• negateAllNonDiagonalEntries() : storm::storage::SparseMatrix< ValueType >
• negatedTerminalExpressions : storm::builder::TerminalStates
• negatedTerminalLabels : storm::builder::TerminalStates
• Nested : Eigen::NumTraits< storm::RationalNumber >
• newIndices : storm::jani::JaniLocationExpander::ReturnType
• newModel : storm::jani::JaniLocationExpander::ReturnType
• newRowGroup() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >, storm::storage::SparseMatrixBuilder< ValueType >
• newSynchronizingActionToOffsetMap() : storm::builder::ModuleComposer< Type, ValueType >
• newToOldActionIndexMapping : storm::transformer::SubsystemBuilderReturnType< ValueType, RewardModelType >
• newToOldRowMapping : storm::transformer::EndComponentEliminator< ValueType >::EndComponentEliminatorReturnType
• newToOldStateIndexMapping : storm::transformer::SubsystemBuilderReturnType< ValueType, RewardModelType >
• next() : storm::dd::bisimulation::SignatureIterator< DdType, ValueType >
• nextDontCarePropagation() : storm::dft::storage::DFTStateSpaceGenerationQueues< ValueType >
• nextFailsafePropagation() : storm::dft::storage::DFTStateSpaceGenerationQueues< ValueType >
• nextFailurePropagation() : storm::dft::storage::DFTStateSpaceGenerationQueues< ValueType >
• NextFormula() : storm::logic::NextFormula
• nextFreeBlockIndex : storm::dd::bisimulation::InternalSylvanSignatureRefinerBase
• nextRestrictionCheck() : storm::dft::storage::DFTStateSpaceGenerationQueues< ValueType >
• nextRow() : 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 >
• NextStateGenerator() : storm::generator::NextStateGenerator< ValueType, StateType >
• NextStateHeuristic : storm::settings::modules::ExplorationSettings
• NO_ACTION_INPUT : storm::jani::SynchronizationVector
• NO_PREDECESSOR : storm::gbar::abstraction::ExplicitPivotStateResult< ValueType >
• NodeComparison : storm::analysis::Order
• noEndComponents : storm::modelchecker::helper::SparseMdpHintType< ValueType >
• noId() : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• nonBlockVariables : storm::dd::bisimulation::InternalSylvanSignatureRefinerBase
• nonColdBEs() : storm::dft::storage::DFT< ValueType >
• nondeterminism : storm::utility::pfinternal::Features
• nondeterminismMetaVariables : storm::builder::DdPrismModelBuilder< Type, ValueType >::GenerationInformation< Type, ValueType >
• nondeterminismOdd : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >
• nondeterminismVariables : storm::dd::bisimulation::InternalSylvanSignatureRefinerBase
• nondeterminismVariablesCube : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >
• NondeterministicBeliefTracker() : storm::generator::NondeterministicBeliefTracker< ValueType, BeliefState >
• NondeterministicMemoryStructure() : storm::storage::NondeterministicMemoryStructure
• NondeterministicModel() : storm::models::sparse::NondeterministicModel< ValueType, RewardModelType >, storm::models::symbolic::NondeterministicModel< Type, ValueType >
• NondeterministicModelBisimulationDecomposition() : storm::storage::NondeterministicModelBisimulationDecomposition< ModelType >
• NondeterministicModelPartitionRefiner() : storm::dd::bisimulation::NondeterministicModelPartitionRefiner< DdType, ValueType >
• NondeterministicModelStateEliminator() : storm::solver::stateelimination::NondeterministicModelStateEliminator< ValueType >
• NonInteger : Eigen::NumTraits< storm::RationalNumber >
• nonTrivialStates : storm::storage::SccDecompositionResult
• normalize() : storm::storage::Distribution< ValueType, StateType >
• normalVector() : storm::storage::geometry::Halfspace< ValueType >
• notEquals() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >
• notifyAbort() : storm::automata::HOAConsumerDA, storm::automata::HOAConsumerDAHeader
• notifyBodyStart() : storm::automata::HOAConsumerDA, storm::automata::HOAConsumerDAHeader
• notifyEnd() : storm::automata::HOAConsumerDA, storm::automata::HOAConsumerDAHeader
• notifyEndOfState() : storm::automata::HOAConsumerDA, storm::automata::HOAConsumerDAHeader
• notifyGuardIsPredicate() : storm::gbar::abstraction::jani::EdgeAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::CommandAbstractor< DdType, ValueType >
• notifyGuardsArePredicates() : storm::gbar::abstraction::jani::AutomatonAbstractor< DdType, ValueType >, storm::gbar::abstraction::jani::JaniMenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::MenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::ModuleAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::PrismMenuGameAbstractor< DdType, ValueType >
• notifyHeaderStart() : storm::automata::HOAConsumerDAHeader
• notifyWarning() : storm::automata::HOAConsumerDA, storm::automata::HOAConsumerDAHeader
• notZero() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >
• noWeightAttached() : storm::gspn::ImmediateTransition< WeightType >
• nrAutomata : storm::jani::InformationObject
• nrBasicElements() : storm::dft::storage::DFT< ValueType >
• nrBEs() : storm::dft::storage::BijectionCandidates< ValueType >
• nrChildren() : storm::dft::storage::elements::DFTBE< ValueType >, storm::dft::storage::elements::DFTChildren< ValueType >, storm::dft::storage::elements::DFTDependency< ValueType >, storm::dft::storage::elements::DFTElement< ValueType >
• nrDeps() : storm::dft::storage::BijectionCandidates< ValueType >
• nrDynamicElements() : storm::dft::storage::DFT< ValueType >
• nrEdges : storm::jani::InformationObject
• nrElements() : storm::dft::storage::DFT< ValueType >
• nrGates() : storm::dft::storage::BijectionCandidates< ValueType >
• nrGroups() : storm::dft::storage::BijectionCandidates< ValueType >
• nrInDep : storm::dft::storage::BEColourClass< ValueType >
• nrIngoingDependencies() : storm::dft::storage::elements::DFTBE< ValueType >
• nrLocations : storm::jani::InformationObject
• nrObservations : storm::models::sparse::Pomdp< ValueType, RewardModelType >
• nrOutDep : storm::dft::storage::BEColourClass< ValueType >
• nrOutgoingDependencies() : storm::dft::storage::elements::DFTElement< ValueType >
• nrParents : storm::dft::storage::BEColourClass< ValueType >, storm::dft::storage::elements::DFTElement< ValueType >
• nrRestrictions : storm::dft::storage::BEColourClass< ValueType >, storm::dft::storage::BijectionCandidates< ValueType >, storm::dft::storage::elements::DFTElement< ValueType >
• nrStaticElements() : storm::dft::storage::DFT< ValueType >
• nrSymmetries() : storm::dft::storage::DftSymmetries
• nrTransitions() : storm::gspn::TransitionPartition
• nrVariables : storm::jani::InformationObject
• NullRefType() : storm::NullRefType
• numAutomata : storm::utility::pfinternal::Features
• numberOfAcceptanceSets : storm::automata::HOAHeader
• numberOfBlocks : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >
• numberOfBlockVariables : storm::dd::bisimulation::InternalSylvanSignatureRefinerBase
• numberOfChoices : storm::parser::MarkovAutomatonSparseTransitionParser< ValueType >::FirstPassResult
• numberOfExploredStates : storm::modelchecker::exploration_detail::Statistics< StateType, ValueType >
• numberOfNondeterminismVariables : storm::builder::ComposerResult< Type, ValueType >
• numberOfNonzeroEntries : storm::parser::DeterministicSparseTransitionParser< ValueType >::FirstPassResult, storm::parser::MarkovAutomatonSparseTransitionParser< ValueType >::FirstPassResult, storm::parser::NondeterministicSparseTransitionParser< ValueType >::FirstPassResult
• numberOfPlayer2Variables : storm::gbar::abstraction::GameBddResult< DdType >
• numberOfPrecomputations : storm::modelchecker::exploration_detail::Statistics< StateType, ValueType >
• numberOfRefinements : storm::dd::bisimulation::InternalSylvanSignatureRefinerBase
• numberOfRegionsKnownThroughMonotonicity : storm::modelchecker::RegionModelChecker< ParametricType >
• numberOfStates : storm::automata::HOAHeader
• numberOfStatesPerObservation() : storm::generator::BeliefStateManager< ValueType >
• numberOfTargetStates : storm::modelchecker::exploration_detail::Statistics< StateType, ValueType >
• numEdges : storm::utility::pfinternal::Features
• numericalComparison() : storm::expressions::Type
• numericPrecision : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• numOfCollectedHyperplanes() : storm::storage::geometry::HyperplaneCollector< ValueType >
• numVariables : storm::utility::pfinternal::Features