71     model::test_cases_map test_cases;  member
113             test_cases.insert(model::test_cases_map::value_type(  in set_test_cases()
116         INV(test_cases.size() == test_cases_.size());  in set_test_cases()
219     const test_cases_map& tcs = test_cases();  in find()
233 model::test_program::test_cases(void) const  in test_cases()  function in model::test_program
235     return _pimpl->test_cases;  in test_cases()
250     PRE(_pimpl->test_cases.empty());  in set_test_cases()
269         test_cases() == other.test_cases());  in operator ==()
321         % object.test_cases();  in operator <<()
335     model::test_cases_map test_cases;  member
399     PRE_MSG(_pimpl->test_cases.find(test_case_name) == _pimpl->test_cases.end(),  in add_test_case()
401     _pimpl->test_cases.insert(model::test_cases_map::value_type(  in add_test_case()
437                         _pimpl->test_cases);  in build()