Searched defs:bvpl_kernel (Results 1 – 2 of 2) sorted by relevance
16 void vsl_b_read(vsl_b_istream & /*is*/, bvpl_kernel & /*kernel*/) in vsl_b_read() argument22 void vsl_print_summary(std::ostream & /*os*/, const bvpl_kernel & /*kernel*/) in vsl_print_summary()
27 class bvpl_kernel; variable35 bvpl_kernel(){id_=bvpl_kernel::get_next_id();} in bvpl_kernel() function