public String format_esc() { String[] form = VarInfo.esc_quantify(false, var(), var()); return form[0] + "((i+1 == j) ==> (" + form[1] + " < " + form[2] + "))" + form[3]; }
public String format_esc() { String[] form = VarInfo.esc_quantify(false, var(), var()); return form[0] + "(" + form[1] + " == " + form[2] + ")" + form[3]; }
public String format_esc() { String[] form = VarInfo.esc_quantify(var1(), var2()); return form[0] + "(" + form[1] + " < " + form[2] + ")" + form[3]; }