Searched +defs:match +defs:string (Results 1 - 3 of 3) sorted by relevance
| /hets/OWL2/java/lib/ | ||
| H A D | guava-18.0.jar | ... String string int length public static java.lang.String toLowerCase (java.lang.CharSequence) int i CharSequence chars ... |
| H A D | owlapi-osgidistribution-3.5.2.jar | ... .model.OWLAxiomVisitor declarationRemover public java.lang.String toString () static void " href="/source/s?defs= ... |
| /hets/CASL/Termination/ | ||
| H A D | AProVE.jar | ... %3E" <init> () public static java.lang.String run (java.lang.String, java.lang. ... |
Completed in 25 milliseconds