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

- n -

• name : storm::generator::ObservationLabelInformation, storm::settings::ArgumentBase
• nameToLabelingIndexMap : storm::models::sparse::ItemLabeling
• negatedTerminalExpressions : storm::builder::TerminalStates
• negatedTerminalLabels : storm::builder::TerminalStates
• newIndices : storm::jani::JaniLocationExpander::ReturnType
• newModel : storm::jani::JaniLocationExpander::ReturnType
• newToOldActionIndexMapping : storm::transformer::SubsystemBuilderReturnType< ValueType, RewardModelType >
• newToOldRowMapping : storm::transformer::EndComponentEliminator< ValueType >::EndComponentEliminatorReturnType
• newToOldStateIndexMapping : storm::transformer::SubsystemBuilderReturnType< ValueType, RewardModelType >
• nextFreeBlockIndex : storm::dd::bisimulation::InternalSylvanSignatureRefinerBase
• NO_ACTION_INPUT : storm::jani::SynchronizationVector
• NO_PREDECESSOR : storm::gbar::abstraction::ExplicitPivotStateResult< ValueType >
• noEndComponents : storm::modelchecker::helper::SparseMdpHintType< ValueType >
• nonBlockVariables : storm::dd::bisimulation::InternalSylvanSignatureRefinerBase
• 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 >
• nonTrivialStates : storm::storage::SccDecompositionResult
• nrAutomata : storm::jani::InformationObject
• nrEdges : storm::jani::InformationObject
• nrInDep : storm::dft::storage::BEColourClass< ValueType >
• nrLocations : storm::jani::InformationObject
• nrObservations : storm::models::sparse::Pomdp< ValueType, RewardModelType >
• nrOutDep : storm::dft::storage::BEColourClass< ValueType >
• nrParents : storm::dft::storage::BEColourClass< ValueType >
• nrRestrictions : storm::dft::storage::BEColourClass< ValueType >
• nrVariables : storm::jani::InformationObject
• 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
• numberOfTargetStates : storm::modelchecker::exploration_detail::Statistics< StateType, ValueType >
• numEdges : storm::utility::pfinternal::Features
• numericPrecision : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• numVariables : storm::utility::pfinternal::Features