https://sourceforge.net/p/cassowary/bugs/2006-05-23T15:03:07ZRecent changes to bugs2006-05-23T15:03:07Z2006-05-23T15:03:07Zhttps://sourceforge.nethttps://sourceforge.netf0e1f85c571246795579d3f099afd5a6cafa8fa7

<div class="markdown_content"><p>Cassowary fails on the following constraint set which<br /> is valid.</p> <p>public final void testCassowary1b()<br /> {<br /> final ClSimplexSolver solver = new<br /> ClSimplexSolver();</p> <p>final ClLinearExpression left = new<br /> ClLinearExpression(new ClVariable("left"));<br /> final ClLinearExpression width = new<br /> ClLinearExpression(new ClVariable("width"));</p> <p>// the outer frame starts at 0 and has a width of 5<br /> // the inner frame is inside the outer one<br /> try<br /> {<br /> // the left edge has a positive coordinate<br /> solver.addConstraint(new<br /> ClLinearInequality(left));</p> <p>// the right edge of the frame is on or<br /> left of the right of coordinate 5<br /> solver.addConstraint(new<br /> ClLinearInequality(new<br /> ClLinearExpression(5).minus(left).minus(width)));</p> <p>// the inner frame is centered in the<br /> region 0 -- 4<br /> solver.addConstraint(new<br /> ClLinearInequality(new<br /> ClLinearExpression(2.5).minus(left).minus(width.times(0.5))));</p> <p>// the left edge is on or left of coordinate 1<br /> solver.addConstraint(new<br /> ClLinearInequality(left.minus(new<br /> ClLinearExpression(1.0))));<br /> }<br /> catch (ExCLRequiredFailure e)<br /> {<br /> System.out.println("fails but should<br /> succeed:");<br /> System.out.println("E.g., left=1.2 and<br /> width=2.0 is a solution way in the middle of the<br /> solution intervals");<br /> }<br /> catch (ExCLInternalError e)<br /> {<br /> System.out.println("ExCLInternalError");<br /> }</p> <p>System.out.println("success");<br /> }</p></div>