Searched refs:ImplicationSearchThreshold (Results 1 – 1 of 1) sorted by relevance
96 ImplicationSearchThreshold( variable1268 while (CurrentPred && Iter++ < ImplicationSearchThreshold) { in processImpliedCondition()