2 files changed, 319 insertions, 0 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java
index 628d56eb..27b88b7a 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java
@@ -2,6 +2,9 @@
 */
 package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util;
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration;
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription;
 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.*;
 import org.eclipse.emf.common.notify.Adapter;
@@ -108,6 +111,38 @@ public class PartialinterpretationAdapterFactory extends AdapterFactoryImpl {
                                return createNaryRelationLinkElementAdapter();
                        }
                        @Override
+                        public Adapter casePrimitiveElement(PrimitiveElement object) {
+                                return createPrimitiveElementAdapter();
+                        }
+                        @Override
+                        public Adapter caseBooleanElement(BooleanElement object) {
+                                return createBooleanElementAdapter();
+                        }
+                        @Override
+                        public Adapter caseIntegerElement(IntegerElement object) {
+                                return createIntegerElementAdapter();
+                        }
+                        @Override
+                        public Adapter caseRealElement(RealElement object) {
+                                return createRealElementAdapter();
+                        }
+                        @Override
+                        public Adapter caseStringElement(StringElement object) {
+                                return createStringElementAdapter();
+                        }
+                        @Override
+                        public Adapter caseTermDescription(TermDescription object) {
+                                return createTermDescriptionAdapter();
+                        }
+                        @Override
+                        public Adapter caseSymbolicDeclaration(SymbolicDeclaration object) {
+                                return createSymbolicDeclarationAdapter();
+                        }
+                        @Override
+                        public Adapter caseDefinedElement(DefinedElement object) {
+                                return createDefinedElementAdapter();
+                        }
+                        @Override
                        public Adapter defaultCase(EObject object) {
                                return createEObjectAdapter();
                        }
@@ -268,6 +303,118 @@ public class PartialinterpretationAdapterFactory extends AdapterFactoryImpl {
        }
        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement <em>Primitive Element</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement
+         * @generated
+         */
+        public Adapter createPrimitiveElementAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement <em>Boolean Element</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement
+         * @generated
+         */
+        public Adapter createBooleanElementAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement <em>Integer Element</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement
+         * @generated
+         */
+        public Adapter createIntegerElementAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement <em>Real Element</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement
+         * @generated
+         */
+        public Adapter createRealElementAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement <em>String Element</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement
+         * @generated
+         */
+        public Adapter createStringElementAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription <em>Term Description</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription
+         * @generated
+         */
+        public Adapter createTermDescriptionAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration <em>Symbolic Declaration</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration
+         * @generated
+         */
+        public Adapter createSymbolicDeclarationAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement <em>Defined Element</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement
+         * @generated
+         */
+        public Adapter createDefinedElementAdapter() {
+                return null;
+        }
+        /**
         * Creates a new adapter for the default case.
         * <!-- begin-user-doc -->
         * This default implementation returns null.
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java
index f99b2d76..364df3c8 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java
@@ -2,6 +2,9 @@
 */
 package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util;
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration;
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription;
 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.*;
 import org.eclipse.emf.ecore.EObject;
@@ -129,6 +132,55 @@ public class PartialinterpretationSwitch<T> extends Switch<T> {
                                if (result == null) result = defaultCase(theEObject);
                                return result;
                        }
