- a -

• Abc_InitType_t : abc.h
• Abc_NtkFunc_t : abc.h
• Abc_NtkType_t : abc.h
• Abc_ObjType_t : abc.h
• Aig_Type_t : aig.h

- b -

• Bdc_Type_t : bdcInt.h

- c -

• CloudOper : cloud.h
• CSAT_CallerT : csat_apis.h
• CSAT_OptionT : csat_apis.h
• CSAT_StatusT : csat_apis.h
• Cudd_AggregationType : cudd.h
• Cudd_ErrorType : cudd.h
• Cudd_HookType : cudd.h
• Cudd_LazyGroupType : cudd.h
• Cudd_ReorderingType : cudd.h
• Cudd_VariableType : cudd.h

- d -

• Dsd_Type_t_ : dsd.h

- e -

• Extra_CharType_t : extraUtilReader.c

- g -

• GateType : csat_apis.h

- h -

• Hop_Type_t : hop.h

- i -

• If_Type_t : if.h
• Io_BlifInit_t : ioReadBlifAig.c
• Io_FileType_t : io.h
• Ivy_DecType_t : ivyDsd.c
• Ivy_Init_t : ivy.h
• Ivy_Type_t : ivy.h

- k -

• keys : main.h
• Kit_Dsd_t : kit.h

- m -

• Mio_PinPhase_t : mio.h
• Msat_Type_t : msat.h

- r -

• reo_min_type : reo.h
• Rtm_Init_t : aigRet.c

- s -

• st_retval : st.h
• stmm_retval : stmm.h

- v -

• Vec_AttrType_t : vecAtt.h
• Ver_GateType_t : verCore.c
• Ver_SignalType_t : verCore.c