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

- n -

• name() : storm::dft::storage::elements::DFTElement< ValueType >
• 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 >
• newRowGroup() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >, storm::storage::SparseMatrixBuilder< ValueType >
• newSynchronizingActionToOffsetMap() : storm::builder::ModuleComposer< Type, ValueType >
• 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
• 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 >
• noId() : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• nonColdBEs() : storm::dft::storage::DFT< ValueType >
• 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 >
• 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 >
• 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 >
• nrElements() : storm::dft::storage::DFT< ValueType >
• nrGates() : storm::dft::storage::BijectionCandidates< ValueType >
• nrGroups() : storm::dft::storage::BijectionCandidates< ValueType >
• nrIngoingDependencies() : storm::dft::storage::elements::DFTBE< ValueType >
• nrOutgoingDependencies() : storm::dft::storage::elements::DFTElement< ValueType >
• nrParents() : storm::dft::storage::elements::DFTElement< ValueType >
• nrRestrictions() : 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
• NullRefType() : storm::NullRefType
• numberOfStatesPerObservation() : storm::generator::BeliefStateManager< ValueType >
• numericalComparison() : storm::expressions::Type
• numOfCollectedHyperplanes() : storm::storage::geometry::HyperplaneCollector< ValueType >