diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-05-19 13:35:52 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-05-19 13:35:52 +0100 |
| commit | 5d54af2638a53721b414a41356a93686a9616272 (patch) | |
| tree | e28c64b1887e7e964661d12d96df5b09abd4d9ee /test/uk/ac/ox/cs/pagoda/tester/Statistics.java | |
| parent | c7dbc7c61c7094ea4ec49bd630023f23b92fd9d1 (diff) | |
| download | ACQuA-5d54af2638a53721b414a41356a93686a9616272.tar.gz ACQuA-5d54af2638a53721b414a41356a93686a9616272.zip | |
Backup before changes in MyQueryReasoner.
Diffstat (limited to 'test/uk/ac/ox/cs/pagoda/tester/Statistics.java')
| -rw-r--r-- | test/uk/ac/ox/cs/pagoda/tester/Statistics.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/uk/ac/ox/cs/pagoda/tester/Statistics.java b/test/uk/ac/ox/cs/pagoda/tester/Statistics.java index 71f1726..13d7f90 100644 --- a/test/uk/ac/ox/cs/pagoda/tester/Statistics.java +++ b/test/uk/ac/ox/cs/pagoda/tester/Statistics.java | |||
| @@ -6,6 +6,7 @@ import java.util.Iterator; | |||
| 6 | import java.util.LinkedList; | 6 | import java.util.LinkedList; |
| 7 | import java.util.Scanner; | 7 | import java.util.Scanner; |
| 8 | 8 | ||
| 9 | @Deprecated | ||
| 9 | public class Statistics { | 10 | public class Statistics { |
| 10 | 11 | ||
| 11 | double satCheckTime; | 12 | double satCheckTime; |
