Searched defs:sub_dim (Results 1 – 5 of 5) sorted by relevance
257 const int sub_dim = dimension - pos.size(); in print_locator() local
374 int sub_dim; in TypeIsSupertype() local
943 int sub_dim, sub_num; in check_ho_element() local
855 int sub_dim, sub_num; in check_ho_element() local