2 files changed, 283 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 27b88b7a..072472d2 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
@@ -131,6 +131,34 @@ public class PartialinterpretationAdapterFactory extends AdapterFactoryImpl {
                                return createStringElementAdapter();
                        }
                        @Override
+                        public Adapter caseScope(Scope object) {
+                                return createScopeAdapter();
+                        }
+                        @Override
+                        public Adapter casePartialPrimitiveInterpretation(PartialPrimitiveInterpretation object) {
+                                return createPartialPrimitiveInterpretationAdapter();
+                        }
+                        @Override
+                        public Adapter casePartialBooleanInterpretation(PartialBooleanInterpretation object) {
+                                return createPartialBooleanInterpretationAdapter();
+                        }
+                        @Override
+                        public Adapter casePartialIntegerInterpretation(PartialIntegerInterpretation object) {
+                                return createPartialIntegerInterpretationAdapter();
+                        }
+                        @Override
+                        public Adapter casePartialRealInterpretation(PartialRealInterpretation object) {
+                                return createPartialRealInterpretationAdapter();
+                        }
+                        @Override
+                        public Adapter casePartialStringInterpretation(PartialStringInterpretation object) {
+                                return createPartialStringInterpretationAdapter();
+                        }
+                        @Override
+                        public Adapter casePartialComplexTypeInterpretation(PartialComplexTypeInterpretation object) {
+                                return createPartialComplexTypeInterpretationAdapter();
+                        }
+                        @Override
                        public Adapter caseTermDescription(TermDescription object) {
                                return createTermDescriptionAdapter();
                        }
@@ -373,6 +401,104 @@ public class PartialinterpretationAdapterFactory extends AdapterFactoryImpl {
        }
        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope <em>Scope</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.Scope
