Searched refs:Spline (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/isabelle/lib/browser/
H A Dbuild38 GraphBrowser/Spline.java
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/
H A Dbuild38 GraphBrowser/Spline.java
/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/
H A DSpline.java2 Title: GraphBrowser/Spline.java
59 public class Spline { class
65 public Spline(Vector pts) { method in class:Spline
H A DGraph.java833 splines.addElement(new Spline(pts));
879 ((Spline)(e1.nextElement())).draw(g);
1045 ((Spline)(e1.nextElement())).PS(p);
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/
H A DSpline.java2 Title: GraphBrowser/Spline.java
59 public class Spline { class
65 public Spline(Vector pts) { method in class:Spline
H A DGraph.java833 splines.addElement(new Spline(pts));
879 ((Spline)(e1.nextElement())).draw(g);
1045 ((Spline)(e1.nextElement())).PS(p);

Completed in 45 milliseconds