Ejemplos de QuantFlags en Java

Ejemplo n.º 1

Archivo: EltwiseIntEqual.java Proyecto: 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];
  }

Ejemplo n.º 2

Archivo: PairwiseIntLessThan.java Proyecto: 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];
 }