+         * @generated
+         */
+        public Adapter createScopeAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation <em>Partial Primitive Interpretation</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.PartialPrimitiveInterpretation
+         * @generated
+         */
+        public Adapter createPartialPrimitiveInterpretationAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation <em>Partial Boolean Interpretation</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.PartialBooleanInterpretation
+         * @generated
+         */
+        public Adapter createPartialBooleanInterpretationAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation <em>Partial Integer Interpretation</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.PartialIntegerInterpretation
+         * @generated
+         */
+        public Adapter createPartialIntegerInterpretationAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation <em>Partial Real Interpretation</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.PartialRealInterpretation
+         * @generated
+         */
+        public Adapter createPartialRealInterpretationAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation <em>Partial String Interpretation</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.PartialStringInterpretation
+         * @generated
+         */
+        public Adapter createPartialStringInterpretationAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation <em>Partial Complex Type Interpretation</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.PartialComplexTypeInterpretation
+         * @generated
+         */
+        public Adapter createPartialComplexTypeInterpretationAdapter() {
+                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;
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 364df3c8..f3269cbf 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
@@ -181,6 +181,58 @@ public class PartialinterpretationSwitch<T> extends Switch<T> {
                                if (result == null) result = defaultCase(theEObject);
                                return result;
                        }
+                        case PartialinterpretationPackage.SCOPE: {
+                                Scope scope = (Scope)theEObject;
+                                T result = caseScope(scope);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case PartialinterpretationPackage.PARTIAL_PRIMITIVE_INTERPRETATION: {
+                                PartialPrimitiveInterpretation partialPrimitiveInterpretation = (PartialPrimitiveInterpretation)theEObject;
+                                T result = casePartialPrimitiveInterpretation(partialPrimitiveInterpretation);
+                                if (result == null) result = casePartialTypeInterpratation(partialPrimitiveInterpretation);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case PartialinterpretationPackage.PARTIAL_BOOLEAN_INTERPRETATION: {
+                                PartialBooleanInterpretation partialBooleanInterpretation = (PartialBooleanInterpretation)theEObject;
+                                T result = casePartialBooleanInterpretation(partialBooleanInterpretation);
+                                if (result == null) result = casePartialPrimitiveInterpretation(partialBooleanInterpretation);
+                                if (result == null) result = casePartialTypeInterpratation(partialBooleanInterpretation);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case PartialinterpretationPackage.PARTIAL_INTEGER_INTERPRETATION: {
+                                PartialIntegerInterpretation partialIntegerInterpretation = (PartialIntegerInterpretation)theEObject;
+                                T result = casePartialIntegerInterpretation(partialIntegerInterpretation);
+                                if (result == null) result = casePartialPrimitiveInterpretation(partialIntegerInterpretation);
+                                if (result == null) result = casePartialTypeInterpratation(partialIntegerInterpretation);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case PartialinterpretationPackage.PARTIAL_REAL_INTERPRETATION: {
+                                PartialRealInterpretation partialRealInterpretation = (PartialRealInterpretation)theEObject;
+                                T result = casePartialRealInterpretation(partialRealInterpretation);
+                                if (result == null) result = casePartialPrimitiveInterpretation(partialRealInterpretation);
+                                if (result == null) result = casePartialTypeInterpratation(partialRealInterpretation);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case PartialinterpretationPackage.PARTIAL_STRING_INTERPRETATION: {
+                                PartialStringInterpretation partialStringInterpretation = (PartialStringInterpretation)theEObject;
+                                T result = casePartialStringInterpretation(partialStringInterpretation);
+                                if (result == null) result = casePartialPrimitiveInterpretation(partialStringInterpretation);
+                                if (result == null) result = casePartialTypeInterpratation(partialStringInterpretation);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION: {
+                                PartialComplexTypeInterpretation partialComplexTypeInterpretation = (PartialComplexTypeInterpretation)theEObject;
+                                T result = casePartialComplexTypeInterpretation(partialComplexTypeInterpretation);
+                                if (result == null) result = casePartialTypeInterpratation(partialComplexTypeInterpretation);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
                        default: return defaultCase(theEObject);
                }
        }
@@ -411,6 +463,111 @@ public class PartialinterpretationSwitch<T> extends Switch<T> {
        }
        /**
+         * Returns the result of interpreting the object as an instance of '<em>Scope</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>Scope</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseScope(Scope object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Partial Primitive Interpretation</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>Partial Primitive Interpretation</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T casePartialPrimitiveInterpretation(PartialPrimitiveInterpretation object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Partial Boolean Interpretation</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>Partial Boolean Interpretation</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T casePartialBooleanInterpretation(PartialBooleanInterpretation object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Partial Integer Interpretation</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>Partial Integer Interpretation</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T casePartialIntegerInterpretation(PartialIntegerInterpretation object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Partial Real Interpretation</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>Partial Real Interpretation</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T casePartialRealInterpretation(PartialRealInterpretation object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Partial String Interpretation</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>Partial String Interpretation</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T casePartialStringInterpretation(PartialStringInterpretation object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Partial Complex Type Interpretation</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>Partial Complex Type Interpretation</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T casePartialComplexTypeInterpretation(PartialComplexTypeInterpretation 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;

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 27b88b7a..072472d2 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
@@ -131,6 +131,34 @@ public class PartialinterpretationAdapterFactory extends AdapterFactoryImpl {
131	return createStringElementAdapter();	131	return createStringElementAdapter();
132	}	132	}
133	@Override	133	@Override
		134	public Adapter caseScope(Scope object) {
		135	return createScopeAdapter();
		136	}
		137	@Override
		138	public Adapter casePartialPrimitiveInterpretation(PartialPrimitiveInterpretation object) {
		139	return createPartialPrimitiveInterpretationAdapter();
		140	}
		141	@Override
		142	public Adapter casePartialBooleanInterpretation(PartialBooleanInterpretation object) {
		143	return createPartialBooleanInterpretationAdapter();
		144	}
		145	@Override
		146	public Adapter casePartialIntegerInterpretation(PartialIntegerInterpretation object) {
		147	return createPartialIntegerInterpretationAdapter();
		148	}
		149	@Override
		150	public Adapter casePartialRealInterpretation(PartialRealInterpretation object) {
		151	return createPartialRealInterpretationAdapter();
		152	}
		153	@Override
		154	public Adapter casePartialStringInterpretation(PartialStringInterpretation object) {
		155	return createPartialStringInterpretationAdapter();
		156	}
		157	@Override
		158	public Adapter casePartialComplexTypeInterpretation(PartialComplexTypeInterpretation object) {
		159	return createPartialComplexTypeInterpretationAdapter();
		160	}
		161	@Override
134	public Adapter caseTermDescription(TermDescription object) {	162	public Adapter caseTermDescription(TermDescription object) {
135	return createTermDescriptionAdapter();	163	return createTermDescriptionAdapter();
136	}	164	}
@@ -373,6 +401,104 @@ public class PartialinterpretationAdapterFactory extends AdapterFactoryImpl {
373	}	401	}
374		402
375	/**	403	/**
		404	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope <em>Scope</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.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope
		411	* @generated
		412	*/
		413	public Adapter createScopeAdapter() {
		414	return null;
		415	}
		416
		417	/**
		418	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation <em>Partial Primitive Interpretation</em>}'.
		419	* <!-- begin-user-doc -->
		420	* This default implementation returns null so that we can easily ignore cases;
		421	* it's useful to ignore a case when inheritance will catch all the cases anyway.
		422	* <!-- end-user-doc -->
		423	* @return the new adapter.
		424	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation
		425	* @generated
		426	*/
		427	public Adapter createPartialPrimitiveInterpretationAdapter() {
		428	return null;
		429	}
		430
		431	/**
		432	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation <em>Partial Boolean Interpretation</em>}'.
		433	* <!-- begin-user-doc -->
		434	* This default implementation returns null so that we can easily ignore cases;
		435	* it's useful to ignore a case when inheritance will catch all the cases anyway.
		436	* <!-- end-user-doc -->
		437	* @return the new adapter.
		438	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation
		439	* @generated
		440	*/
		441	public Adapter createPartialBooleanInterpretationAdapter() {
		442	return null;
		443	}
		444
		445	/**
		446	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation <em>Partial Integer Interpretation</em>}'.
		447	* <!-- begin-user-doc -->
		448	* This default implementation returns null so that we can easily ignore cases;
		449	* it's useful to ignore a case when inheritance will catch all the cases anyway.
		450	* <!-- end-user-doc -->
		451	* @return the new adapter.
		452	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation
		453	* @generated
		454	*/
		455	public Adapter createPartialIntegerInterpretationAdapter() {
		456	return null;
		457	}
		458
		459	/**
		460	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation <em>Partial Real Interpretation</em>}'.
		461	* <!-- begin-user-doc -->
		462	* This default implementation returns null so that we can easily ignore cases;
		463	* it's useful to ignore a case when inheritance will catch all the cases anyway.
		464	* <!-- end-user-doc -->
		465	* @return the new adapter.
		466	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation
		467	* @generated
		468	*/
		469	public Adapter createPartialRealInterpretationAdapter() {
		470	return null;
		471	}
		472
		473	/**
		474	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation <em>Partial String Interpretation</em>}'.
		475	* <!-- begin-user-doc -->
		476	* This default implementation returns null so that we can easily ignore cases;
		477	* it's useful to ignore a case when inheritance will catch all the cases anyway.
		478	* <!-- end-user-doc -->
		479	* @return the new adapter.
		480	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation
		481	* @generated
		482	*/
		483	public Adapter createPartialStringInterpretationAdapter() {
		484	return null;
		485	}
		486
		487	/**
		488	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation <em>Partial Complex Type Interpretation</em>}'.
		489	* <!-- begin-user-doc -->
		490	* This default implementation returns null so that we can easily ignore cases;
		491	* it's useful to ignore a case when inheritance will catch all the cases anyway.
		492	* <!-- end-user-doc -->
		493	* @return the new adapter.
		494	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation
		495	* @generated
		496	*/
		497	public Adapter createPartialComplexTypeInterpretationAdapter() {
		498	return null;
		499	}
		500
		501	/**
376	* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription <em>Term Description</em>}'.	502	* 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 -->	503	* <!-- begin-user-doc -->
378	* This default implementation returns null so that we can easily ignore cases;	504	* This default implementation returns null so that we can easily ignore cases;


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 364df3c8..f3269cbf 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
@@ -181,6 +181,58 @@ public class PartialinterpretationSwitch<T> extends Switch<T> {
181	if (result == null) result = defaultCase(theEObject);	181	if (result == null) result = defaultCase(theEObject);
182	return result;	182	return result;
183	}	183	}
		184	case PartialinterpretationPackage.SCOPE: {
		185	Scope scope = (Scope)theEObject;
		186	T result = caseScope(scope);
		187	if (result == null) result = defaultCase(theEObject);
		188	return result;
		189	}
		190	case PartialinterpretationPackage.PARTIAL_PRIMITIVE_INTERPRETATION: {
		191	PartialPrimitiveInterpretation partialPrimitiveInterpretation = (PartialPrimitiveInterpretation)theEObject;
		192	T result = casePartialPrimitiveInterpretation(partialPrimitiveInterpretation);
		193	if (result == null) result = casePartialTypeInterpratation(partialPrimitiveInterpretation);
		194	if (result == null) result = defaultCase(theEObject);
		195	return result;
		196	}
		197	case PartialinterpretationPackage.PARTIAL_BOOLEAN_INTERPRETATION: {
		198	PartialBooleanInterpretation partialBooleanInterpretation = (PartialBooleanInterpretation)theEObject;
		199	T result = casePartialBooleanInterpretation(partialBooleanInterpretation);
		200	if (result == null) result = casePartialPrimitiveInterpretation(partialBooleanInterpretation);
		201	if (result == null) result = casePartialTypeInterpratation(partialBooleanInterpretation);
		202	if (result == null) result = defaultCase(theEObject);
		203	return result;
		204	}
		205	case PartialinterpretationPackage.PARTIAL_INTEGER_INTERPRETATION: {
		206	PartialIntegerInterpretation partialIntegerInterpretation = (PartialIntegerInterpretation)theEObject;
		207	T result = casePartialIntegerInterpretation(partialIntegerInterpretation);
		208	if (result == null) result = casePartialPrimitiveInterpretation(partialIntegerInterpretation);
		209	if (result == null) result = casePartialTypeInterpratation(partialIntegerInterpretation);
		210	if (result == null) result = defaultCase(theEObject);
		211	return result;
		212	}
		213	case PartialinterpretationPackage.PARTIAL_REAL_INTERPRETATION: {
		214	PartialRealInterpretation partialRealInterpretation = (PartialRealInterpretation)theEObject;
		215	T result = casePartialRealInterpretation(partialRealInterpretation);
		216	if (result == null) result = casePartialPrimitiveInterpretation(partialRealInterpretation);
		217	if (result == null) result = casePartialTypeInterpratation(partialRealInterpretation);
		218	if (result == null) result = defaultCase(theEObject);
		219	return result;
		220	}
		221	case PartialinterpretationPackage.PARTIAL_STRING_INTERPRETATION: {
		222	PartialStringInterpretation partialStringInterpretation = (PartialStringInterpretation)theEObject;
		223	T result = casePartialStringInterpretation(partialStringInterpretation);
		224	if (result == null) result = casePartialPrimitiveInterpretation(partialStringInterpretation);
		225	if (result == null) result = casePartialTypeInterpratation(partialStringInterpretation);
		226	if (result == null) result = defaultCase(theEObject);
		227	return result;
		228	}
		229	case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION: {
		230	PartialComplexTypeInterpretation partialComplexTypeInterpretation = (PartialComplexTypeInterpretation)theEObject;
		231	T result = casePartialComplexTypeInterpretation(partialComplexTypeInterpretation);
		232	if (result == null) result = casePartialTypeInterpratation(partialComplexTypeInterpretation);
		233	if (result == null) result = defaultCase(theEObject);
		234	return result;
		235	}
184	default: return defaultCase(theEObject);	236	default: return defaultCase(theEObject);
185	}	237	}
186	}	238	}
@@ -411,6 +463,111 @@ public class PartialinterpretationSwitch<T> extends Switch<T> {
411	}	463	}
412		464
413	/**	465	/**
		466	* Returns the result of interpreting the object as an instance of '<em>Scope</em>'.
		467	* <!-- begin-user-doc -->
		468	* This implementation returns null;
		469	* returning a non-null result will terminate the switch.
		470	* <!-- end-user-doc -->
		471	* @param object the target of the switch.
		472	* @return the result of interpreting the object as an instance of '<em>Scope</em>'.
		473	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		474	* @generated
		475	*/
		476	public T caseScope(Scope object) {
		477	return null;
		478	}
		479
		480	/**
		481	* Returns the result of interpreting the object as an instance of '<em>Partial Primitive Interpretation</em>'.
		482	* <!-- begin-user-doc -->
		483	* This implementation returns null;
		484	* returning a non-null result will terminate the switch.
		485	* <!-- end-user-doc -->
		486	* @param object the target of the switch.
		487	* @return the result of interpreting the object as an instance of '<em>Partial Primitive Interpretation</em>'.
		488	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		489	* @generated
		490	*/
		491	public T casePartialPrimitiveInterpretation(PartialPrimitiveInterpretation object) {
		492	return null;
		493	}
		494
		495	/**
		496	* Returns the result of interpreting the object as an instance of '<em>Partial Boolean Interpretation</em>'.
		497	* <!-- begin-user-doc -->
		498	* This implementation returns null;
		499	* returning a non-null result will terminate the switch.
		500	* <!-- end-user-doc -->
		501	* @param object the target of the switch.
		502	* @return the result of interpreting the object as an instance of '<em>Partial Boolean Interpretation</em>'.
		503	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		504	* @generated
		505	*/
		506	public T casePartialBooleanInterpretation(PartialBooleanInterpretation object) {
		507	return null;
		508	}
		509
		510	/**
		511	* Returns the result of interpreting the object as an instance of '<em>Partial Integer Interpretation</em>'.
		512	* <!-- begin-user-doc -->
		513	* This implementation returns null;
		514	* returning a non-null result will terminate the switch.
		515	* <!-- end-user-doc -->
		516	* @param object the target of the switch.
		517	* @return the result of interpreting the object as an instance of '<em>Partial Integer Interpretation</em>'.
		518	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		519	* @generated
		520	*/
		521	public T casePartialIntegerInterpretation(PartialIntegerInterpretation object) {
		522	return null;
		523	}
		524
		525	/**
		526	* Returns the result of interpreting the object as an instance of '<em>Partial Real Interpretation</em>'.
		527	* <!-- begin-user-doc -->
		528	* This implementation returns null;
		529	* returning a non-null result will terminate the switch.
		530	* <!-- end-user-doc -->
		531	* @param object the target of the switch.
		532	* @return the result of interpreting the object as an instance of '<em>Partial Real Interpretation</em>'.
		533	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		534	* @generated
		535	*/
		536	public T casePartialRealInterpretation(PartialRealInterpretation object) {
		537	return null;
		538	}
		539
		540	/**
		541	* Returns the result of interpreting the object as an instance of '<em>Partial String Interpretation</em>'.
		542	* <!-- begin-user-doc -->
		543	* This implementation returns null;
		544	* returning a non-null result will terminate the switch.
		545	* <!-- end-user-doc -->
		546	* @param object the target of the switch.
		547	* @return the result of interpreting the object as an instance of '<em>Partial String Interpretation</em>'.
		548	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		549	* @generated
		550	*/
		551	public T casePartialStringInterpretation(PartialStringInterpretation object) {
		552	return null;
		553	}
		554
		555	/**
		556	* Returns the result of interpreting the object as an instance of '<em>Partial Complex Type Interpretation</em>'.
		557	* <!-- begin-user-doc -->
		558	* This implementation returns null;
		559	* returning a non-null result will terminate the switch.
		560	* <!-- end-user-doc -->
		561	* @param object the target of the switch.
		562	* @return the result of interpreting the object as an instance of '<em>Partial Complex Type Interpretation</em>'.
		563	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		564	* @generated
		565	*/
		566	public T casePartialComplexTypeInterpretation(PartialComplexTypeInterpretation object) {
		567	return null;
		568	}
		569
		570	/**
414	* Returns the result of interpreting the object as an instance of '<em>Term Description</em>'.	571	* Returns the result of interpreting the object as an instance of '<em>Term Description</em>'.
415	* <!-- begin-user-doc -->	572	* <!-- begin-user-doc -->
416	* This implementation returns null;	573	* This implementation returns null;