Searched refs:BVSIZE (Results 1 – 2 of 2) sorted by relevance
44 #define BVSIZE (CVC3::parserTemp->bvSize) macro365 BVSIZE = atoi($3->c_str());
44 #define BVSIZE (CVC3::parserTemp->bvSize) macro