diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-05-28 10:29:11 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-05-28 10:29:11 +0100 |
| commit | 2e069a4966e6305194c4168d6fc5c406123d7f64 (patch) | |
| tree | dc70e541b78494ac13f899db2831422b28fc5f72 /src/uk/ac/ox/cs/pagoda/summary | |
| parent | c9c8d03e957fa56df5dc1304f7a81dfa61b7b70e (diff) | |
| download | ACQuA-2e069a4966e6305194c4168d6fc5c406123d7f64.tar.gz ACQuA-2e069a4966e6305194c4168d6fc5c406123d7f64.zip | |
NOT-WORKING: trying to add query-dependent Skolemisation.
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/summary')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/summary/HermitSummaryFilter.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/summary/HermitSummaryFilter.java b/src/uk/ac/ox/cs/pagoda/summary/HermitSummaryFilter.java index 663c716..90a2ed4 100644 --- a/src/uk/ac/ox/cs/pagoda/summary/HermitSummaryFilter.java +++ b/src/uk/ac/ox/cs/pagoda/summary/HermitSummaryFilter.java | |||
| @@ -154,7 +154,7 @@ public class HermitSummaryFilter implements Checker { | |||
| 154 | 154 | ||
| 155 | m_record.removeUpperBoundAnswers(falsified); | 155 | m_record.removeUpperBoundAnswers(falsified); |
| 156 | 156 | ||
| 157 | if (m_record.processed()) { | 157 | if(m_record.isProcessed()) { |
| 158 | m_record.setDifficulty(Step.SUMMARISATION); | 158 | m_record.setDifficulty(Step.SUMMARISATION); |
| 159 | m_record.addProcessingTime(Step.SUMMARISATION, t.duration()); | 159 | m_record.addProcessingTime(Step.SUMMARISATION, t.duration()); |
| 160 | return 0; | 160 | return 0; |