public string toString(APSet ap_set, bool spaces) { if (ap_set.size() == 0) { return("\u03A3"); } StringBuilder r = new StringBuilder(); for (int i = 0; i < ap_set.size(); i++) { if (i >= 1) { r.Append("&"); } if (!this.get(i)) { r.Append("!"); } else { if (spaces) { r.Append(" "); } } r.Append(ap_set.getAP(i)); } return(r.ToString()); }
public string toString(APSet ap_set, bool spaces) { if (ap_set.size() == 0) { return "\u03A3"; } StringBuilder r = new StringBuilder(); for (int i = 0; i < ap_set.size(); i++) { if (i >= 1) { r.Append("&"); } if (!this.get(i)) { r.Append("!"); } else { if (spaces) { r.Append(" "); } } r.Append(ap_set.getAP(i)); } return r.ToString(); }