diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-05-12 18:48:56 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-05-12 18:48:56 +0100 |
| commit | 0c2726db44b562cbda9bfa87e76d829927c31ec8 (patch) | |
| tree | f4a681da5802ca90888719171a05a5d5cf78f040 /src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java | |
| parent | 4fe4ca32d8f45807ab881b6fb8e814842dad0ec6 (diff) | |
| download | ACQuA-0c2726db44b562cbda9bfa87e76d829927c31ec8.tar.gz ACQuA-0c2726db44b562cbda9bfa87e76d829927c31ec8.zip | |
Added classes for implementing new upper store (Limited Skolemisation).
Started implementation of the new classes.
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java')
0 files changed, 0 insertions, 0 deletions