return new Dimension(screenWidth, screenHeight);
}
}
// Otherwise, we have to generate solutions:
Map<Variable, Double> solutions = myBackend.solve();
// Now we find the max and min extents from all four corners:
double maxLeftExtent = 0.0, maxTopExtent = 0.0;
double minRightExtent = theParent.getSize().getWidth(), minBottomExtent = theParent.getSize().getHeight();