- o -

• Odc_And() : abcOdc.c
• Odc_Const0() : abcOdc.c
• Odc_Const1() : abcOdc.c
• Odc_HashKey() : abcOdc.c
• Odc_HashLookup() : abcOdc.c
• Odc_IsComplement() : abcOdc.c
• Odc_IsConst() : abcOdc.c
• Odc_IsTerm() : abcOdc.c
• Odc_Lit2Obj() : abcOdc.c
• Odc_ManIncrementTravId() : abcOdc.c
• Odc_NodeNum() : abcOdc.c
• Odc_Not() : abcOdc.c
• Odc_NotCond() : abcOdc.c
• Odc_Obj2Lit() : abcOdc.c
• Odc_ObjChild0() : abcOdc.c
• Odc_ObjChild1() : abcOdc.c
• Odc_ObjFanin0() : abcOdc.c
• Odc_ObjFanin1() : abcOdc.c
• Odc_ObjFaninC0() : abcOdc.c
• Odc_ObjFaninC1() : abcOdc.c
• Odc_ObjIsTravIdCurrent() : abcOdc.c
• Odc_ObjNew() : abcOdc.c
• Odc_ObjNum() : abcOdc.c
• Odc_ObjSetTravIdCurrent() : abcOdc.c
• Odc_ObjTruth() : abcOdc.c
• Odc_Or() : abcOdc.c
• Odc_PiNum() : abcOdc.c
• Odc_Regular() : abcOdc.c
• Odc_Var() : abcOdc.c
• Odc_Xor() : abcOdc.c
• onexit() : stdlib_hack.h
• open_file() : testcudd.c
• open_libs() : libSupport.c
• opo() : espresso.h , opo.c
• opo_leaf() : espresso.h , opo.c
• opo_recur() : espresso.h , opo.c
• opoall() : espresso.h , opo.c
• order_assigned() : satSolver.c
• order_select() : satSolver.c
• order_unassigned() : satSolver.c
• order_update() : satSolver.c
• output_phase_setup() : opo.c , espresso.h
• output_symbolic_constraints() : cvrout.c , espresso.h