- c -

• c_iter : BiMapIter
• cache : BddEnc , BaseEvaluator , BddFsm
• can_handle_null : NodeWalker
• changes_hmgr : CommandDescr_t
• changes_only : TraceExplainer
• check_expr : CheckerBase
• childs : HrcNode
• clear_preferred_variables : SatSolver
• cnfVar2minisatVar : SatMinisat
• cnfVar2rbcNode_cnf : Rbc_Manager_t
• cnfVar2rbcNode_model : Rbc_Manager_t
• cnfVar2zchaffVar : SatZchaff
• columns : HrcDumper
• command_description : command_item
• command_fp : CommandDescr_t
• command_name : command_item
• commit_layer : BaseEnc
• committed_layers : BaseEnc
• compar : avl_tree
• compassion : BddFsm , HrcNode
• compute_props : HrcNode
• computed : BddFsmCache::BddFsmReachable_TAG
• cone : Prop
• conflict : SatMinisat , SatZchaff
• conflicts : SatSolver
• const_var_fsm : SexpFsm
• constants : HrcNode
• convert_to_invar : Prop
• copy : Object
• count : avl_generator
• counter : NodeAnonymizerBase
• counters : NodeAnonymizerST
• create_group : SatIncSolver
• ctl_props : HrcNode
• curr_eq : TraceXmlLoader
• curr_itp_group : SatSolver
• curr_parsing : TraceXmlLoader
• curr_reord_type : BddEnc
• curr_reorderings : BddEnc
• curr_symb : TraceXmlLoader
• curr_val : TraceXmlLoader
• current2next : BddEnc
• cursor : TraceStepIter , TraceSymbolsIter
• custom_arg : OAHash