Searched refs:cvc3Mode (Results 1 – 2 of 2) sorted by relevance
1202 if(cvc3Mode) { in toStream()1210 if(cvc3Mode) { in toStream()1217 bool cvc3Mode) in toStream() argument1220 if (cvc3Mode) in toStream()1234 if (cvc3Mode) in toStream()1243 if(cvc3Mode) { in toStream()1251 if(cvc3Mode) { in toStream()1263 bool cvc3Mode) in toStream() argument1284 bool cvc3Mode) in toStream() argument1301 bool cvc3Mode) in toStream() argument[all …]
33 CvcPrinter(bool cvc3Mode = false) : d_cvc3Mode(cvc3Mode) { } in d_cvc3Mode() argument