- n -

• n : smtrat::qe::cad::CADElimination
• n_sb_iterations : smtrat::cadcells::representation::approximation::ApxSettings
• name : Minisat::Option , smtrat::cad::debug::DotSubgraph
• neg : smtrat::mcsat::fm::Bound
• negation : smtrat::expression::ExpressionContent
• negative_poly : smtrat::cadcells::datastructures::PolyPool
• NEQ : smtrat::covering_ng::formula::pp::PolyInfo
• neqRepresentation : smtrat::lra::Bound< T1, T2 >::Info
• newBound : smtrat::lra::Tableau< Settings, T1, T2 >::LearnedBound
• newLimit : smtrat::lra::Tableau< Settings, T1, T2 >::LearnedBound
• newVar : smtrat::mcsat::InformationGetter
• nextPriority : smtrat::StrategyGraph
• nextTheoryVar : smtrat::TheoryVarSchedulerStatic< vot >
• nextWeakerBound : smtrat::lra::Tableau< Settings, T1, T2 >::LearnedBound
• node : benchmax::ssh::SSHConnection
• nodes : benchmax::settings::SSHBackendSettings , smtrat::cad::debug::DotSubgraph
• nonbasic_var_choice_strategy : smtrat::lra::TableauSettings1
• normal_vector : smtrat::subtropical::Moment
• NORMALIZE_CONSTRAINTS : smtrat::PBPPSettingsBase , smtrat::PBPPSettingsCardinalityOnly05Normalize , smtrat::PBPPSettingsCardinalityOnly20Normalize , smtrat::PBPPSettingsLIAOnlyWithNormalize , smtrat::PBPPSettingsWithNormalize
• nullVariable : smtrat::MonomialMappingByVariablePool
• number : smtrat::parser::BinaryParser , smtrat::parser::BitvectorConstantParser , smtrat::parser::HexadecimalParser
• number_of_reusages_after_target_diameter_reached : smtrat::ICPSettings1
• numeral : smtrat::parser::IdentifierParser , smtrat::parser::ScriptParser< Callee > , smtrat::parser::SpecConstantParser