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

- o -

• Obj : Fsim_Man_t_
• obj : hash_element
• Obj1 : Gia_ObjSat_t_
• Obj2 : Gia_ObjSat_t_
• objCopy() : Rewire::Miaig
• objDist() : Rewire::Miaig
• objFanin0() : Rewire::Miaig
• objFanin1() : Rewire::Miaig
• objFaninNum() : Rewire::Miaig
• objFanins() : Rewire::Miaig
• ObjId : Nm_Entry_t_
• 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
• ObjVals : Maj3_Man_t_
• obs : saucy
• ObserveCall : CaDiCaL::Solver
• observed() : CaDiCaL::External, CaDiCaL::Internal
• OccLists() : Gluco2::OccLists< Idx, Vec, Deleted >, Gluco::OccLists< Idx, Vec, Deleted >, Minisat::OccLists< Idx, Vec, Deleted >
• occs() : CaDiCaL::Internal
• occurrences : closure
• occurring() : CaDiCaL::Internal
• occurs : Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• oDep : saucy
• off : Dsc_node_t_
• Offset : Dau_Dsd_t_, Io_BlifObj_t_, Kit_DsdObj_t_
• offset : CaDiCaL::vivify_refcount_rank, CaDiCaL::vivify_refcount_smaller, inflate_state, offsetsize, vector
• offsetsize : CaDiCaL::Closure
• ok : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• okay() : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• on : Dsc_node_t_
• on_the_fly_strengthen() : CaDiCaL::Internal
• one : CaDiCaL::Stats, cloudManager
• OneCount() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• ones : Ttopt::TruthTable
• OneshotManager() : eSLIM::OneshotManager< T >
• op : code
• opaque : bz_stream, z_stream_s
• 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
• opt_len : internal_state
• optimizable : CaDiCaL::Option
• OptimizationStartup() : Ttopt::TruthTableCare
• Optimize() : Ttopt::TruthTableCare
• optimize() : CaDiCaL::Options, CaDiCaL::Solver
• Optimizer() : rrr::Optimizer< Ntk, Ana >, rrr::Optimizer< Ntk, Ana >::Stats
• Option : CaDiCaL::Options, Gluco2::Option, Gluco::Option, Minisat::Option
• Options() : CaDiCaL::Options
• options() : CaDiCaL::Solver
• opts : CaDiCaL::Internal, solver_t_
• Or() : NewBdd::Man, NewTt::Man, rrr::NewBdd::Man
• Order : Kit_ManDec_t_, SC_Cell_
• order : sat_solver2_t, sat_solver3_t, sat_solver_t
• order_heap : Gluco2::Solver, Gluco::Solver, Minisat::Solver
• orderpos : sat_solver2_t, sat_solver3_t, sat_solver_t
• OrigId : Unr_Obj_t_
• original : CaDiCaL::Checker, CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::LratChecker, CaDiCaL::Stats, statistics
• original_id : CaDiCaL::Internal
• originals : solver_t_
• originalt : Ttopt::TruthTableCare
• origPtr : DState, EState
• os : gz_header_s
• otab : CaDiCaL::Internal
• otfs : CaDiCaL::Stats
• otfs_find_backtrack_level() : CaDiCaL::Internal
• otfs_strengthen_clause() : CaDiCaL::Internal, CaDiCaL::Proof
• otfs_subsume_clause() : CaDiCaL::Internal
• other : CaDiCaL::sweep_binary
• Out : Abc_Frame_t_, Gia_MapLut_t_
• out : cost_struct, gz_state
• OutBest : Dar_Man_t_
• outGold : Cec_ParSimGen_t_
• OutNumBest : Dar_Man_t_
• Output : Io_ReadBlif_t_, Sim_Pat_t_, Ver_Man_t_
• output : cube_struct
• outVec : sim_result
• outVecOnes : sim_result
• Over : Lpk_Set_t_