Here is a list of all struct and union fields with links to the structures/unions they belong to:

- c -

• c : cloudCacheEntry3 , Kit_Mux_t_ , MarkCacheKey
• ca : Minisat::SimpSolver::ClauseDeleted , Minisat::Solver , Minisat::Solver::WatcherDeleted , reduceDB_lt
• Cache : Dau_Dsd_t_
• cache : DdManager
• cachecollisions : DdManager
• cachedeletions : DdManager
• cacheHits : DdManager
• cacheinserts : DdManager
• cacheLastInserts : DdManager
• cacheMisses : DdManager
• cacheShift : DdManager
• cacheSlack : DdManager
• cacheSlots : DdManager
• calcAbstraction() : Minisat::Clause
• calculatedBlockCRC : DState
• calculatedCombinedCRC : DState
• cancelUntil() : Minisat::Solver
• CanonPerm : Cut_Cell_t_
• CanonPhase : Cut_Cell_t_
• cap : Minisat::Map< K, D, H, E > , Minisat::RegionAllocator< T > , Minisat::vec< T > , sat_solver2_t , sat_solver_t , SC_Pin_ , SC_WireLoad_ , veci_t , vecp_t
• capacity() : Minisat::RegionAllocator< T > , Minisat::vec< T > , set_family
• care : NodeData
• category : Minisat::Option
• ccmin_mode : Minisat::Solver
• ccount : saucy
• cell : FM_cell
• cfront : coloring
• cftab : DState
• cftabCopy : DState
• check : inflate_state
• checkCap() : Minisat::Map< K, D, H, E >
• checkGarbage() : Minisat::Solver
• Child : Amap_Item_t_
• child : MtrNode , pyabc_split._splitter
• Child : Scl_Item_t_
• CioId : Aig_Obj_t_
• cla_inc : Minisat::Solver , sat_solver2_t , sat_solver_t
• claBumpActivity() : Minisat::Solver
• claDecayActivity() : Minisat::Solver
• claProofs : sat_solver2_t
• ClassBest : Dar_Man_t_
• ClassGains : Dar_Man_t_
• ClassSubgs : Dar_Man_t_
• ClassTimes : Dar_Man_t_
• Clause : Jf_Par_t_ , Minisat::Clause
• clause_decay : Minisat::Solver
• clause_lim : Minisat::SimpSolver
• ClauseAllocator : Minisat::Clause , Minisat::ClauseAllocator
• ClauseDeleted() : Minisat::SimpSolver::ClauseDeleted
• clauses : Minisat::Solver , stats_t
• clauses_literals : Minisat::Solver , stats_t
• clauseWord32Size() : Minisat::ClauseAllocator
• clean() : Minisat::OccLists< Idx, Vec, Deleted >
• cleanAll() : Minisat::OccLists< Idx, Vec, Deleted >
• cleanup() : pyabc_split._splitter
• cleanUpClauses() : Minisat::SimpSolver
• clear() : Minisat::CMap< T > , Minisat::Heap< Comp > , Minisat::Map< K, D, H, E > , Minisat::OccLists< Idx, Vec, Deleted > , Minisat::Queue< T > , Minisat::vec< T >
• clearInterrupt() : Minisat::Solver
• clen : coloring
• clist : saucy
• clkSat : Qbf_Man_t_
• clkStart : Bal_Man_t_ , Bmc_Mna_t_ , Dam_Man_t_ , Jf_Man_t_ , Lf_Man_t_ , Mf_Man_t_ , Nf_Man_t_ , Qbf_Man_t_ , Scl_Tree_t_ , Unm_Man_t_
• cnext : DdQueueItem , GlobalQueueItem , LocalQueueItem
• cnt : DdTlcInfo , pair_struct
• code : ct_data_s , EState
• codes : inflate_state
• cog_list : qps_problem
• cog_num : qps_problem
• cog_x : qps_problem
• cog_y : qps_problem
• col_num : sm_col_struct , sm_element_struct
• cols : sm_matrix_struct
• cols_size : sm_matrix_struct
• combinedCRC : EState
• comm_max : gz_header_s
• comment : gz_header_s
• communicate() : pyabc_split._splitter
• comp_count : stats_struct
• compar : avl_tree_struct
• compare : st__table , stmm_table
• component : stats_struct
• compResult : NodeDist
• Cond : Gia_ObjEra_t_
• Conf : Nf_Mat_t_
• conf_final : sat_solver2_t , sat_solver_t
• conflict : Minisat::Solver
• conflict_budget : Minisat::Solver
• conflicts : Minisat::Solver , stats_t
• conncnts : saucy
• connect : qps_problem
• connectionType : Rpo_LCI_Edge_t_
• constants : DdManager
• Copy : Str_Edg_t_ , Str_Mux_t_
• copyTo() : Minisat::vec< T >
• Cost : Aig_Cut_t_ , Cnf_Cut_t_ , Csw_Cut_t_ , If_Cut_t_ , Ivy_Eval_t_ , Jf_Cut_t_ , Lf_Cut_t_
• cost() : Minisat::SimpSolver::ElimLt
• Cost : Mpm_Uni_t_
• cost : solution_struct
• count : avl_generator_struct , DdHashItem
• Count : If_DsdObj_t_ , Npn_Obj_t_
• count : saucy , set_family
• countDead : DdManager
• Counter : If_Hte_t_ , Int_Man_t_ , Inta_Man_t_ , Intb_Man_t_ , Intp_Man_t_ , Pr_Man_t_
• cref : Minisat::Solver::Watcher
• CrossBar0 : Cut_Cell_t_
• CrossBar1 : Cut_Cell_t_
• CrossBarPhase : Cut_Cell_t_
• csize : saucy
• ctrl : saucy
• cube : DdGen
• cubes : cost_struct , DdGen
• currBlockNo : DState
• Cut : Lf_Bst_t_
• CutBest : If_Obj_t_
• CutCount : Jf_Man_t_ , Lf_Man_t_ , Mf_Man_t_ , Nf_Man_t_
• CutH : Nf_Mat_t_