starting point for alegbra synthesis

Author: shengmeiLiu

src/main/java/expression/extensions/Divd.java

@@ -0,0 +1,14 @@
+package expression.extensions;
+import expression.Exp;
+import expression.data.BinaryExp;
+
+
+
+    public class Divd extends BinaryExp {
+
+        public Divd() {
+            super();
+        }
+    }
+
+

src/main/java/expression/operations/SimplifyExpr.java

@@ -0,0 +1,15 @@
+package expression.operations;
+
+import expression.extensions.SimplifyBase;
+
+/**
+ * Simplifies (x+0) -> x and (0+x) -> x and (0+0) -> 0
+ * Also simplifies MULT
+ *
+ * TODO: Rename at some point
+ */
+public class SimplifyExpr extends SimplifyBase {
+    public SimplifyExpr() {
+        super();
+    }
+}

src/main/scala/example/expression/algebra/Expression.scala

@@ -54,15 +54,15 @@ class Expression @Inject()(webJars: WebJarsUtil, applicationLifecycle: Applicati
   var jobs = Gamma.InhabitationBatchJob[CompilationUnit](ops(ops.base, new Eval))
       .addJob[CompilationUnit](exp(exp.base, new Exp))
       .addJob[CompilationUnit](ops(ops.algebra, new Eval))
-      .addJob[CompilationUnit](ops(ops.algebra, new PrettyP))
+     // .addJob[CompilationUnit](ops(ops.algebra, new PrettyP))
 
     // type interfaces (note: Exp is assumed above)
 
-  // add here as you are ready...
-  // Initial object algebra interface for expressions: integers and addition
+// add here as you are ready...
+// Initial object algebra interface for expressions: integers and addition
 
 
 
-  lazy val results = EmptyResults().addAll(jobs.run())
+lazy val results = EmptyResults().addAll(jobs.run())
 
 }

src/main/scala/example/expression/algebra/ExpressionSynthesis.scala

@@ -29,9 +29,13 @@ class ExpressionSynthesis(override val domain:DomainModel) extends ExpressionDom
     val semanticType:Type = ops(ops.base, new Eval)
   }
   @combinator object BaseExpClass {
+    // have a domain object
+
+
     def apply() : CompilationUnit =
-      Java(s"""
-              interface ExpAlg<E> {
+      Java(s"""package algebra;
+              |
+              |interface ExpAlg<E> {
               |	E lit(int x);
               |	E add(E e1, E e2);
               |}