Searched defs:next_dia_id (Results 1 – 2 of 2) sorted by relevance
/dports/misc/thrill/thrill-12c5b59bca66df93b66628b3829027bd0f110dd9/thrill/api/ | ||
H A D | context.hpp | 391 size_t next_dia_id() { return ++last_dia_id_; } in next_dia_id() function in thrill::api::Context |
H A D | dia.hpp | 2041 size_t next_dia_id() { return context().next_dia_id(); } in next_dia_id() function in thrill::api::DIA |