Searched defs:opt (Results 1 - 2 of 2) sorted by relevance
/hets/OWL2/java/de/unibremen/informatik/ | ||
H A D | OWL2Parser.java | 242 private static OPTION parseOption(String opt, String err) throws Exception { argument 243 if (opt.equals("xml") || opt.equals("owl")) { 245 } else if (opt.equals("omn")) { 247 } else if (opt.equals("rdf")) { 249 } else if (opt.equals("obo")) { 251 } else if (opt.equals("ttl")) { 254 throw new Exception(err + "unrecognized owl-format: " + opt); |
/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 14 milliseconds