Java VarInfo.simplify_quantify Examples

Example #1

File: EltwiseIntEqual.java Project: lukaszzdanikowski/randoop

  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];
  }

Example #2

File: PairwiseIntLessThan.java Project: lukaszzdanikowski/randoop

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