Searched refs:angref (Results 1 – 2 of 2) sorted by relevance
3910 const Standard_Real angref = a*t + 0.002; in GoodExt() local3911 if(ang > angref) return Standard_False; in GoodExt()
2519 int angref; // flag for angular refinement, # of refinement steps