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

- n -

• name : Clasp::SymbolTable::symbol_type , Clasp::Cli::ConfigIter , ProgramOptions::Option
• Name2Key : ProgramOptions::OptionContext
• name_ : ProgramOptions::Option
• nant() : Clasp::VarInfo
• NANT : Clasp::VarInfo
• nant : Clasp::ScoreLook , Clasp::Lookahead::Params
• neg : Clasp::SatElite::SatElite::OccurList
• neg_flag : Clasp::Asp::RuleState
• negatable() : ProgramOptions::Value
• negT_ : Clasp::SatElite::SatElite
• newAtom() : Clasp::Asp::RuleTransform::AdaptBuilder , Clasp::Asp::LogicProgram , Clasp::Asp::RuleTransform::ProgramAdapter
• newCardinalityConstraint() : Clasp::Test::WeightConstraintTest
• newClause() : Clasp::Clause , Clasp::mt::SharedLitsClause , Clasp::SatPreprocessor::Clause
• newConstraint() : Clasp::ClaspBerkmin , Clasp::ClaspVmtf , Clasp::ClaspVsids_t< ScoreType > , Clasp::DecisionHeuristic , Clasp::Restricted , Clasp::Test::ClauseObserver
• newContractedClause() : Clasp::Clause
• newDL : Clasp::DefaultMinimize::UndoInfo
• newEdge() : Clasp::Asp::PrgEdge
• newLearntClause() : Clasp::ClauseCreator
• newLoopFormula() : Clasp::LoopFormula
• newMin : Clasp::Test::DefaultMinimizeTest
• newProblemClause() : Clasp::ClauseCreator
• newShareable() : Clasp::SharedLiterals
• newShared() : Clasp::Clause
• newUnshared() : Clasp::ClauseCreator
• newWeightConstraint() : Clasp::Test::WeightConstraintTest
• next : Clasp::PostPropagator , Clasp::Asp::SccChecker::Call , Clasp::Lookahead::LitNode , Clasp::SharedMinimizeData::LevelWeight , Clasp::MinimizeBuilder::Weight , Clasp::SatPreprocessor::Clause , Clasp::SmallClauseAlloc::Chunk , Clasp::SmallClauseAlloc::Block , Clasp::DefaultUnfoundedCheck::MinimalityCheck , Clasp::mt::Detail::NodeBase , Clasp::Cli::ConfigIter , Clasp::SatPreprocessor::Clause , Clasp::ScheduleStrategy
• next_ : Clasp::EnumerationConstraint , Clasp::Asp::LogicProgram::MinimizeRule , Clasp::UncoreMinimize
• nextBodyId() : Clasp::Asp::Preprocessor
• nextId() : Clasp::Event
• nextVar_ : Clasp::PBBuilder
• nGrow : Clasp::BasicSolve::State
• nill_source : Clasp::DefaultUnfoundedCheck::AtomData
• no : Clasp::Distributor::Policy
• no_antes : Clasp::SolverStrategies
• no_eq : Clasp::Asp::Preprocessor
• no_extra_type : bk_lib::detail::select_base< L, R, i >
• no_learning : Clasp::SolverStrategies
• no_lookahead : Clasp::Lookahead
• no_reason : Clasp::DefaultUnfoundedCheck
• no_simplify : Clasp::Asp::PrgHead
• no_stream_support() : bk_lib::detail::no_stream_support
• Node : Clasp::mt::MultiQueue< T, Deleter > , Clasp::SharedDependencyGraph::Node , Clasp::mt::Detail::Node< T >
• node : Clasp::Asp::SccChecker::Call , Clasp::DefaultUnfoundedCheck::BodyPtr , Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap::Mapping , Clasp::Asp::PrgEdge , Clasp::Lookahead
• NodeBase : Clasp::mt::MultiQueue< T, Deleter > , Clasp::mt::Detail::NodeBase
• NodeId : Clasp::SharedDependencyGraph , Clasp::Lookahead , Clasp::DefaultUnfoundedCheck
• NodeMap : Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap
• nodes() : Clasp::SharedDependencyGraph , Clasp::DefaultUnfoundedCheck
• nodes_ : Clasp::Lookahead
• NodeStack : Clasp::Asp::SccChecker
• nodeStack_ : Clasp::Asp::SccChecker
• nodeType() : Clasp::Asp::PrgEdge
• NodeType : Clasp::Asp::PrgEdge
• noEdge() : Clasp::Asp::PrgEdge
• noEq() : Clasp::Asp::LogicProgram::AspOptions
• noGamma : Clasp::Asp::LogicProgram::AspOptions
• noGlue : Clasp::ReduceStrategy
• nogoods : Clasp::ModelEnumerator::ModelFinder
• nogoods_ : Clasp::DomainHeuristic::DomMinimize
• noIdx : Clasp::Asp::PrgNode
• none() : Clasp::ScheduleStrategy
• nonHcfBegin() : Clasp::SharedDependencyGraph
• nonHcfCfg_ : Clasp::Asp::LogicProgram
• NonHcfComponent() : Clasp::SharedDependencyGraph::NonHcfComponent
• nonHcfConfig() : Clasp::SharedDependencyGraph
• nonHcfEnd() : Clasp::SharedDependencyGraph
• NonHcfIter : Clasp::SharedDependencyGraph
• nonHcfs : Clasp::Asp::LpStats
• nonHcfs_ : Clasp::Asp::LogicProgram
• NonHcfSet : Clasp::SharedDependencyGraph
• NORMAL_BODY : Clasp::Asp::BodyInfo
• NORMAL_EDGE : Clasp::Asp::PrgEdge
• normalize : Clasp::Asp::LogicProgram::AspOptions , Clasp::ClaspVsids_t< ScoreType > , Clasp::Asp::LogicProgram , Clasp::Asp::PrgBody
• noScc() : Clasp::Asp::PrgBody
• noSCC : Clasp::Asp::LogicProgram::AspOptions
• noScc : Clasp::Asp::PrgNode , Clasp::Asp::LogicProgram::AspOptions
• noScc_ : Clasp::Asp::PrgNode
• not_a_property : ProgramOptions::Value
• NOT_ACTIVE : Clasp::WeightConstraint
• NotifiedValue() : ProgramOptions::NotifiedValue< T >
• Notifier() : ProgramOptions::detail::Notifier< ParamT >
• notifier_type : ProgramOptions::CustomValue , ProgramOptions::NotifiedValue< T >
• notify() : Clasp::UnitHeuristic , Clasp::Restricted , ProgramOptions::detail::Notifier< ParamT >
• notify_ : ProgramOptions::CustomValue , ProgramOptions::NotifiedValue< T >
• notify_func_type : ProgramOptions::detail::Notifier< ParamT >
• nRestart : Clasp::SumQueue , Clasp::BasicSolve::State
• nullEnumerator() : Clasp::EnumOptions
• NullMutex() : no_multi_threading::NullMutex
• num : bk_lib::detail::IterType< T > , Clasp::Model
• num_cat : Clasp::Cli::TextOutput
• num_chunks : Clasp::SmallClauseAlloc::Block
• num_preds() : Clasp::SharedDependencyGraph::BodyNode
• num_str : Clasp::Cli::TextOutput
• numAssignedVars() : Clasp::Solver
• numAtoms : Clasp::SharedDependencyGraph::NonHcfComponent::ComponentMap , Clasp::Asp::LogicProgram , Clasp::SharedDependencyGraph
• numAuxVars() : Clasp::Solver
• numBinary() : Clasp::ShortImplicationsGraph , Clasp::SharedContext
• numBodies() : Clasp::SharedDependencyGraph , Clasp::Asp::LogicProgram
• numClauses() : Clasp::SatPreprocessor
• numConstraints() : Clasp::SharedContext , Clasp::ProblemStats , Clasp::Solver
• numData() : Clasp::Assignment
• numDisjunctions() : Clasp::Asp::LogicProgram
• numEdges() : Clasp::ShortImplicationsGraph
• numEliminatedVars() : Clasp::SharedContext
• numEnum : Clasp::ClaspFacade::Summary
• numFreeVars() : Clasp::Solver
• numLearnt() : Clasp::ShortImplicationsGraph
• numLearntConstraints() : Clasp::Solver
• numLearntShort() : Clasp::SharedContext
• numLits() : Clasp::MinimizeBuilder
• numModels : Clasp::EnumOptions
• numNonHcfs() : Clasp::SharedDependencyGraph
• numOcc() : Clasp::SatElite::SatElite::OccurList
• numOps_ : Clasp::Restricted
• numProblemVars() : Clasp::Solver
• numProjectionVars() : Clasp::ModelEnumerator
• numRules() : Clasp::SharedMinimizeData , Clasp::MinimizeBuilder , Clasp::DefaultMinimize
• numSearch() : Clasp::BasicSatConfig , Clasp::Configuration
• numSolver() : Clasp::BasicSatConfig , Clasp::Configuration , Clasp::BasicSolveOptions
• numTernary() : Clasp::SharedContext , Clasp::ShortImplicationsGraph
• numUnary() : Clasp::SharedContext
• numVar_ : Clasp::DimacsParser
• numVars() : Clasp::Solver , Clasp::SharedContext , Clasp::SatBuilder , Clasp::Assignment , Clasp::PBBuilder
• numVsids_ : Clasp::ClaspBerkmin
• numWatches() : Clasp::Solver
• nVal() : Clasp::VarScore
• nVal_ : Clasp::VarScore