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

/barrelfish-master/usr/eclipseclp/CPViz/viz/src/ie/ucc/cccc/viz/
H A DBox.java69 public void expandBox(Box box) { method in class:Box
H A DState.java82 box.expandBox(visualState.getVisualizer().getBox());
H A DLayout.java130 box.expandBox(li.next().getBox());
H A DViz.java400 box.expandBox(visualizer.getBox());

Completed in 35 milliseconds