diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-08-03 17:07:39 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-08-03 17:07:39 +0100 |
| commit | 0c39145b3b76b3db73db0a38d5324caa7ff3c434 (patch) | |
| tree | 388c97e1460d4180e74b531e048a60fc62963c5a /test/uk/ac/ox/cs/pagoda/global_tests | |
| parent | 02cf14060d3b9e722480e07ebfd32538bbb8e73b (diff) | |
| download | ACQuA-0c39145b3b76b3db73db0a38d5324caa7ff3c434.tar.gz ACQuA-0c39145b3b76b3db73db0a38d5324caa7ff3c434.zip | |
The LimitedSkolemisation now employs a fixed-depth term instead of a constant. Performed some testing before merging with master.
Diffstat (limited to 'test/uk/ac/ox/cs/pagoda/global_tests')
| -rw-r--r-- | test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaFLY.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaFLY.java b/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaFLY.java index a7a562d..42f0ac1 100644 --- a/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaFLY.java +++ b/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaFLY.java | |||
| @@ -62,7 +62,7 @@ public class TestPagodaFLY { | |||
| 62 | // .answer(Paths.get("/home/alessandro/Desktop/answers.json")) | 62 | // .answer(Paths.get("/home/alessandro/Desktop/answers.json")) |
| 63 | .classify(false) | 63 | .classify(false) |
| 64 | .hermit(true) | 64 | .hermit(true) |
| 65 | .skolem(PagodaProperties.SkolemUpperBoundOptions.AFTER_SUMMARISATION) | 65 | .skolem(PagodaProperties.SkolemUpperBoundOptions.BEFORE_SUMMARISATION) |
| 66 | .build() | 66 | .build() |
| 67 | .run(); | 67 | .run(); |
| 68 | } | 68 | } |