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

- o -

• objCopy() : Rewire::Miaig
• objDist() : Rewire::Miaig
• objFanin0() : Rewire::Miaig
• objFanin1() : Rewire::Miaig
• objFaninNum() : Rewire::Miaig
• objFanins() : Rewire::Miaig
• objIsNode() : Rewire::Miaig
• objIsPi() : Rewire::Miaig
• objIsPo() : Rewire::Miaig
• objLevel() : Rewire::Miaig
• objPiIdx() : Rewire::Miaig
• objPoIdx() : Rewire::Miaig
• objRef() : Rewire::Miaig
• objTravId() : Rewire::Miaig
• objTruth() : Rewire::Miaig
• objType() : Rewire::Miaig
• observed() : CaDiCaL::External, CaDiCaL::Internal
• OccLists() : Gluco2::OccLists< Idx, Vec, Deleted >, Gluco::OccLists< Idx, Vec, Deleted >, Minisat::OccLists< Idx, Vec, Deleted >
• occs() : CaDiCaL::Internal
• occurring() : CaDiCaL::Internal
• okay() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• on_the_fly_strengthen() : CaDiCaL::Internal
• OneCount() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• OneshotManager() : eSLIM::OneshotManager< T >
• operator bool() : CaDiCaL::Instantiator, CaDiCaL::Reluctant, CaDiCaL::Terminal, Gluco2::BoolOption, Gluco::BoolOption, Minisat::BoolOption
• operator bool &() : Gluco2::BoolOption, Gluco::BoolOption, Minisat::BoolOption
• operator const char *() : CaDiCaL::Format, Gluco2::StringOption, Gluco::StringOption, Minisat::StringOption
• operator const char *&() : Gluco2::StringOption, Gluco::StringOption, Minisat::StringOption
• operator const Lit *() : Gluco2::Clause, Gluco::Clause, Minisat::Clause
• operator double() : CaDiCaL::EMA, Gluco2::DoubleOption, Gluco::DoubleOption, Minisat::DoubleOption
• operator double &() : Gluco2::DoubleOption, Gluco::DoubleOption, Minisat::DoubleOption
• operator int32_t() : Gluco2::IntOption, Gluco::IntOption, Minisat::IntOption
• operator int32_t &() : Gluco2::IntOption, Gluco::IntOption, Minisat::IntOption
• operator int64_t() : Gluco2::Int64Option, Gluco::Int64Option
• operator int64_t &() : Gluco2::Int64Option, Gluco::Int64Option
• operator T*() : Gluco2::vec< T >, Gluco::vec< T >, Minisat::vec< T >
• operator!=() : Gluco2::lbool, Gluco2::Lit, Gluco2::Solver::Watcher, Gluco::lbool, Gluco::Lit, Gluco::Solver::Watcher, Minisat::lbool, Minisat::Lit, Minisat::Solver::Watcher
• operator&&() : Gluco2::lbool, Gluco::lbool, Minisat::lbool
• operator()() : CaDiCaL::analyze_bumped_rank, CaDiCaL::analyze_bumped_smaller, CaDiCaL::analyze_trail_larger, CaDiCaL::analyze_trail_negative_rank, CaDiCaL::block_more_occs_size, CaDiCaL::clause_covered_or_smaller, CaDiCaL::clause_lit_less_than, CaDiCaL::clause_smaller_size, CaDiCaL::compact_binary_order, CaDiCaL::compact_binary_rank, CaDiCaL::congruence_occurrences_larger, CaDiCaL::congruence_occurrences_rank, CaDiCaL::elim_more, CaDiCaL::factor_occs_size, CaDiCaL::GateEqualTo, CaDiCaL::Hash, CaDiCaL::less_conditioned, CaDiCaL::lit_smaller, CaDiCaL::litpair_rank, CaDiCaL::litpair_smaller, CaDiCaL::minimize_trail_level_positive_rank, CaDiCaL::minimize_trail_level_smaller, CaDiCaL::minimize_trail_positive_rank, CaDiCaL::minimize_trail_smaller, CaDiCaL::pointer_rank, CaDiCaL::probe_negated_noccs_rank, CaDiCaL::rank_sweep_candidate, CaDiCaL::reduce_less_useful, CaDiCaL::score_smaller, CaDiCaL::shrink_trail_larger, CaDiCaL::shrink_trail_negative_rank, CaDiCaL::smaller_clause_size_rank, CaDiCaL::smaller_pair_first_rank, CaDiCaL::sort_assumptions_positive_rank, CaDiCaL::sort_assumptions_smaller, CaDiCaL::sort_literals_by_var_rank, CaDiCaL::sort_literals_by_var_rank_except, CaDiCaL::sort_literals_by_var_smaller, CaDiCaL::sort_literals_by_var_smaller_except, CaDiCaL::subsume_less_noccs, CaDiCaL::vivify_better_watch, CaDiCaL::vivify_clause_later, CaDiCaL::vivify_flush_smaller, CaDiCaL::vivify_inversesize_rank, CaDiCaL::vivify_inversesize_smaller, CaDiCaL::vivify_more_noccs, CaDiCaL::vivify_more_noccs_kissat, CaDiCaL::vivify_refcount_rank, CaDiCaL::vivify_refcount_smaller, Gluco2::DeepEqual< K >, Gluco2::DeepHash< K >, Gluco2::Equal< K >, Gluco2::Hash< K >, Gluco2::LessThan_default< T >, Gluco2::Option::OptionLt, Gluco2::SimpSolver::ClauseDeleted, Gluco2::SimpSolver::ElimLt, Gluco2::Solver::JustOrderLt2, Gluco2::Solver::VarOrderLt, Gluco2::Solver::WatcherDeleted, Gluco::DeepEqual< K >, Gluco::DeepHash< K >, Gluco::Equal< K >, Gluco::Hash< K >, Gluco::LessThan_default< T >, Gluco::Option::OptionLt, Gluco::SimpSolver::ClauseDeleted, Gluco::SimpSolver::ElimLt, Gluco::Solver::VarOrderLt, Gluco::Solver::WatcherDeleted, Minisat::DeepEqual< K >, Minisat::DeepHash< K >, Minisat::Equal< K >, Minisat::Hash< K >, Minisat::LessThan_default< T >, Minisat::Option::OptionLt, Minisat::SimpSolver::ClauseDeleted, Minisat::SimpSolver::ElimLt, Minisat::Solver::VarOrderLt, Minisat::Solver::WatcherDeleted, reduceDB_lt, rrr::Scheduler< Ntk, Opt, Par >::CompareJobPointers
• operator*() : Gluco2::StreamBuffer, Gluco::StreamBuffer, Minisat::StreamBuffer
• operator++() : CaDiCaL::literal_occ, Gluco2::StreamBuffer, Gluco::StreamBuffer, Minisat::StreamBuffer
• operator+=() : CaDiCaL::Random, rrr::Optimizer< Ntk, Ana >::Stats
• operator<() : CaDiCaL::literal_occ, Gluco2::Lit, Gluco::Lit, Minisat::Lit
• operator=() : CaDiCaL::Random, Gluco2::BoolOption, Gluco2::DoubleOption, Gluco2::Int64Option, Gluco2::IntOption, Gluco2::StringOption, Gluco::BoolOption, Gluco::DoubleOption, Gluco::Int64Option, Gluco::IntOption, Gluco::StringOption, kitty::dynamic_truth_table, kitty::static_truth_table< NumVars, false >, kitty::static_truth_table< NumVars, true >, Minisat::BoolOption, Minisat::DoubleOption, Minisat::IntOption, Minisat::StringOption, Rewire::Miaig, rrr::AndNetwork
• operator==() : CaDiCaL::Gate, Gluco2::lbool, Gluco2::Lit, Gluco2::Solver::Watcher, Gluco::lbool, Gluco::Lit, Gluco::Solver::Watcher, Minisat::lbool, Minisat::Lit, Minisat::Solver::Watcher, Rewire::Miaig
• operator[]() : Gluco2::Clause, Gluco2::ClauseAllocator, Gluco2::CMap< T >, Gluco2::Heap2< Comp, Obj >, Gluco2::Heap< Comp >, Gluco2::Map< K, D, H, E >, Gluco2::OccLists< Idx, Vec, Deleted >, Gluco2::Queue< T >, Gluco2::RegionAllocator< T >, Gluco2::vec< T >, Gluco::Clause, Gluco::ClauseAllocator, Gluco::CMap< T >, Gluco::Heap< Comp >, Gluco::Map< K, D, H, E >, Gluco::OccLists< Idx, Vec, Deleted >, Gluco::Queue< T >, Gluco::RegionAllocator< T >, Gluco::vec< T >, Minisat::Clause, Minisat::ClauseAllocator, Minisat::CMap< T >, Minisat::Heap< Comp >, Minisat::Map< K, D, H, E >, Minisat::OccLists< Idx, Vec, Deleted >, Minisat::Queue< T >, Minisat::RegionAllocator< T >, Minisat::vec< T >
• operator^() : Gluco2::lbool, Gluco::lbool, Minisat::lbool
• operator||() : Gluco2::lbool, Gluco::lbool, Minisat::lbool
• OptimizationStartup() : Ttopt::TruthTableCare
• Optimize() : Ttopt::TruthTableCare
• optimize() : CaDiCaL::Options, CaDiCaL::Solver
• Optimizer() : rrr::Optimizer< Ntk, Ana >, rrr::Optimizer< Ntk, Ana >::Stats
• Option() : Gluco2::Option, Gluco::Option, Minisat::Option
• Options() : CaDiCaL::Options
• options() : CaDiCaL::Solver
• Or() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• otfs_find_backtrack_level() : CaDiCaL::Internal
• otfs_strengthen_clause() : CaDiCaL::Internal, CaDiCaL::Proof
• otfs_subsume_clause() : CaDiCaL::Internal