Searched refs:num_svalue_ids (Results 1 – 2 of 2) sorted by relevance
224 void canonicalize (unsigned num_svalue_ids);
1242 constraint_manager::canonicalize (unsigned num_svalue_ids) in canonicalize() argument1256 auto_vec<equiv_class_id> original_ec_id (num_svalue_ids); in canonicalize()1257 for (i = 0; i < num_svalue_ids; i++) in canonicalize()