| nAssigns | SAT.Solver.Mios.Solver |
| nClauses | SAT.Solver.Mios.Solver |
| neg | SAT.Util.BoolExp, SAT.Util.CNFIO |
| negateLit | SAT.Solver.Mios.Types |
| newBool | SAT.Solver.Mios.Data.Singleton, SAT.Solver.Mios.Types |
| newClauseFromVec | SAT.Solver.Mios.Clause |
| newClauseVector | SAT.Solver.Mios.Clause |
| newDouble | SAT.Solver.Mios.Data.Singleton, SAT.Solver.Mios.Types |
| newInt | SAT.Solver.Mios.Data.Singleton, SAT.Solver.Mios.Types |
| newLit | SAT.Solver.Mios.Types |
| newManager | SAT.Solver.Mios.ClauseManager |
| newSizedVecIntFromList | SAT.Solver.Mios.Data.Vec, SAT.Solver.Mios.Types |
| newSizedVecIntFromUVector | SAT.Solver.Mios.Data.Vec, SAT.Solver.Mios.Types |
| newSolver | SAT.Solver.Mios.Solver |
| newStack | SAT.Solver.Mios.Data.Stack, SAT.Solver.Mios.Internal |
| newVar | SAT.Solver.Mios.Types |
| newVarOrder | SAT.Solver.Mios.Types |
| newVec | SAT.Solver.Mios.Data.Vec, SAT.Solver.Mios.Types |
| newVecBool | SAT.Solver.Mios.Data.VecBool, SAT.Solver.Mios.Internal |
| newVecDouble | SAT.Solver.Mios.Data.VecDouble, SAT.Solver.Mios.Internal |
| newVecWith | SAT.Solver.Mios.Data.Vec, SAT.Solver.Mios.Types |
| newWatcherList | SAT.Solver.Mios.ClauseManager |
| nextReduction | SAT.Solver.Mios.Glucose |
| nLearnts | SAT.Solver.Mios.Solver |
| NullClause | SAT.Solver.Mios.Clause |
| numberOfClauses | |
| 1 (Function) | SAT.Util.BoolExp, SAT.Util.CNFIO |
| 2 (Function) | SAT.Solver.Mios.ClauseManager |
| numberOfVariables | SAT.Util.BoolExp, SAT.Util.CNFIO |
| NumOfBackjump | SAT.Solver.Mios.Solver |
| NumOfRestart | SAT.Solver.Mios.Solver |
| nVars | SAT.Solver.Mios.Solver |