- n -

• name : Clasp::SymbolTable::symbol_type
• name_ : ProgramOptions::Option
• nant : Clasp::ScoreLook
• neg : Clasp::SatElite::SatElite::OccurList
• neg_flag : Clasp::Asp::RuleState
• negT_ : Clasp::SatElite::SatElite
• newDL : Clasp::DefaultMinimize::UndoInfo
• newMin : Clasp::Test::DefaultMinimizeTest
• next : Clasp::SmallClauseAlloc::Block , Clasp::DefaultUnfoundedCheck::MinimalityCheck , Clasp::PostPropagator , Clasp::mt::Detail::NodeBase , Clasp::Asp::SccChecker::Call , Clasp::Lookahead::LitNode , Clasp::SharedMinimizeData::LevelWeight , Clasp::MinimizeBuilder::Weight , Clasp::SatPreprocessor::Clause , Clasp::SmallClauseAlloc::Chunk
• next_ : Clasp::EnumerationConstraint , Clasp::Asp::LogicProgram::MinimizeRule , Clasp::UncoreMinimize
• nextVar_ : Clasp::PBBuilder
• nGrow : Clasp::BasicSolve::State
• nill_source : Clasp::DefaultUnfoundedCheck::AtomData
• node : Clasp::Asp::SccChecker::Call , Clasp::DefaultUnfoundedCheck::BodyPtr , Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::Mapping
• nodes_ : Clasp::Lookahead
• nodeStack_ : Clasp::Asp::SccChecker
• noGamma : Clasp::Asp::LogicProgram::AspOptions
• noGlue : Clasp::ReduceStrategy
• nogoods : Clasp::ModelEnumerator::ModelFinder
• nogoods_ : Clasp::DomainHeuristic::DomMinimize
• noIdx : Clasp::Asp::PrgNode
• nonHcfCfg_ : Clasp::Asp::LogicProgram
• nonHcfs : Clasp::Asp::LpStats
• nonHcfs_ : Clasp::Asp::LogicProgram
• normalize : Clasp::Asp::LogicProgram::AspOptions
• noScc : Clasp::Asp::PrgNode
• noSCC : Clasp::Asp::LogicProgram::AspOptions
• noScc_ : Clasp::Asp::PrgNode
• NOT_ACTIVE : Clasp::WeightConstraint
• notify_ : ProgramOptions::NotifiedValue< T > , ProgramOptions::CustomValue
• nRestart : Clasp::SumQueue , Clasp::BasicSolve::State
• num : Clasp::Model
• numAtoms : Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap
• numEnum : Clasp::ClaspFacade::Summary
• numModels : Clasp::EnumOptions
• numOps_ : Clasp::Restricted
• numVar_ : Clasp::DimacsParser
• numVsids_ : Clasp::ClaspBerkmin
• nVal_ : Clasp::VarScore