Exemplos de ExpressionFactory.createPlus em Java

Exemplo n.º 1

Arquivo: YicesSolverTest.java Projeto: bntam/BE-PUM

 /** @throws java.lang.Exception */
 @Before
 public void setUp() throws Exception {
   solver = new YicesSolver();
   esp = ExpressionFactory.createVariable("esp", 32);
   m1 =
       ExpressionFactory.createMemoryLocation(
           ExpressionFactory.createPlus(esp, ExpressionFactory.createNumber(4, 32)), 32);
   m2 =
       ExpressionFactory.createMemoryLocation(
           ExpressionFactory.createPlus(esp, ExpressionFactory.createNumber(8, 32)), 32);
   m3 =
       ExpressionFactory.createMemoryLocation(
           ExpressionFactory.createPlus(esp, ExpressionFactory.createNumber(4, 32)), 32);
 }