Searched defs:dcbits (Results 1 – 3 of 3) sorted by relevance
53 unsigned char *dcbits; //the bits of the screen image, for direct access variable
933 BtorUIntStack dcbits; in cons_and_bv() local1759 BtorUIntStack dcbits; in inv_and_bv() local