311312313314315316317318319320321322
{ String str = "(and"; Iterator it = literals.iterator(); while (it.hasNext()) { Literal l = (Literal) it.next(); str += " "+l.toStringTyped(); } str += ")"; return str; }