Searched refs:collapseNodes (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DConsole.java31 public void collapseNodes(Vector collapsedDir) { method in class:Console
52 collapseNodes(v);
H A DGraphView.java102 collapseNodes();
113 collapseNodes();
140 collapseNodes();
183 public void collapseNodes() { method in class:GraphView
226 collapseNodes();
244 collapseNodes();
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DConsole.java31 public void collapseNodes(Vector collapsedDir) { method in class:Console
52 collapseNodes(v);
H A DGraphView.java102 collapseNodes();
113 collapseNodes();
140 collapseNodes();
183 public void collapseNodes() { method in class:GraphView
226 collapseNodes();
244 collapseNodes();

Completed in 55 milliseconds