Searched defs:opt (Results 1 - 2 of 2) sorted by relevance

/hets/OWL2/java/de/unibremen/informatik/
H A DOWL2Parser.java242 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 DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 1064 milliseconds