PrintUtil.printIndent(out, indent); out.print(this.toString()); if (bindings) { Iterator<Derivation> derivations = infGraph.getDerivation(match); if (derivations == null || !derivations.hasNext()) { PrintUtil.printIndent(out, margin); if (match == null) { RuleDerivation derivation = (RuleDerivation)derivations.next(); if (seen.contains(derivation)) { PrintUtil.printIndent(out, margin); out.println("Known " + PrintUtil.print(match) + " - already shown"); } else {
PrintUtil.printIndent(out, indent); out.print(this.toString()); if (bindings) { Iterator<Derivation> derivations = infGraph.getDerivation(match); if (derivations == null || !derivations.hasNext()) { PrintUtil.printIndent(out, margin); if (match == null) { RuleDerivation derivation = (RuleDerivation)derivations.next(); if (seen.contains(derivation)) { PrintUtil.printIndent(out, margin); out.println("Known " + PrintUtil.print(match) + " - already shown"); } else {