Searched refs:compute_bad_ideals_from_dot_badideals_hint (Results 1 – 2 of 2) sorted by relevance
262 void compute_bad_ideals_from_dot_badideals_hint(std::istream&, unsigned int = UINT_MAX);
1142 void renumber_t::compute_bad_ideals_from_dot_badideals_hint(std::istream & is, unsigned int n) in compute_bad_ideals_from_dot_badideals_hint() function in renumber_t1223 compute_bad_ideals_from_dot_badideals_hint(is, nbad); in read_header()1981 compute_bad_ideals_from_dot_badideals_hint(is); in build()