Here is a list of all struct and union fields with links to the structures/unions they belong to:

- o -

• Obj : Fsim_Man_t_
• obj : hash_element
• Obj1 : Gia_ObjSat_t_
• Obj2 : Gia_ObjSat_t_
• ObjId : Nm_Entry_t_
• obs : saucy
• OccLists() : Minisat::OccLists< Idx, Vec, Deleted >
• 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
• okay() : Minisat::Solver
• one : ApproxInfo , cloudManager , DdManager
• op : code
• opaque : bz_stream , z_stream_s
• operator bool() : Minisat::BoolOption
• operator bool &() : Minisat::BoolOption
• operator const char *() : Minisat::StringOption
• operator const char *&() : Minisat::StringOption
• operator const Lit *() : Minisat::Clause
• operator double() : Minisat::DoubleOption
• operator double &() : Minisat::DoubleOption
• operator int32_t() : Minisat::IntOption
• operator int32_t &() : Minisat::IntOption
• operator T *() : Minisat::vec< T >
• operator!=() : Minisat::lbool , Minisat::Lit , Minisat::Solver::Watcher
• operator&&() : Minisat::lbool
• operator()() : Minisat::CMap< T >::CRefHash , 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
• operator*() : Minisat::StreamBuffer
• operator++() : Minisat::StreamBuffer
• operator<() : Minisat::Lit
• operator=() : Minisat::BoolOption , Minisat::DoubleOption , Minisat::IntOption , Minisat::Map< K, D, H, E > , Minisat::StringOption , Minisat::vec< T >
• operator==() : Minisat::lbool , Minisat::Lit , Minisat::Solver::Watcher
• operator[]() : 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^() : Minisat::lbool
• operator||() : Minisat::lbool
• opt_len : internal_state
• Option() : Minisat::Option
• 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_