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

- p -

• Param() : NewBdd::Param, NewTt::Param, rrr::NewBdd::Param
• parse() : Gluco2::BoolOption, Gluco2::DoubleOption, Gluco2::Int64Option, Gluco2::IntOption, Gluco2::Option, Gluco2::StringOption, Gluco::BoolOption, Gluco::DoubleOption, Gluco::Int64Option, Gluco::IntOption, Gluco::Option, Gluco::StringOption, Minisat::BoolOption, Minisat::DoubleOption, Minisat::IntOption, Minisat::Option, Minisat::StringOption
• parse_dimacs() : CaDiCaL::Internal, CaDiCaL::Parser
• parse_long_option() : CaDiCaL::Options
• parse_solution() : CaDiCaL::Internal, CaDiCaL::Parser
• Parser() : CaDiCaL::Parser
• Partitioner() : rrr::Partitioner< Ntk >
• peek() : Gluco2::bqueue< T >, Gluco2::Map< K, D, H, E >, Gluco2::Queue< T >, Gluco::bqueue< T >, Gluco::Map< K, D, H, E >, Gluco::Queue< T >, Minisat::Map< K, D, H, E >, Minisat::Queue< T >
• phase() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver
• pick_double() : CaDiCaL::Random
• pick_int() : CaDiCaL::Random
• pick_log() : CaDiCaL::Random
• pickBranchLit() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• pickJustLit() : Gluco2::Solver
• piping() : CaDiCaL::File
• pop() : Gluco2::bqueue< T >, Gluco2::Clause, Gluco2::Queue< T >, Gluco2::vec< T >, Gluco::bqueue< T >, Gluco::Clause, Gluco::Queue< T >, Gluco::vec< T >, Minisat::Clause, Minisat::Queue< T >, Minisat::vec< T >, Reap
• pop_front() : CaDiCaL::heap< C >
• PopBack() : rrr::AndNetwork
• position() : Gluco2::StreamBuffer, Gluco::StreamBuffer, Minisat::StreamBuffer
• positive_horn_satisfiable() : CaDiCaL::Internal
• prefix() : CaDiCaL::Solver
• prelocate() : Gluco2::Heap2< Comp, Obj >, Gluco2::Heap< Comp >, Gluco2::OccLists< Idx, Vec, Deleted >, Gluco2::SimpSolver, Gluco2::Solver, Gluco2::vec< T >
• prepare() : CaDiCaL::Arena
• preprocess() : CaDiCaL::Internal
• preprocess_quickly() : CaDiCaL::Internal
• preprocess_round() : CaDiCaL::Internal
• Print() : rrr::AndNetwork, Transduction::Transduction< Man, Param, lit, LitMax >
• print() : CaDiCaL::Options, CaDiCaL::Stats, Rewire::Miaig
• print_resource_usage() : CaDiCaL::Internal
• print_statistics() : CaDiCaL::Internal
• print_stats() : CaDiCaL::Checker, CaDiCaL::LratChecker, CaDiCaL::StatTracer
• printClause() : Gluco2::Solver, Gluco::Solver
• printIncrementalStats() : Gluco2::Solver, Gluco::Solver
• printInitialClause() : Gluco2::Solver, Gluco::Solver
• printLit() : Gluco2::Solver, Gluco::Solver
• PrintNode() : NewTt::Man
• PrintObjs() : Transduction::Transduction< Man, Param, lit, LitMax >
• PrintPfHeader() : Transduction::Transduction< Man, Param, lit, LitMax >
• PrintStats() : NewBdd::Man, rrr::NewBdd::Man, Transduction::Transduction< Man, Param, lit, LitMax >
• probe() : CaDiCaL::Internal
• probe_assign() : CaDiCaL::Internal
• probe_assign_decision() : CaDiCaL::Internal
• probe_assign_unit() : CaDiCaL::Internal
• probe_dominator() : CaDiCaL::Internal
• probe_dominator_lrat() : CaDiCaL::Internal
• probe_lrat_for_units() : CaDiCaL::Internal
• probe_negated_noccs_rank() : CaDiCaL::probe_negated_noccs_rank
• probe_post_dominator_lrat() : CaDiCaL::Internal
• probe_propagate() : CaDiCaL::Internal
• probe_propagate2() : CaDiCaL::Internal
• process_time() : CaDiCaL::Internal
• produce_eager_representative_lrat() : CaDiCaL::Closure
• produce_failed_assumptions() : CaDiCaL::Internal
• produce_ite_merge_lhs_then_else_reasons() : CaDiCaL::Closure
• produce_ite_merge_then_else_reasons() : CaDiCaL::Closure
• produce_representative_lrat() : CaDiCaL::Closure
• produce_rewritten_clause_lrat() : CaDiCaL::Closure
• produce_rewritten_clause_lrat_and_clean() : CaDiCaL::Closure
• progressEstimate() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• promote_clause() : CaDiCaL::Closure, CaDiCaL::Internal
• promote_clause_glue_only() : CaDiCaL::Internal
• Proof() : CaDiCaL::Proof
• Propagate() : rrr::AndNetwork
• propagate() : CaDiCaL::Internal, CaDiCaL::Solver, Gluco2::Solver, Gluco::Solver, Minisat::Solver
• propagate_assumptions() : CaDiCaL::External, CaDiCaL::Internal
• propagate_equivalence() : CaDiCaL::Closure
• propagate_out_of_order_units() : CaDiCaL::Internal
• propagate_unit() : CaDiCaL::Closure
• propagate_units() : CaDiCaL::Closure
• propagate_units_and_equivalences() : CaDiCaL::Closure
• propergate() : CaDiCaL::Internal
• propfixed() : CaDiCaL::Internal
• protect_reasons() : CaDiCaL::Internal
• pure() : CaDiCaL::Flags
• push() : Gluco2::bqueue< T >, Gluco2::vec< T >, Gluco::bqueue< T >, Gluco::vec< T >, Minisat::vec< T >, Reap
• push_() : Gluco2::vec< T >, Gluco::vec< T >, Minisat::vec< T >
• push_back() : CaDiCaL::heap< C >
• push_binary_clause_on_extension_stack() : CaDiCaL::External
• push_clause_literal_on_extension_stack() : CaDiCaL::External
• push_clause_on_extension_stack() : CaDiCaL::External
• push_external_clause_and_witness_on_extension_stack() : CaDiCaL::External
• push_id_and_rewriting_lrat_full() : CaDiCaL::Closure
• push_id_and_rewriting_lrat_unit() : CaDiCaL::Closure
• push_id_on_chain() : CaDiCaL::Closure
• push_id_on_extension_stack() : CaDiCaL::External
• push_literals_of_block() : CaDiCaL::Internal
• push_lrat_id() : CaDiCaL::Closure
• push_lrat_unit() : CaDiCaL::Closure
• push_witness_literal_on_extension_stack() : CaDiCaL::External
• push_zero_on_extension_stack() : CaDiCaL::External
• pushJustQueue() : Gluco2::Solver
• put() : CaDiCaL::File