diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-05-11 18:00:57 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-05-11 18:00:57 +0100 |
| commit | 4fe4ca32d8f45807ab881b6fb8e814842dad0ec6 (patch) | |
| tree | 024d11d748efc24494a28fdfb7efda3db5231ac4 /src/uk/ac/ox/cs/pagoda/constraints/PredicateDependency.java | |
| parent | 870eb35e38f746ed73f233070dcf3bdaf4687e02 (diff) | |
| download | ACQuA-4fe4ca32d8f45807ab881b6fb8e814842dad0ec6.tar.gz ACQuA-4fe4ca32d8f45807ab881b6fb8e814842dad0ec6.zip | |
Adding (not completed) a new upper bound technique, namely Limited Skolemisation.
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/constraints/PredicateDependency.java')
0 files changed, 0 insertions, 0 deletions