- o -

• Obj : Fsim_Man_t_
• obj : hash_element
• Obj1 : Gia_ObjSat_t_
• Obj2 : Gia_ObjSat_t_
• ObjId : Nm_Entry_t_
• obs : saucy
• occs : Minisat::OccLists< Idx, Vec, Deleted >
• occurs : Minisat::SimpSolver
• oddBotDist : NodeDist
• oddTopDist : NodeDist
• oDep : saucy
• Offset : Dau_Dsd_t_
• offset : inflate_state
• Offset : Io_BlifObj_t_ , Kit_DsdObj_t_
• ok : Minisat::Solver
• one : ApproxInfo , cloudManager , DdManager
• op : code
• opaque : bz_stream , z_stream_s
• opt_len : internal_state
• Order : Kit_ManDec_t_
• order : sat_solver2_t , sat_solver_t
• Order : SC_Cell_
• order_heap : Minisat::Solver
• orderpos : sat_solver2_t , sat_solver_t
• OrigId : Unr_Obj_t_
• origPtr : DState , EState
• os : gz_header_s
• Out : Abc_Frame_t_
• out : cost_struct , DdManager , gz_state
• OutBest : Dar_Man_t_
• OutNumBest : Dar_Man_t_
• output : cube_struct
• Output : Io_ReadBlif_t_ , Sim_Pat_t_ , Ver_Man_t_
• outVec : sim_result
• outVecOnes : sim_result
• Over : Lpk_Set_t_