Searched refs:no_effect_forall (Results 1 – 1 of 1) sorted by relevance
52 static LOGICAL no_effect_forall(int std);526 no_effect_forall(int std) in no_effect_forall() function3428 if (no_effect_forall(std)) in conv_forall()