Searched refs:out (Results 1 - 25 of 27) sorted by relevance

12

/hets/OWL2/java/de/unibremen/informatik/FactProver/
H A DProve.java9 System.out.println("owl_fact_prover <Ontology> <Conjecture>");
16 System.out.println("FactProver: " + prover + "\n");
17 System.out.println("PhysicalIRI: " + physicalIRI + "\n");
18 System.out.println("GoalIRI: " + goalIRI + "\n");
22 System.out.println("proved");
25 System.out.println("disproved");
29 System.out.println(e.getMessage());
H A DFactProver.java474 System.out.println(goal);
/hets/utils/
H A Djava_version.java22 System.out.println("Vendor: " + mxBean.getVmVendor());
23 System.out.println("VM Name: " + mxBean.getVmName() + " " +
25 System.out.println("Runtime: " + p.get("java.runtime.name") + " " +
27 System.out.println("OS: " + mxOS.getName() + " " + mxOS.getArch()
29 System.out.println("Processors: " + mxOS.getAvailableProcessors());
/hets/OWL2/tests/
H A DSimpleOWLRenderer.java24 System.out.println("Usage: processor <URI> [FILENAME]");
29 BufferedWriter out;
37 out = new BufferedWriter(new FileWriter(filename));
46 out = new BufferedWriter(new OutputStreamWriter(System.out));
57 parse2xml(ontology, out, manager);
59 parse(ontology, out, manager);
69 public static void parse(OWLOntology onto, BufferedWriter out, OWLOntologyManager mng) argument
73 ren.render(onto, out);
80 public static void parse2xml(OWLOntology onto, BufferedWriter out, OWLOntologyManage argument
[all...]
/hets/ToHaskell/test/
H A Druncheck.sh20 ghc -c -w $i.hs > $i.out 2>&1
21 if [ -s $i.out ]; then echo "error when translating $i"; fi
/hets/OWL2/java/de/unibremen/informatik/locality/
H A DLocalityChecker.java21 private static ToStringRenderer out; field in class:LocalityChecker
25 System.out.println("Usage: LocalityChecker <URI> "
41 System.out.print("Result: ");
43 System.out.println("LOCAL");
46 System.out.println("NON-LOCAL");
50 System.out.println("The ontology could not be created: "
58 out = org.semanticweb.owlapi.io.ToStringRenderer.getInstance();
66 System.out.print("Non-local axiom: ");
67 System.out.println(out
[all...]
/hets/RDF/java/de/unibremen/informatik/
H A DRDFReasoner.java15 System.out.println("<rdf_filename> <query_filename>");
23 System.out.println("File" + inputFile + "not found");
31 model.write(System.out);
33 System.out.println(e.getMessage());
55 ResultSetFormatter.out(System.out, results, query);
60 //model.write(System.out);
62 System.out.println(e.getMessage());
/hets/OWL2/java/de/unibremen/informatik/Fact/
H A DFact.java15 System.out.println("owl_fact <Ontology>");
27 System.out.println("consistent");
30 System.out.println("inconsistent");
34 System.out.println("The ontology could not be created: "
38 System.out.println("Exception:" + e.getMessage());
/hets/OWL2/java/de/unibremen/informatik/
H A DOWL2Parser.java120 OWLOutputHandler out = new OWLOutputHandler();
121 parseArgs(args, out);
143 // reset the manager. clear out imports to avoid duplicates
152 out._open();
157 // System.out.println("NAME: " + merged_name + "\n");
159 // System.out.println("MERGED_IRI " + mergedOntologyIRI + "\n");
169 out.renderUsingOption(merged);
172 exportImports(out);
174 out._close();
183 System.out
196 parseArgs(String[] args, OWLOutputHandler out) argument
288 exportImports(OWLOutputHandler out) argument
[all...]
/hets/Isabelle/export/
H A Dtest_parser.sh60 TEMP_FILE=`mktemp isaexport.out`
65 TEMP_FILE="/tmp/isaexport.out"
82 File.write (Path.explode \"./test.out\") (Parser.scan s |> PolyML.makestring);
H A Dexport.sh72 TEMP_FILE=`mktemp isaexport.out`
77 TEMP_FILE="/tmp/isaexport.out"
88 val out' = fn (f,i,s') =>
94 val out = fn (i,s) => out' (\"$COMM_FILE\",i,s);
95 val v = fn s => out (1,\"Isabelle: \"^s);
96 val e = fn s => (out (0,s); OS.Process.exit OS.Process.failure)
/hets/DMU/
H A DOntoDMU.jar ... lang.String) java.io.InputStream xmlStream String out ClassLoader loader java.io.InputStream xsltStream int number ...
/hets/OWL2/java/lib/
H A Dtrove4j-3.0.3.jarMETA-INF/ META-INF/MANIFEST.MF gnu/ gnu/trove/ gnu/trove/decorator/ gnu/trove/function/ gnu/ ...
H A Dguava-18.0.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...
/hets/MMT/
H A Dhets-mmt-standalone.jarmain/main.jar .version OneJar.class OneJar.java package public OneJar extends java.lang ...
/hets/CspCASL/Grammar/
H A DCSP_CASL_Parser.tex61 \item All required sources must have been checked out using '{\tt cvs up -Pd}' in the top\\
/hets/
H A Dvar.mk137 # for profiling (or a minimal hets) comment out the previous two package lines
H A DMakefile19 # uncomment HC_PROF for profiling (and comment out packages in var.mk)
562 $(filter-out Scratch.hs, $(wildcard *.hs)) \
626 test/*/log */test/temp* ToHaskell/test/*.{out,output} \
629 doc/UserGuide.{log,aux,bbl,blg,out,fdb_latexmk,fls} doc/hs2isa.ps \
/hets/doc/
H A Dhs2isa.tex82 %of monads is carried out with AWE.
171 Isabelle/HOLCF may turn out to be comparatively hard. After being
609 possible out of the automation currently available in Isabelle,
683 %typing system, could be more easily carried out relying on some form
691 package and Erwin R. Catesbeiana for pointing out an inconsistency.
1104 case, by straightforward simplification). The translation will print out
H A DUserGuideCommonLogic.tex232 out in \cite{Habil}. A short overview of \Hets is given in
599 leave out the analysis of basic specifications. This can be used
1325 timed out (indicated by `t') it may help to activate the check box `Include
H A DUserGuide.tex228 out in \cite{Habil}. A short overview of \Hets is given in
550 HasCASL2HasCASLNoSubtypes & coding out subtypes \\\hline
704 leave out the analysis of basic specifications. This can be used
1657 timed out (indicated by `t') it may help to activate the check box `Include
/hets/HasCASL/doc/
H A DStaticAna.tex236 terms may not contain arbitrary formulas must be ruled out later on.
/hets/CASL/Termination/
H A DAProVE.jar ... help/html/in/ aprove/help/html/intro/ aprove/help/html/out/ aprove/help/html/ref/ aprove/help/html/tech/ aprove/help ...
/hets/CASL_DL/doc/
H A DCASL_DL-Notes.tex42 Perhaps you could leave out the ``splitting back'' in a first
/hets/debian/
H A Drules19 # uncomment HC_PROF for profiling (and comment out packages in var.mk)
562 $(filter-out Scratch.hs, $(wildcard *.hs)) \
626 test/*/log */test/temp* ToHaskell/test/*.{out,output} \
629 doc/UserGuide.{log,aux,bbl,blg,out,fdb_latexmk,fls} doc/hs2isa.ps \

Completed in 94 milliseconds

12