/* IOA */ public String format_ioa() { if (var1().isIOASet() || var2().isIOASet()) return "Not valid for sets: " + format(); Quantify.IOAQuantification quant1 = VarInfo.get_ioa_quantify(var1()); Quantify.IOAQuantification quant2 = VarInfo.get_ioa_quantify(var2()); return quant1.getQuantifierExp() + quant1.getVarIndexedString(0) + " " + "< " + quant2.getVarIndexedString(0) + quant1.getClosingExp(); }
/* IOA */ public String format_ioa() { Quantify.IOAQuantification quant = VarInfo.get_ioa_quantify(var(), var()); String result = quant.getQuantifierExp() + "(" + quant.getMembershipRestriction(0) + " /\\ " + quant.getMembershipRestriction(1); // i \in X /\ j \in X => X[i] = X[j] result += ") => " + quant.getVarIndexedString(0) + " = " + quant.getVarIndexedString(1); return result + quant.getClosingExp(); }