Searched defs:main (Results 1 - 14 of 14) sorted by relevance

/hets/FreeCAD/Plugins/
H A Dfcxml-reader.py17 def main(argv): function
44 main(sys.argv[1:])
/hets/RDF/java/de/unibremen/informatik/
H A DRDFReasoner.java11 public static void main (String args[]) throws Exception { method in class:RDFReasoner
/hets/utils/
H A Djava_version.java18 public static void main(String[] args) { method in class:java_version
/hets/OWL2/java/de/unibremen/informatik/Fact/
H A DFact.java13 public static void main(String[] args) { method in class:Fact
/hets/OWL2/java/de/unibremen/informatik/FactProver/
H A DProve.java7 public static void main(String[] args) { method in class:Prove
/hets/FreeCAD/BrepConversion/src/
H A Dmain.cxx7 int main (int argc, char* argv[]) function
/hets/OWL2/tests/
H A DSimpleOWLRenderer.java21 public static void main(String[] args) { method in class:OWL2Parser
/hets/OWL2/java/de/unibremen/informatik/locality/
H A DLocalityChecker.java23 public static void main(String[] args) { method in class:LocalityChecker
/hets/OWL2/java/de/unibremen/informatik/
H A DOWL2Parser.java117 public static void main(String[] args) { method in class:OWL2Parser
/hets/DMU/
H A DOntoDMU.jar ... createInferenceProblemsInferenceProblemID (java.lang.String) String value } de/biba/Main/Main.class Main.java package de.biba ...
/hets/MMT/
H A Dhets-mmt-standalone.jarmain/main.jar .version OneJar.class OneJar.java ... ...
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...
/hets/OWL2/java/lib/
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...
H A Dtrove4j-3.0.3.jarMETA-INF/ META-INF/MANIFEST.MF gnu/ gnu/trove/ gnu/trove/decorator/ gnu/trove/function/ gnu/ ...

Completed in 601 milliseconds