+                        case PartialinterpretationPackage.PRIMITIVE_ELEMENT: {
+                                PrimitiveElement primitiveElement = (PrimitiveElement)theEObject;
+                                T result = casePrimitiveElement(primitiveElement);
+                                if (result == null) result = caseDefinedElement(primitiveElement);
+                                if (result == null) result = caseSymbolicDeclaration(primitiveElement);
+                                if (result == null) result = caseTermDescription(primitiveElement);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case PartialinterpretationPackage.BOOLEAN_ELEMENT: {
+                                BooleanElement booleanElement = (BooleanElement)theEObject;
+                                T result = caseBooleanElement(booleanElement);
+                                if (result == null) result = casePrimitiveElement(booleanElement);
+                                if (result == null) result = caseDefinedElement(booleanElement);
+                                if (result == null) result = caseSymbolicDeclaration(booleanElement);
+                                if (result == null) result = caseTermDescription(booleanElement);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case PartialinterpretationPackage.INTEGER_ELEMENT: {
+                                IntegerElement integerElement = (IntegerElement)theEObject;
+                                T result = caseIntegerElement(integerElement);
+                                if (result == null) result = casePrimitiveElement(integerElement);
+                                if (result == null) result = caseDefinedElement(integerElement);
+                                if (result == null) result = caseSymbolicDeclaration(integerElement);
+                                if (result == null) result = caseTermDescription(integerElement);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case PartialinterpretationPackage.REAL_ELEMENT: {
+                                RealElement realElement = (RealElement)theEObject;
+                                T result = caseRealElement(realElement);
+                                if (result == null) result = casePrimitiveElement(realElement);
+                                if (result == null) result = caseDefinedElement(realElement);
+                                if (result == null) result = caseSymbolicDeclaration(realElement);
+                                if (result == null) result = caseTermDescription(realElement);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case PartialinterpretationPackage.STRING_ELEMENT: {
+                                StringElement stringElement = (StringElement)theEObject;
+                                T result = caseStringElement(stringElement);
+                                if (result == null) result = casePrimitiveElement(stringElement);
+                                if (result == null) result = caseDefinedElement(stringElement);
+                                if (result == null) result = caseSymbolicDeclaration(stringElement);
+                                if (result == null) result = caseTermDescription(stringElement);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
                        default: return defaultCase(theEObject);
                }
        }
@@ -284,6 +336,126 @@ public class PartialinterpretationSwitch<T> extends Switch<T> {
        }
        /**
+         * Returns the result of interpreting the object as an instance of '<em>Primitive Element</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Primitive Element</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T casePrimitiveElement(PrimitiveElement object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Boolean Element</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Boolean Element</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseBooleanElement(BooleanElement object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Integer Element</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Integer Element</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseIntegerElement(IntegerElement object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Real Element</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Real Element</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseRealElement(RealElement object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>String Element</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>String Element</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseStringElement(StringElement object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Term Description</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Term Description</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseTermDescription(TermDescription object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Symbolic Declaration</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Symbolic Declaration</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseSymbolicDeclaration(SymbolicDeclaration object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Defined Element</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Defined Element</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseDefinedElement(DefinedElement object) {
+                return null;
+        }
+        /**
         * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
         * <!-- begin-user-doc -->
         * This implementation returns null;

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java index 628d56eb..27b88b7a 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java
@@ -2,6 +2,9 @@
2	*/	2	*/
3	package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util;	3	package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util;
4		4
		5	import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
		6	import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration;
		7	import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription;
5	import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.*;	8	import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.*;
6		9
7	import org.eclipse.emf.common.notify.Adapter;	10	import org.eclipse.emf.common.notify.Adapter;
@@ -108,6 +111,38 @@ public class PartialinterpretationAdapterFactory extends AdapterFactoryImpl {
108	return createNaryRelationLinkElementAdapter();	111	return createNaryRelationLinkElementAdapter();
109	}	112	}
110	@Override	113	@Override
		114	public Adapter casePrimitiveElement(PrimitiveElement object) {
		115	return createPrimitiveElementAdapter();
		116	}
		117	@Override
		118	public Adapter caseBooleanElement(BooleanElement object) {
		119	return createBooleanElementAdapter();
		120	}
		121	@Override
		122	public Adapter caseIntegerElement(IntegerElement object) {
		123	return createIntegerElementAdapter();
		124	}
		125	@Override
		126	public Adapter caseRealElement(RealElement object) {
		127	return createRealElementAdapter();
		128	}
		129	@Override
		130	public Adapter caseStringElement(StringElement object) {
		131	return createStringElementAdapter();
		132	}
		133	@Override
		134	public Adapter caseTermDescription(TermDescription object) {
		135	return createTermDescriptionAdapter();
		136	}
		137	@Override
		138	public Adapter caseSymbolicDeclaration(SymbolicDeclaration object) {
		139	return createSymbolicDeclarationAdapter();
		140	}
		141	@Override
		142	public Adapter caseDefinedElement(DefinedElement object) {
		143	return createDefinedElementAdapter();
		144	}
		145	@Override
111	public Adapter defaultCase(EObject object) {	146	public Adapter defaultCase(EObject object) {
112	return createEObjectAdapter();	147	return createEObjectAdapter();
113	}	148	}
@@ -268,6 +303,118 @@ public class PartialinterpretationAdapterFactory extends AdapterFactoryImpl {
268	}	303	}
269		304
270	/**	305	/**
		306	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement <em>Primitive Element</em>}'.
		307	* <!-- begin-user-doc -->
		308	* This default implementation returns null so that we can easily ignore cases;
		309	* it's useful to ignore a case when inheritance will catch all the cases anyway.
		310	* <!-- end-user-doc -->
		311	* @return the new adapter.
		312	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement
		313	* @generated
		314	*/
		315	public Adapter createPrimitiveElementAdapter() {
		316	return null;
		317	}
		318
		319	/**
		320	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement <em>Boolean Element</em>}'.
		321	* <!-- begin-user-doc -->
		322	* This default implementation returns null so that we can easily ignore cases;
		323	* it's useful to ignore a case when inheritance will catch all the cases anyway.
		324	* <!-- end-user-doc -->
		325	* @return the new adapter.
		326	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement
		327	* @generated
		328	*/
		329	public Adapter createBooleanElementAdapter() {
		330	return null;
		331	}
		332
		333	/**
		334	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement <em>Integer Element</em>}'.
		335	* <!-- begin-user-doc -->
		336	* This default implementation returns null so that we can easily ignore cases;
		337	* it's useful to ignore a case when inheritance will catch all the cases anyway.
		338	* <!-- end-user-doc -->
		339	* @return the new adapter.
		340	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement
		341	* @generated
		342	*/
		343	public Adapter createIntegerElementAdapter() {
		344	return null;
		345	}
		346
		347	/**
		348	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement <em>Real Element</em>}'.
		349	* <!-- begin-user-doc -->
		350	* This default implementation returns null so that we can easily ignore cases;
		351	* it's useful to ignore a case when inheritance will catch all the cases anyway.
		352	* <!-- end-user-doc -->
		353	* @return the new adapter.
		354	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement
		355	* @generated
		356	*/
		357	public Adapter createRealElementAdapter() {
		358	return null;
		359	}
		360
		361	/**
		362	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement <em>String Element</em>}'.
		363	* <!-- begin-user-doc -->
		364	* This default implementation returns null so that we can easily ignore cases;
		365	* it's useful to ignore a case when inheritance will catch all the cases anyway.
		366	* <!-- end-user-doc -->
		367	* @return the new adapter.
		368	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement
		369	* @generated
		370	*/
		371	public Adapter createStringElementAdapter() {
		372	return null;
		373	}
		374
		375	/**
		376	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription <em>Term Description</em>}'.
		377	* <!-- begin-user-doc -->
		378	* This default implementation returns null so that we can easily ignore cases;
		379	* it's useful to ignore a case when inheritance will catch all the cases anyway.
		380	* <!-- end-user-doc -->
		381	* @return the new adapter.
		382	* @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription
		383	* @generated
		384	*/
		385	public Adapter createTermDescriptionAdapter() {
		386	return null;
		387	}
		388
		389	/**
		390	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration <em>Symbolic Declaration</em>}'.
		391	* <!-- begin-user-doc -->
		392	* This default implementation returns null so that we can easily ignore cases;
		393	* it's useful to ignore a case when inheritance will catch all the cases anyway.
		394	* <!-- end-user-doc -->
		395	* @return the new adapter.
		396	* @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration
		397	* @generated
		398	*/
		399	public Adapter createSymbolicDeclarationAdapter() {
		400	return null;
		401	}
		402
		403	/**
		404	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement <em>Defined Element</em>}'.
		405	* <!-- begin-user-doc -->
		406	* This default implementation returns null so that we can easily ignore cases;
		407	* it's useful to ignore a case when inheritance will catch all the cases anyway.
		408	* <!-- end-user-doc -->
		409	* @return the new adapter.
		410	* @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement
		411	* @generated
		412	*/
		413	public Adapter createDefinedElementAdapter() {
		414	return null;
		415	}
		416
		417	/**
271	* Creates a new adapter for the default case.	418	* Creates a new adapter for the default case.
272	* <!-- begin-user-doc -->	419	* <!-- begin-user-doc -->
273	* This default implementation returns null.	420	* This default implementation returns null.


diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java index f99b2d76..364df3c8 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java
@@ -2,6 +2,9 @@
2	*/	2	*/
3	package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util;	3	package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util;
4		4
		5	import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
		6	import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration;
		7	import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription;
5	import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.*;	8	import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.*;
6		9
7	import org.eclipse.emf.ecore.EObject;	10	import org.eclipse.emf.ecore.EObject;
@@ -129,6 +132,55 @@ public class PartialinterpretationSwitch<T> extends Switch<T> {
129	if (result == null) result = defaultCase(theEObject);	132	if (result == null) result = defaultCase(theEObject);
130	return result;	133	return result;
131	}	134	}
		135	case PartialinterpretationPackage.PRIMITIVE_ELEMENT: {
		136	PrimitiveElement primitiveElement = (PrimitiveElement)theEObject;
		137	T result = casePrimitiveElement(primitiveElement);
		138	if (result == null) result = caseDefinedElement(primitiveElement);
		139	if (result == null) result = caseSymbolicDeclaration(primitiveElement);
		140	if (result == null) result = caseTermDescription(primitiveElement);
		141	if (result == null) result = defaultCase(theEObject);
		142	return result;
		143	}
		144	case PartialinterpretationPackage.BOOLEAN_ELEMENT: {
		145	BooleanElement booleanElement = (BooleanElement)theEObject;
		146	T result = caseBooleanElement(booleanElement);
		147	if (result == null) result = casePrimitiveElement(booleanElement);
		148	if (result == null) result = caseDefinedElement(booleanElement);
		149	if (result == null) result = caseSymbolicDeclaration(booleanElement);
		150	if (result == null) result = caseTermDescription(booleanElement);
		151	if (result == null) result = defaultCase(theEObject);
		152	return result;
		153	}
		154	case PartialinterpretationPackage.INTEGER_ELEMENT: {
		155	IntegerElement integerElement = (IntegerElement)theEObject;
		156	T result = caseIntegerElement(integerElement);
		157	if (result == null) result = casePrimitiveElement(integerElement);
		158	if (result == null) result = caseDefinedElement(integerElement);
		159	if (result == null) result = caseSymbolicDeclaration(integerElement);
		160	if (result == null) result = caseTermDescription(integerElement);
		161	if (result == null) result = defaultCase(theEObject);
		162	return result;
		163	}
		164	case PartialinterpretationPackage.REAL_ELEMENT: {
		165	RealElement realElement = (RealElement)theEObject;
		166	T result = caseRealElement(realElement);
		167	if (result == null) result = casePrimitiveElement(realElement);
		168	if (result == null) result = caseDefinedElement(realElement);
		169	if (result == null) result = caseSymbolicDeclaration(realElement);
		170	if (result == null) result = caseTermDescription(realElement);
		171	if (result == null) result = defaultCase(theEObject);
		172	return result;
		173	}
		174	case PartialinterpretationPackage.STRING_ELEMENT: {
		175	StringElement stringElement = (StringElement)theEObject;
		176	T result = caseStringElement(stringElement);
		177	if (result == null) result = casePrimitiveElement(stringElement);
		178	if (result == null) result = caseDefinedElement(stringElement);
		179	if (result == null) result = caseSymbolicDeclaration(stringElement);
		180	if (result == null) result = caseTermDescription(stringElement);
		181	if (result == null) result = defaultCase(theEObject);
		182	return result;
		183	}
