• bdd_approx_dir_t : bdd.h
• bdd_approx_type_t : bdd.h
• bdd_gen_status : bdd.h
• bdd_gen_type : calPortIter.c , cmuPortIter.c
• bdd_hook_type_t : bdd.h
• bdd_package_type_t : bdd.h
• bdd_partition_type_t : bdd.h
• bdd_reorder_type_t : bdd.h
• bdd_reorder_verbosity_t : bdd.h
• Cal_BddOpEnum : cal.h
• CalPipeStateEnum : calInt.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
• mvar_status : mdd.h
• st_retval : st.h