- n -

• nAssigns() : Minisat::Solver
• nClauses() : Minisat::Solver
• newDecisionLevel() : Minisat::Solver
• newVar() : Minisat::SimpSolver , Minisat::Solver
• nextCap() : Minisat::vec< T >
• nFreeVars() : Minisat::Solver
• nLearnts() : Minisat::Solver
• nVars() : Minisat::Solver