Searched refs:y_b (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/
H A DSpline.java21 double y_b,y_c,y_d; field in class:SplineSection
27 y_b=yb;y_c=yc;y_d=yd;
42 e_y=(int)(Math.round((y_b*x*m+y_c)*x*m+y_d));
50 e_y=(int)(Math.round((y_b*y*m+y_c)*y*m+y_d));
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/
H A DSpline.java21 double y_b,y_c,y_d; field in class:SplineSection
27 y_b=yb;y_c=yc;y_d=yd;
42 e_y=(int)(Math.round((y_b*x*m+y_c)*x*m+y_d));
50 e_y=(int)(Math.round((y_b*y*m+y_c)*y*m+y_d));

Completed in 39 milliseconds