132	default: return defaultCase(theEObject);	184	default: return defaultCase(theEObject);
133	}	185	}
134	}	186	}
@@ -284,6 +336,126 @@ public class PartialinterpretationSwitch<T> extends Switch<T> {
284	}	336	}
285		337
286	/**	338	/**
		339	* Returns the result of interpreting the object as an instance of '<em>Primitive Element</em>'.
		340	* <!-- begin-user-doc -->
		341	* This implementation returns null;
		342	* returning a non-null result will terminate the switch.
		343	* <!-- end-user-doc -->
		344	* @param object the target of the switch.
		345	* @return the result of interpreting the object as an instance of '<em>Primitive Element</em>'.
		346	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		347	* @generated
		348	*/
		349	public T casePrimitiveElement(PrimitiveElement object) {
		350	return null;
		351	}
		352
		353	/**
		354	* Returns the result of interpreting the object as an instance of '<em>Boolean Element</em>'.
		355	* <!-- begin-user-doc -->
		356	* This implementation returns null;
		357	* returning a non-null result will terminate the switch.
		358	* <!-- end-user-doc -->
		359	* @param object the target of the switch.
		360	* @return the result of interpreting the object as an instance of '<em>Boolean Element</em>'.
		361	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		362	* @generated
		363	*/
		364	public T caseBooleanElement(BooleanElement object) {
		365	return null;
		366	}
		367
		368	/**
		369	* Returns the result of interpreting the object as an instance of '<em>Integer Element</em>'.
		370	* <!-- begin-user-doc -->
		371	* This implementation returns null;
		372	* returning a non-null result will terminate the switch.
		373	* <!-- end-user-doc -->
		374	* @param object the target of the switch.
		375	* @return the result of interpreting the object as an instance of '<em>Integer Element</em>'.
		376	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		377	* @generated
		378	*/
		379	public T caseIntegerElement(IntegerElement object) {
		380	return null;
		381	}
		382
		383	/**
		384	* Returns the result of interpreting the object as an instance of '<em>Real Element</em>'.
		385	* <!-- begin-user-doc -->
		386	* This implementation returns null;
		387	* returning a non-null result will terminate the switch.
		388	* <!-- end-user-doc -->
		389	* @param object the target of the switch.
		390	* @return the result of interpreting the object as an instance of '<em>Real Element</em>'.
		391	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		392	* @generated
		393	*/
		394	public T caseRealElement(RealElement object) {
		395	return null;
		396	}
		397
		398	/**
		399	* Returns the result of interpreting the object as an instance of '<em>String Element</em>'.
		400	* <!-- begin-user-doc -->
		401	* This implementation returns null;
		402	* returning a non-null result will terminate the switch.
		403	* <!-- end-user-doc -->
		404	* @param object the target of the switch.
		405	* @return the result of interpreting the object as an instance of '<em>String Element</em>'.
		406	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		407	* @generated
		408	*/
		409	public T caseStringElement(StringElement object) {
		410	return null;
		411	}
		412
		413	/**
		414	* Returns the result of interpreting the object as an instance of '<em>Term Description</em>'.
		415	* <!-- begin-user-doc -->
		416	* This implementation returns null;
		417	* returning a non-null result will terminate the switch.
		418	* <!-- end-user-doc -->
		419	* @param object the target of the switch.
		420	* @return the result of interpreting the object as an instance of '<em>Term Description</em>'.
		421	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		422	* @generated
		423	*/
		424	public T caseTermDescription(TermDescription object) {
		425	return null;
		426	}
		427
		428	/**
		429	* Returns the result of interpreting the object as an instance of '<em>Symbolic Declaration</em>'.
		430	* <!-- begin-user-doc -->
		431	* This implementation returns null;
		432	* returning a non-null result will terminate the switch.
		433	* <!-- end-user-doc -->
		434	* @param object the target of the switch.
		435	* @return the result of interpreting the object as an instance of '<em>Symbolic Declaration</em>'.
		436	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		437	* @generated
		438	*/
		439	public T caseSymbolicDeclaration(SymbolicDeclaration object) {
		440	return null;
		441	}
		442
		443	/**
		444	* Returns the result of interpreting the object as an instance of '<em>Defined Element</em>'.
		445	* <!-- begin-user-doc -->
		446	* This implementation returns null;
		447	* returning a non-null result will terminate the switch.
		448	* <!-- end-user-doc -->
		449	* @param object the target of the switch.
		450	* @return the result of interpreting the object as an instance of '<em>Defined Element</em>'.
		451	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		452	* @generated
		453	*/
		454	public T caseDefinedElement(DefinedElement object) {
		455	return null;
		456	}
		457
		458	/**
287	* Returns the result of interpreting the object as an instance of '<em>EObject</em>'.	459	* Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
288	* <!-- begin-user-doc -->	460	* <!-- begin-user-doc -->
289	* This implementation returns null;	461	* This implementation returns null;