From b88c842ba625753ea185e6166cd967e694160798 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Sun, 27 Jun 2021 01:43:59 +0200
Subject: Add enum support

---
 .../viatra/solver/language/model/problem/ProblemFactory.java     | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemFactory.java')

diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemFactory.java b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemFactory.java
index bdfc326b..e4332d19 100644
--- a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemFactory.java
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemFactory.java
@@ -174,6 +174,15 @@ public interface ProblemFactory extends EFactory {
 	 */
 	Argument createArgument();
 
+	/**
+	 * Returns a new object of class '<em>Enum Declaration</em>'.
+	 * <!-- begin-user-doc -->
+	 * <!-- end-user-doc -->
+	 * @return a new object of class '<em>Enum Declaration</em>'.
+	 * @generated
+	 */
+	EnumDeclaration createEnumDeclaration();
+
 	/**
 	 * Returns the package supported by this factory.
 	 * <!-- begin-user-doc -->
-- 
cgit v1.2.3-70-g09d2