Searched defs:DdCache (Results 1 – 4 of 4) sorted by relevance
316 typedef struct DdCache { struct324 } DdCache; argument
323 typedef struct DdCache { struct330 } DdCache; argument
236 typedef struct DdCache DdCache; typedef368 struct DdCache { struct369 DdNode *f,*g; /**< DDs */370 ptruint h; /**< either operator or %DD */371 DdNode *data; /**< already constructed %DD */373 ptrint count; /**< statistical counter */