reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced
334 CHECK_LE(res, BV::kSize); 335 return res;