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

- o -

• Obj : Fsim_Man_t_
• obj : hash_element
• Obj1 : Gia_ObjSat_t_
• Obj2 : Gia_ObjSat_t_
• ObjId : Nm_Entry_t_
• ObjVals : Maj3_Man_t_
• obs : saucy
• occurrences : closure
• 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
• on : Dsc_node_t_
• one : CaDiCaL::Stats, cloudManager
• ones : Ttopt::TruthTable
• op : code
• opaque : bz_stream, z_stream_s
• opt_len : internal_state
• optimizable : CaDiCaL::Option
• opts : CaDiCaL::Internal, solver_t_
• 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
• 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_