- a -

• ApplInfo_t : ntkNtk.c
• ASIMPLY_FN : puresatArosat.c

- b -

• BfsItem : synthDiv.c
• BfsList : synthDiv.c
• BlockInfo_t : amcBlock.c
• BlockSubsystemInfo_t : amcBlock.c

- c -

• ClusterList_t : imgMlp.c
• ClusterSortedList_t : imgMlp.c
• CommandDescr_t : cmdCmd.c
• CtrInfo_t : imgIwls95.c
• CtrItem_t : imgIwls95.c

- f -

• FairnessConjunct_t : fsmFair.c
• FsmHdSizeStruct_t : fsmHD.c

- g -

• gns_t : mcSCC.c

- i -

• IMPLY_FN : satImplication.c
• Iwls95Info_t : imgIwls95.c

- l -

• LatchList_t : imgMlp.c

- m -

• McGSHOpSet_t : mcGFP.c
• MlSizeList : synthFactor.c

- o -

• OrderingState_t : ordNodes.c

- p -

• pair : ordPerm.c
• Proc_Com_Graph : ordPerm.c
• proc_struct : ordPerm.c

- r -

• RcInfo_t : imgMlp.c
• RcList_t : imgMlp.c
• RcListInfo_t : imgMlp.c

- s -

• SccList_t : imgMlp.c

- t -

• TruthTableLine : synthWrite.c

- v -

• Var_Ord_t : tblUtil.c
• VarInfo_t : imgIwls95.c
• VarItem_t : imgIwls95.c