Searched refs:ImplicationSearchThreshold (Results 1 – 2 of 2) sorted by relevance
57 ImplicationSearchThreshold( variable899 while (CurrentPred && Iter++ < ImplicationSearchThreshold) { in ProcessImpliedCondition()
93 ImplicationSearchThreshold( variable1227 while (CurrentPred && Iter++ < ImplicationSearchThreshold) { in ProcessImpliedCondition()