Add rule generation for unsafe T5 axioms for canonical model

1 files changed, 20 insertions, 0 deletions

diff --git a/src/main/scala/rsacomb/RSASuffix.scala b/src/main/scala/rsacomb/RSASuffix.scala
new file mode 100644
index 0000000..f15d01b
--- /dev/null
+++ b/src/main/scala/rsacomb/RSASuffix.scala
@@ -0,0 +1,20 @@
+package rsacomb
+
+sealed trait RSASuffix {
+  def getSuffix: String;
+}
+
+object RSASuffix {
+
+  case object None extends RSASuffix {
+    def getSuffix: String = ""
+  }
+
+  case object Forward extends RSASuffix {
+    def getSuffix: String = "_f"
+  }
+
+  case object Backward extends RSASuffix {
+    def getSuffix: String = "_b"
+  }
+}