Searched refs:writer (Results 1 - 4 of 4) sorted by relevance
/hets/OWL2/java/de/unibremen/informatik/ | ||
H A D | OWL2Parser.java | 305 static ArrayList<OWLOntologyWriter> writer = field in class:OWL2Parser.OWLOutputHandler 309 writer.add(new OWLOntologyWriter(op)); 313 writer.add(new OWLOntologyWriter(filename, op)); 317 for (OWLOntologyWriter out : writer) { 323 for (OWLOntologyWriter out : writer) { 330 for (OWLOntologyWriter out : writer) { |
/hets/OWL2/java/lib/ | ||
H A D | owlapi-osgidistribution-3.5.2.jar | META-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ... |
H A D | guava-18.0.jar | META-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ... |
/hets/CASL/Termination/ | ||
H A D | AProVE.jar | ... .TerminationProofs.BatchModeProof bp java.io.StringWriter writer java.io.PrintWriter resString aprove.Framework. |
Completed in 20 milliseconds