diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-09-22 19:07:18 +0200 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-09-22 19:46:48 +0200 |
| commit | 10a9d14545abcabae28eb344df4d28f17cceea7b (patch) | |
| tree | 2df3cde374a1abb78e1fcebe9409a87722640f74 /src/test/scala/rsacomb/OWLAxiomSpec.scala | |
| parent | 36955b4e8209162a10198b4914d3e9a2ad9e260a (diff) | |
| download | RSAComb-10a9d14545abcabae28eb344df4d28f17cceea7b.tar.gz RSAComb-10a9d14545abcabae28eb344df4d28f17cceea7b.zip | |
Add method to compute a query's bounded vars
Diffstat (limited to 'src/test/scala/rsacomb/OWLAxiomSpec.scala')
0 files changed, 0 insertions, 0 deletions