diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-06-02 15:40:29 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-06-02 15:40:29 +0100 |
| commit | 691964863246bbf6ef9f72cc5e82c83df34f135a (patch) | |
| tree | 98c9834f788ff320cabcfb29733890c5b40e024f /src/uk/ac/ox/cs/pagoda/rules/Program.java | |
| parent | 4b7253559c290b6fdd1c4122830f153fda85dd62 (diff) | |
| download | ACQuA-691964863246bbf6ef9f72cc5e82c83df34f135a.tar.gz ACQuA-691964863246bbf6ef9f72cc5e82c83df34f135a.zip | |
Working query-dependent semi-skolemised upper bound (tested on UOBM1 and LUBM1).
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/rules/Program.java')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/rules/Program.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/rules/Program.java b/src/uk/ac/ox/cs/pagoda/rules/Program.java index 4e147bb..afc32d4 100644 --- a/src/uk/ac/ox/cs/pagoda/rules/Program.java +++ b/src/uk/ac/ox/cs/pagoda/rules/Program.java | |||
| @@ -106,7 +106,7 @@ protected PredicateDependency dependencyGraph; | |||
| 106 | clauses.addAll(botStrategy.process(botRelated)); | 106 | clauses.addAll(botStrategy.process(botRelated)); |
| 107 | 107 | ||
| 108 | if(this instanceof GeneralProgram) | 108 | if(this instanceof GeneralProgram) |
| 109 | Utility.logInfo("The number of rules: " + (clauses.size() - 1)); | 109 | Utility.logDebug("The number of rules: " + (clauses.size() - 1)); |
| 110 | } | 110 | } |
| 111 | 111 | ||
| 112 | @Override | 112 | @Override |