- c -

• c : _VarCompVar
• cache : MyNbStates , MySDDNbStates
• cache_ : Cache< FuncType, ParamType, ResType, EvalFunc > , MLCache< MLHomType, NodeType, HomNodeMapType >
• can_garbage : Fixpoint , sns::Fixpoint
• canonical : IntDataSet
• comp : _VarCompState
• concret : GDDD , GHom , GSDD , GShom , MLHom , MLShom
• cond_ : NotCond , sns::SNotCond
• creation_counter : _GHom
• current_bucket_ : ext_hash_map< Key, Data, HashKey, EqualKey >::accessor , ext_hash_map< Key, Data, HashKey, EqualKey >::const_accessor