Searched refs:bvFlag (Results 1 – 3 of 3) sorted by relevance
61 bool bvFlag; variable
43 #define BVENABLED (CVC3::parserTemp->bvFlag)