- c -

• c : cloudCacheEntry3 , Kit_Mux_t_ , MarkCacheKey
• cache : DdManager
• cachecollisions : DdManager
• cachedeletions : DdManager
• cacheHits : DdManager
• cacheinserts : DdManager
• cacheLastInserts : DdManager
• cacheMisses : DdManager
• cacheShift : DdManager
• cacheSlack : DdManager
• cacheSlots : DdManager
• CanonPerm : Cut_Cell_t_
• CanonPhase : Cut_Cell_t_
• cap : sat_solver_t , veci_t , vecp_t
• capacity : set_family
• care : NodeData
• child : MtrNode
• cla_decay : sat_solver_t
• cla_inc : sat_solver_t
• ClassBest : Dar_Man_t_
• ClassGains : Dar_Man_t_
• ClassSubgs : Dar_Man_t_
• ClassTimes : Dar_Man_t_
• clauses : stats_t , sat_solver_t
• clauses_literals : stats_t
• cnext : LocalQueueItem , DdQueueItem , GlobalQueueItem
• cnt : pair_struct
• col_num : sm_element_struct , sm_col_struct
• cols : sm_matrix_struct
• cols_size : sm_matrix_struct
• comp_count : stats_struct
• compare : st_table , stmm_table
• component : stats_struct
• compResult : NodeDist
• conflicts : stats_t
• constants : DdManager
• cost : solution_struct
• Cost : If_Cut_t_ , Ivy_Eval_t_ , Csw_Cut_t_ , Cnf_Cut_t_
• count : set_family , DdHashItem
• countDead : DdManager
• Counter : Int_Man_t_ , Pr_Man_t_
• CrossBar0 : Cut_Cell_t_
• CrossBar1 : Cut_Cell_t_
• CrossBarPhase : Cut_Cell_t_
• cube : DdGen
• cubes : DdGen , cost_struct
• CutBest : If_Obj_t_