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

- o -

• Odc_ForEachAnd : abcOdc.c
• Odc_ForEachPi : abcOdc.c
• OF : zconf.h
• OF_CUT_EXTRA : giaOf.c
• OF_CUT_MAX : giaOf.c
• Of_CutForEachVar : giaOf.c
• Of_CutForEachVarFlag : giaOf.c
• OF_LEAF_MAX : giaOf.c
• OF_NO_FUNC : giaOf.c
• OF_NO_LEAF : giaOf.c
• OF_NUM : giaOf.c
• OF_NUMINV : giaOf.c
• Of_ObjForEachCut : giaOf.c
• Of_SetForEachCut : giaOf.c
• OFF : inffast.c
• ONE : espresso.h
• ONSET_TIME : espresso.h
• OPTION : cadical_options.cpp, options.hpp, kptions.c, options.h
• OPTIONS : options.hpp, options.h
• OS_CODE : zutil.h
• OUT : espresso.h
• OUTLABEL : espresso.h