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

- c -

• cadical_kitten : kitten.h
• cadical_solver : cadicalSolver.h
• candidate : fastel.c
• Cba_Man_t : cba.h
• Cba_Ntk_t : cba.h
• Cbs0_Man_t : giaCSatOld.c
• Cbs0_Par_t : giaCSatOld.c
• Cbs0_Que_t : giaCSatOld.c
• Cbs2_Man_t : giaCSat2.c
• Cbs2_Par_t : giaCSat2.c
• Cbs2_Que_t : giaCSat2.c
• Cbs3_Man_t : giaCSat3.c
• Cbs3_Par_t : giaCSat3.c
• Cbs3_Que_t : giaCSat3.c
• Cbs_Man_t : gia.h
• Cbs_Par_t : giaCSat.c
• Cbs_Que_t : giaCSat.c
• CbsP_Man_t : giaCSatP.h
• CbsP_Par_t : giaCSatP.h
• CbsP_Que_t : giaCSatP.h
• CCaDiCaL : ccadical.h
• Ccf_Man_t : giaCCof.c
• Cec2_Man_t : cecSat.c
• Cec2_Par_t : cecSat.c
• Cec3_Man_t : cecSatG.c
• Cec3_Par_t : cecSatG.c
• Cec4_Man_t : cecSatG2.c
• Cec5_Man_t : cecSatG3.c
• Cec_ManFra_t : cecInt.h
• Cec_ManPat_t : cecInt.h
• Cec_ManS_t : cecSim.c
• Cec_ManSat_t : cecInt.h
• Cec_ManSim_t : cecInt.h
• Cec_ParCec_t : cec.h
• Cec_ParChc_t : cec.h
• Cec_ParCor_t : cec.h
• Cec_ParFra_t : cec.h
• Cec_ParSat_t : cec.h
• Cec_ParSeq_t : cec.h
• Cec_ParSim_t : cec.h
• Cec_ParSimGen_t : cec.h
• Cec_ParSmf_t : cec.h
• Cgt_Man_t : cgtInt.h
• Cgt_Par_t : cgt.h
• changes : kimits.h
• Char : bzlib_private.h
• charf : zconf.h
• cinfo : exor.h
• cla : satVec.h
• Cla_Man_t : fraClau.c
• classification : classify.h
• clause : satClause.h, clause.h
• clause_act_t : types.h
• closure : congruence.c
• CloudCacheEntry1 : cloud.h
• CloudCacheEntry2 : cloud.h
• CloudCacheEntry3 : cloud.h
• CloudManager : cloud.h
• CloudNode : cloud.h
• CloudSign : cloud.h
• CloudVar : cloud.h
• Clu_Man_t : fraClaus.c
• Cmd_CommandFuncType : cmd.h
• Cnf_Cut_t : cnf.h
• Cnf_Dat_t : cnf.h
• Cnf_Man_t : cnf.h
• Cof_Fan_t : giaCof.c
• Cof_Man_t : giaCof.c
• Cof_Obj_t : giaCof.c
• ConcreteCell : place_base.h
• ConcreteNet : place_base.h
• config : deflate.c
• cost_t : espresso.h
• counter : walk.c
• countref : vivify.c
• Cov_Man_t : cov.h
• Cov_Obj_t : cov.h
• CSAT_Target_ResultT : csat_apis.h
• Csw_Cut_t : cswInt.h
• Csw_Man_t : cswInt.h
• ct_data : deflate.h
• Cube : exor.h
• Cut_Cell_t : cutPre22.c
• Cut_CMan_t : cutPre22.c
• Cut_Cut_t : cut.h
• Cut_HashTable_t : cutInt.h
• Cut_List_t : cutList.h
• Cut_Man_t : cut.h
• Cut_Oracle_t : cut.h
• Cut_Params_t : cut.h