Here is a list of all functions with links to the files they belong to:

- o -

• OF() : crc32.c, deflate.c, deflate.h, gzguts.h, gzlib.c, gzread.c, gzwrite.c, infback.c, inffast.h, inflate.c, inftrees.h, trees.c, zlib.h, zutil.c, zutil.h
• Of_CutDeref_rec() : giaOf.c
• Of_CutRef2_rec() : giaOf.c
• Of_CutRef_rec() : giaOf.c
• Of_ManAreaFlow() : giaOf.c
• Of_ManComputeBackward1() : giaOf.c
• Of_ManComputeBackward2() : giaOf.c
• Of_ManComputeBackward3() : giaOf.c
• Of_ManComputeBackwardDircon1() : giaOf.c
• Of_ManComputeCuts() : giaOf.c
• Of_ManComputeForward1() : giaOf.c
• Of_ManComputeForward2() : giaOf.c
• Of_ManComputeForwardDircon1() : giaOf.c
• Of_ManComputeForwardDirconCut() : giaOf.c
• Of_ManComputeForwardDirconObj() : giaOf.c
• Of_ManCreateSat() : giaOf.c
• Of_ManDeriveMapping() : giaOf.c
• Of_ManPerformMapping() : giaOf.c
• Of_ManPrintCuts() : giaOf.c
• Of_ManPrintInit() : giaOf.c
• Of_ManPrintQuit() : giaOf.c
• Of_ManPrintStats() : giaOf.c
• Of_ManSetDefaultPars() : giaOf.c
• Of_ObjMergeOrder() : giaOf.c
• Of_StoCreate() : giaOf.c
• Of_StoDelete() : giaOf.c
• oneBitPosition() : luckySimple.c
• Opa_ManMoveOne() : giaCone.c
• Opa_ManPerform() : giaCone.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
• oSortDependencies() : abcBm.c
• oSplitByDep() : abcBm.c
• output_phase_setup() : espresso.h, opo.c
• output_symbolic_constraints() : cvrout.c, espresso.h