Searched defs:op (Results 1 - 3 of 3) sorted by relevance
/hets/OWL2/java/de/unibremen/informatik/ | ||
H A D | OWL2Parser.java | 308 void add(OPTION op) throws Exception { argument 309 writer.add(new OWLOntologyWriter(op)); 312 void add(OPTION op, String filename) throws Exception { argument 313 writer.add(new OWLOntologyWriter(filename, op)); 340 OWLOntologyWriter(String fn, OPTION op) throws Exception { argument 342 option = op; 345 OWLOntologyWriter(OPTION op) throws Exception { argument 347 option = op; |
/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. ... |
/hets/CASL/Termination/ | ||
H A D | AProVE.jar | META-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ... |
Completed in 16 milliseconds