private static void paintInvariant(
Graphics g, Invariant i, int size, int ulcx, int ulcy, int width, int height) {
boolean b = i.check();
double w = width * (3 / 4.0) / size;
if (i instanceof RegionInvariant) {
RegionInvariant ri = (RegionInvariant) i;
int A = ri.getA();
int B = ri.getB();
if (b) {
g.setColor(Color.GREEN.brighter());
} else {
g.setColor(Color.RED.brighter());
}
// g.drawRect( 100 + (int)(A*w), 100, (int)((B-A+1)*w), 400 );
g.drawRect(
(int) (ulcx + width / 8.0 + A * w),
(int) (ulcy + height / 6.0),
(int) ((B - A + 1) * w),
(int) (height * 2 / 3.0));
}
}
