- a -

• Abc_InitType_t : abc.h
• Abc_NtkFunc_t : abc.h
• Abc_NtkType_t : abc.h
• Abc_ObjType_t : abc.h
• Abc_VerbLevel : abc_global.h
• Abc_ZddOper : extraUtilPerm.c
• Aig_Type_t : aig.h
• Amap_LibertyType_t : amapLiberty.c
• Amap_PinPhase_t : amapRead.c
• Amap_Type_t : amapInt.h
• Au_Type_t : abcHieNew.c

- b -

• Bbl_Type_t : bblif.h
• Bdc_Type_t : bdcInt.h
• block_state : deflate.c

- c -

• Cba_BlifType_t : cbaReadBlif.c
• Cba_NodeType_t : cba.h
• Cba_ObjType_t : cba.h
• Cba_PrsType_t : cbaPrs.h
• Cba_VerType_t : cbaReadVer.c
• CloudOper : cloud.h
• codetype : inftrees.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 -

• Dau_DsdType_t : dau.h
• Dsd_Type_t_ : dsd.h

- e -

• Extra_CharType_t : extraUtilReader.c

- g -

• GateType : csat_apis.h

- h -

• Hop_Type_t : hop.h

- i -

• If_DsdType_t : ifDsd.c
• If_Type_t : if.h
• Ifn_DsdType_t : ifTune.c
• inflate_mode : inflate.h
• Io_BlifInit_t : ioReadBlifAig.c
• Io_FileType_t : ioAbc.h
• Ivy_DecType_t : ivyDsd.c
• Ivy_Init_t : ivy.h
• Ivy_Type_t : ivy.h

- k -

• keys : misc/espresso/main.h
• Kit_Dsd_t : kit.h

- l -

• ltlGrammerToken : ltl_parser.c
• ltlToken : ltl_parser.c

- m -

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

- n -

• Nwk_Type_t : nwk.h

- o -

• Operator_t : literal.h

- p -

• Ptr_ObjType_t : cbaSimple.c

- r -

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

- s -

• SC_Dir : sclLib.h
• SC_TSense : sclLib.h
• Scl_LibertyType_t : sclLiberty.c
• st__retval : st.h
• stmm_retval : stmm.h

- v -

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

- w -

• Wlc_ObjType_t : wlc.h