Ejemplos de RealVectorSpace.forDimensions en Java

Ejemplo n.º 1

Archivo: TestExpressionEvaluator.java Proyecto: waitingcheung/concolic-walk

 @Before
 public void setUp() {
   this.a = new SymbolicInteger("a");
   this.b = new SymbolicInteger("b");
   this.x = new SymbolicReal("x");
   this.y = new SymbolicReal("y");
   this.space = RealVectorSpace.forDimensions(a, b, x, y);
 }