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

/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/
H A DSpline.java16 class SplineSection { class
24 public SplineSection(double xb,double xc,double xd, method in class:SplineSection
69 SplineSection s;
79 s=new SplineSection(
102 p=((SplineSection)(e1.nextElement())).draw(g,p);
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/
H A DSpline.java16 class SplineSection { class
24 public SplineSection(double xb,double xc,double xd, method in class:SplineSection
69 SplineSection s;
79 s=new SplineSection(
102 p=((SplineSection)(e1.nextElement())).draw(g,p);

Completed in 50 milliseconds