aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoder.java
diff options
context:
space:
mode:
authorRncLsn <rnc.lsn@gmail.com>2015-05-28 10:29:11 +0100
committerRncLsn <rnc.lsn@gmail.com>2015-05-28 10:29:11 +0100
commit2e069a4966e6305194c4168d6fc5c406123d7f64 (patch)
treedc70e541b78494ac13f899db2831422b28fc5f72 /src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoder.java
parentc9c8d03e957fa56df5dc1304f7a81dfa61b7b70e (diff)
downloadACQuA-2e069a4966e6305194c4168d6fc5c406123d7f64.tar.gz
ACQuA-2e069a4966e6305194c4168d6fc5c406123d7f64.zip
NOT-WORKING: trying to add query-dependent Skolemisation.
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoder.java')
0 files changed, 0 insertions, 0 deletions