diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-01-05 17:00:29 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2021-01-05 17:00:29 +0000 |
| commit | ad58eea444d9f1f16a2498a32777719911203a23 (patch) | |
| tree | 31a29bf0d2f34fb5aec16da6d5cdf3e177af8a65 /src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala | |
| parent | c29174ade7131639e9ea01c3ce408ee0a873c962 (diff) | |
| download | RSAComb-ad58eea444d9f1f16a2498a32777719911203a23.tar.gz RSAComb-ad58eea444d9f1f16a2498a32777719911203a23.zip | |
Add external script to execute benchmarks and gather results.
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala')
| -rw-r--r-- | src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala index 0554dbc..bf96a31 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala | |||
| @@ -61,7 +61,7 @@ object RSAComb extends App { | |||
| 61 | case Some(query) => { | 61 | case Some(query) => { |
| 62 | val answers = ontology ask query | 62 | val answers = ontology ask query |
| 63 | Logger.print(s"$answers", Logger.QUIET) | 63 | Logger.print(s"$answers", Logger.QUIET) |
| 64 | Logger print s"Number of answer: ${answers.length} (${answers.lengthWithMultiplicity})" | 64 | Logger print s"Number of answers: ${answers.length} (${answers.lengthWithMultiplicity})" |
| 65 | 65 | ||
| 66 | /* Additional DEBUG information */ | 66 | /* Additional DEBUG information */ |
| 67 | if (Logger.level >= Logger.DEBUG) { | 67 | if (Logger.level >= Logger.DEBUG) { |