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 /src/uk/ac/ox/cs/pagoda/rules/IncrementalProgram.java | |
| 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 'src/uk/ac/ox/cs/pagoda/rules/IncrementalProgram.java')
0 files changed, 0 insertions, 0 deletions