aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RSASuffix.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/scala/rsacomb/RSASuffix.scala')
-rw-r--r--src/main/scala/rsacomb/RSASuffix.scala31
1 files changed, 0 insertions, 31 deletions
diff --git a/src/main/scala/rsacomb/RSASuffix.scala b/src/main/scala/rsacomb/RSASuffix.scala
deleted file mode 100644
index ce36b10..0000000
--- a/src/main/scala/rsacomb/RSASuffix.scala
+++ /dev/null
@@ -1,31 +0,0 @@
1package rsacomb.suffix
2
3import org.semanticweb.owlapi.model.{
4 OWLPropertyExpression,
5 OWLObjectInverseOf,
6 OWLObjectProperty
7}
8
9import tech.oxfordsemantic.jrdfox.logic.expression.{IRI}
10import tech.oxfordsemantic.jrdfox.logic.datalog.{TupleTableAtom, TupleTableName}
11
12object RSASuffix {
13
14 def apply(suffix: String => String): RSASuffix = new RSASuffix(suffix)
15
16}
17
18class RSASuffix(val suffix: String => String) {
19
20 def +(that: RSASuffix): RSASuffix =
21 new RSASuffix(this.suffix andThen that.suffix)
22
23 def ::(str: String): String = this suffix str
24
25}
26
27case object Empty extends RSASuffix(identity)
28case object Forward extends RSASuffix((s) => s"${s}_f")
29case object Backward extends RSASuffix((s) => s"${s}_b")
30case object Inverse extends RSASuffix((s) => s"${s}_inv")
31case class Nth(n: Int) extends RSASuffix((s) => s"${s}_$n")