Ejemplo n.º 1
0
  public String format_simplify() {
    String[] form = VarInfo.simplify_quantify(QuantFlags.adjacent(), var(), var());

    String comparator = "EQ";

    return form[0] + "(" + comparator + " " + form[1] + " " + form[2] + ")" + form[3];
  }
 public String format_simplify() {
   String[] form = VarInfo.simplify_quantify(QuantFlags.element_wise(), var1(), var2());
   return form[0] + "(< " + form[1] + " " + form[2] + ")" + form[3];
 }