Here is a list of all functions with links to the classes they belong to:

- n -

• name() : CaDiCaL::File, CaDiCaL::Signal
• nAssigns() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• nClauses() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• negate_both() : CaDiCaL::lit_equivalence
• negative_horn_satisfiable() : CaDiCaL::Internal
• new_and_gate() : CaDiCaL::Closure
• new_clause() : CaDiCaL::Closure, CaDiCaL::Internal
• new_clause_as() : CaDiCaL::Internal
• new_driving_clause() : CaDiCaL::Internal
• new_factor_clause() : CaDiCaL::Internal
• new_hyper_binary_resolved_clause() : CaDiCaL::Internal
• new_hyper_ternary_resolved_clause() : CaDiCaL::Internal
• new_hyper_ternary_resolved_clause_and_watch() : CaDiCaL::Internal
• new_ite_gate() : CaDiCaL::Closure
• new_largecounts() : CaDiCaL::Closure
• new_learned_redundant_clause() : CaDiCaL::Internal
• new_proof_on_demand() : CaDiCaL::Internal
• new_quotient() : CaDiCaL::Internal
• new_resolved_irredundant_clause() : CaDiCaL::Internal
• new_tmp_clause() : CaDiCaL::Closure
• new_trail_level() : CaDiCaL::Internal
• new_xor_gate() : CaDiCaL::Closure
• newDecisionLevel() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• newVar() : Gluco2::SimpSolver, Gluco2::Solver, Gluco::SimpSolver, Gluco::Solver, Minisat::SimpSolver, Minisat::Solver
• next() : CaDiCaL::Random
• next_decision_variable() : CaDiCaL::Internal
• next_decision_variable_on_queue() : CaDiCaL::Internal
• next_decision_variable_with_best_score() : CaDiCaL::Internal
• next_factor() : CaDiCaL::Internal
• next_probe() : CaDiCaL::Internal
• next_scheduled() : CaDiCaL::Internal
• nFreeVars() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• nIns() : Rewire::Miaig
• nLearnts() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• nObjs() : Rewire::Miaig
• nObjsAlloc() : Rewire::Miaig
• noccs() : CaDiCaL::Internal
• normal() : CaDiCaL::Terminal
• normal_code() : CaDiCaL::Terminal
• normalize_ite_lits_gate() : CaDiCaL::Closure
• notify_assignment() : CaDiCaL::ExternalPropagator
• notify_assignments() : CaDiCaL::Internal
• notify_backtrack() : CaDiCaL::ExternalPropagator, CaDiCaL::Internal
• notify_decision() : CaDiCaL::Internal
• notify_fixed_assignment() : CaDiCaL::FixedAssignmentListener
• notify_new_decision_level() : CaDiCaL::ExternalPropagator
• nOuts() : Rewire::Miaig
• nTravIds() : Rewire::Miaig
• num_bits() : kitty::dynamic_truth_table, kitty::static_truth_table< NumVars, false >, kitty::static_truth_table< NumVars, true >
• num_blocks() : kitty::dynamic_truth_table, kitty::static_truth_table< NumVars, false >, kitty::static_truth_table< NumVars, true >
• num_vars() : kitty::dynamic_truth_table, kitty::static_truth_table< NumVars, false >, kitty::static_truth_table< NumVars, true >
• number_from_xor_reason() : CaDiCaL::Closure
• number_from_xor_reason_reversed() : CaDiCaL::Closure
• nVars() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• nWords() : Rewire::Miaig