- n -

• name() : Clasp::Cli::ConfigIter , ProgramOptions::Option
• nant() : Clasp::VarInfo , Clasp::Lookahead::Params
• negatable() : ProgramOptions::Value
• 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::ClaspVsids_t< ScoreType > , Clasp::DecisionHeuristic , Clasp::Restricted , Clasp::Test::ClauseObserver , Clasp::ClaspBerkmin , Clasp::ClaspVmtf
• newContractedClause() : Clasp::Clause
• newDL() : Clasp::DefaultMinimize::UndoInfo
• newEdge() : Clasp::Asp::PrgEdge
• newLearntClause() : Clasp::ClauseCreator
• newLoopFormula() : Clasp::LoopFormula
• newProblemClause() : Clasp::ClauseCreator
• newShareable() : Clasp::SharedLiterals
• newShared() : Clasp::Clause
• newUnshared() : Clasp::ClauseCreator
• newWeightConstraint() : Clasp::Test::WeightConstraintTest
• next() : Clasp::SatPreprocessor::Clause , Clasp::ScheduleStrategy , Clasp::Cli::ConfigIter
• nextBodyId() : Clasp::Asp::Preprocessor
• nextId() : Clasp::Event
• no_stream_support() : bk_lib::detail::no_stream_support
• Node() : Clasp::SharedDependencyGraph::Node , Clasp::mt::Detail::Node< T >
• node() : Clasp::Asp::PrgEdge , Clasp::Lookahead
• NodeBase() : Clasp::mt::Detail::NodeBase
• nodes() : Clasp::SharedDependencyGraph , Clasp::DefaultUnfoundedCheck
• nodeType() : Clasp::Asp::PrgEdge
• noEdge() : Clasp::Asp::PrgEdge
• noEq() : Clasp::Asp::LogicProgram::AspOptions
• none() : Clasp::ScheduleStrategy
• nonHcfBegin() : Clasp::SharedDependencyGraph
• NonHcfComponent() : Clasp::SharedDependencyGraph::NonHcfComponent
• nonHcfConfig() : Clasp::SharedDependencyGraph
• nonHcfEnd() : Clasp::SharedDependencyGraph
• normalize() : Clasp::ClaspVsids_t< ScoreType > , Clasp::Asp::LogicProgram , Clasp::Asp::PrgBody
• noScc() : Clasp::Asp::LogicProgram::AspOptions , Clasp::Asp::PrgBody
• NotifiedValue() : ProgramOptions::NotifiedValue< T >
• Notifier() : ProgramOptions::detail::Notifier< ParamT >
• notify() : ProgramOptions::detail::Notifier< ParamT > , Clasp::UnitHeuristic , Clasp::Restricted
• nullEnumerator() : Clasp::EnumOptions
• NullMutex() : no_multi_threading::NullMutex
• num_preds() : Clasp::SharedDependencyGraph::BodyNode
• numAssignedVars() : Clasp::Solver
• numAtoms() : Clasp::SharedDependencyGraph , Clasp::Asp::LogicProgram
• numAuxVars() : Clasp::Solver
• numBinary() : Clasp::ShortImplicationsGraph , Clasp::SharedContext
• numBodies() : Clasp::Asp::LogicProgram , Clasp::SharedDependencyGraph
• numClauses() : Clasp::SatPreprocessor
• numConstraints() : Clasp::ProblemStats , Clasp::SharedContext , Clasp::Solver
• numData() : Clasp::Assignment
• numDisjunctions() : Clasp::Asp::LogicProgram
• numEdges() : Clasp::ShortImplicationsGraph
• numEliminatedVars() : Clasp::SharedContext
• numFreeVars() : Clasp::Solver
• numLearnt() : Clasp::ShortImplicationsGraph
• numLearntConstraints() : Clasp::Solver
• numLearntShort() : Clasp::SharedContext
• numLits() : Clasp::MinimizeBuilder
• numNonHcfs() : Clasp::SharedDependencyGraph
• numOcc() : Clasp::SatElite::SatElite::OccurList
• numProblemVars() : Clasp::Solver
• numProjectionVars() : Clasp::ModelEnumerator
• numRules() : Clasp::SharedMinimizeData , Clasp::MinimizeBuilder , Clasp::DefaultMinimize
• numSearch() : Clasp::Configuration , Clasp::BasicSatConfig
• numSolver() : Clasp::BasicSolveOptions , Clasp::BasicSatConfig , Clasp::Configuration
• numTernary() : Clasp::SharedContext , Clasp::ShortImplicationsGraph
• numUnary() : Clasp::SharedContext
• numVars() : Clasp::PBBuilder , Clasp::SatBuilder , Clasp::SharedContext , Clasp::Assignment , Clasp::Solver
• numWatches() : Clasp::Solver
• nVal() : Clasp::VarScore