Searched refs:eps_redundant (Results 1 – 1 of 1) sorted by relevance
1251 bool eps_redundant = false; in strongly_minimize_constraints() local1259 eps_redundant = true; in strongly_minimize_constraints()1267 if (!eps_redundant) { in strongly_minimize_constraints()1378 bool eps_redundant = false; in strongly_minimize_generators() local1388 eps_redundant = true; in strongly_minimize_generators()1393 if (!eps_redundant) { in strongly_minimize_generators()