Searched defs:mk_widen (Results 1 – 6 of 6) sorted by relevance
117 …interval mk_widen(interval const& t1, interval const& t2) const override { return get_plugin().wid… in mk_widen() function
443 uint_set2 bound_relation::mk_widen(uint_set2 const& t1, uint_set2 const& t2) const { in mk_widen() function in datalog::bound_relation
742 instruction * instruction::mk_widen(reg_idx src, reg_idx tgt, reg_idx delta) { in mk_widen() function in datalog::instruction