- o -

• ObjId : Nm_Entry_t_
• oddBotDist : NodeDist
• oddTopDist : NodeDist
• Offset : Kit_DsdObj_t_ , Io_BlifObj_t_
• one : DdManager , cloudManager , ApproxInfo
• order : sat_solver_t
• orderpos : sat_solver_t
• Out : Abc_Frame_t_
• out : DdManager , cost_struct
• OutBest : Dar_Man_t_
• OutNumBest : Dar_Man_t_
• Output : Io_ReadBlif_t_ , Sim_Pat_t_
• output : cube_struct
• Output : Ver_Man_t_
• Over : Lpk_Set_t_