Symbols

5 files changed, 57 insertions, 0 deletions

diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/IntegerSymbol.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/IntegerSymbol.java
new file mode 100644
index 00000000..b5e0a326
--- /dev/null
+++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/IntegerSymbol.java
@@ -0,0 +1,8 @@
+package org.eclipse.viatra.solver.data.model.symbols;
+
+public class IntegerSymbol extends Symbol{
+
+        public IntegerSymbol(String name, int arity) {
+                super(name, arity);
+        }
+}
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/PredicateSymbol.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/PredicateSymbol.java
new file mode 100644
index 00000000..84e6aff6
--- /dev/null
+++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/PredicateSymbol.java
@@ -0,0 +1,9 @@
+package org.eclipse.viatra.solver.data.model.symbols;
+
+public class PredicateSymbol extends Symbol{
+
+        public PredicateSymbol(String name, int arity) {
+                super(name, arity);
+        }
+
+}
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/RealSymbol.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/RealSymbol.java
new file mode 100644
index 00000000..081d2196
--- /dev/null
+++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/RealSymbol.java
@@ -0,0 +1,8 @@
+package org.eclipse.viatra.solver.data.model.symbols;
+
+public class RealSymbol extends Symbol{
+
+        public RealSymbol(String name, int arity) {
+                super(name, arity);
+        }
+}
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/Symbol.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/Symbol.java
new file mode 100644
index 00000000..6a02cd2d
--- /dev/null
+++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/Symbol.java
@@ -0,0 +1,22 @@
+package org.eclipse.viatra.solver.data.model.symbols;
+
+import java.util.Comparator;
+
+public class Symbol {
+        public static final Comparator<Symbol> symbolComparator = (o1, o2) -> o1.getName().compareTo(o2.getName());
+        private final String name;
+        private final int arity;
+        
+        public Symbol(String name, int arity) {
+                super();
+                this.name = name;
+                this.arity = arity;
+        }
+        
+        public String getName() {
+                return name;
+        }
+        public int getArity() {
+                return arity;
+        }
+}
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/SymbolComparator.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/SymbolComparator.java
new file mode 100644
index 00000000..ab7834f1
--- /dev/null
+++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/SymbolComparator.java
@@ -0,0 +1,10 @@
+package org.eclipse.viatra.solver.data.model.symbols;
+
+import java.util.Comparator;
+
+public class SymbolComparator implements Comparator<Symbol>{
+        @Override
+        public int compare(Symbol o1, Symbol o2) {
+                return o1.getName().compareTo(o2.getName());
+        }
+}