diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-09-09 17:03:42 +0200 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-09-09 17:03:42 +0200 |
| commit | e325a9c6282a4a98bf6799f8d04b3cbc6e56fca2 (patch) | |
| tree | c069dba2a4a46a982a2753a0cca699051b6b437e /src/main/scala/rsacomb/Main.scala | |
| parent | 713fd36fb2bd4f71fc690a1ab3a3c1fce5b1a16f (diff) | |
| download | RSAComb-e325a9c6282a4a98bf6799f8d04b3cbc6e56fca2.tar.gz RSAComb-e325a9c6282a4a98bf6799f8d04b3cbc6e56fca2.zip | |
Move reifing code under `FilteringProgram` class
Diffstat (limited to 'src/main/scala/rsacomb/Main.scala')
| -rw-r--r-- | src/main/scala/rsacomb/Main.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/scala/rsacomb/Main.scala b/src/main/scala/rsacomb/Main.scala index d2bc2a8..a449db4 100644 --- a/src/main/scala/rsacomb/Main.scala +++ b/src/main/scala/rsacomb/Main.scala | |||
| @@ -57,7 +57,7 @@ object RSAComb { | |||
| 57 | val query = RSA.test_query | 57 | val query = RSA.test_query |
| 58 | 58 | ||
| 59 | /* Compute the filtering program from the given query */ | 59 | /* Compute the filtering program from the given query */ |
| 60 | val filter = ontology.getFilteringProgram(query) | 60 | val filter = ontology.filteringProgram(query) |
| 61 | 61 | ||
| 62 | /* ... */ | 62 | /* ... */ |
| 63 | 63 | ||