Here is a list of all documented variables with links to the class documentation for each member:

- n -

• n_assertions : dlinear::SmtSolverOutput
• n_lower_bounds_ : dlinear::BoundVector
• naive_cnfizer_ : dlinear::PlaistedGreenbaumCnfizer, dlinear::TseitinCnfizer
• names_ : dlinear::drake::symbolic::Variable
• next_var_id_ : dlinear::CadicalSatSolver
• nextUniqueId_ : dlinear::smt2::Smt2Driver, dlinear::vnnlib::VnnlibDriver
• ninfinity_ : dlinear::SoplexTheorySolver
• nnfizer_ : dlinear::NaiveCnfizer
• node_handlers : dlinear::onnx::OnnxDriver
• nq_bounds_ : dlinear::BoundVector
• nq_bounds_it_ : dlinear::BoundIterator
• nq_explanations_ : dlinear::CompleteSoplexTheorySolver
• nq_row_to_theory_rows_ : dlinear::CompleteSoplexTheorySolver