1 files changed, 1092 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageAdapterFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageAdapterFactory.java
new file mode 100644
index 00000000..a3372dc9
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/util/LogiclanguageAdapterFactory.java
@@ -0,0 +1,1092 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.util;
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.*;
+import org.eclipse.emf.common.notify.Adapter;
+import org.eclipse.emf.common.notify.Notifier;
+import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
+import org.eclipse.emf.ecore.EObject;
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Adapter Factory</b> for the model.
+ * It provides an adapter <code>createXXX</code> method for each class of the model.
+ * <!-- end-user-doc -->
+ * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage
+ * @generated
+ */
+public class LogiclanguageAdapterFactory extends AdapterFactoryImpl {
+        /**
+         * The cached model package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected static LogiclanguagePackage modelPackage;
+        /**
+         * Creates an instance of the adapter factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public LogiclanguageAdapterFactory() {
+                if (modelPackage == null) {
+                        modelPackage = LogiclanguagePackage.eINSTANCE;
+                }
+        }
+        /**
+         * Returns whether this factory is applicable for the type of the object.
+         * <!-- begin-user-doc -->
+         * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.
+         * <!-- end-user-doc -->
+         * @return whether this factory is applicable for the type of the object.
+         * @generated
+         */
+        @Override
+        public boolean isFactoryForType(Object object) {
+                if (object == modelPackage) {
+                        return true;
+                }
+                if (object instanceof EObject) {
+                        return ((EObject)object).eClass().getEPackage() == modelPackage;
+                }
+                return false;
+        }
+        /**
+         * The switch that delegates to the <code>createXXX</code> methods.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected LogiclanguageSwitch<Adapter> modelSwitch =
+                new LogiclanguageSwitch<Adapter>() {
+                        @Override
+                        public Adapter caseType(Type object) {
+                                return createTypeAdapter();
+                        }
+                        @Override
+                        public Adapter caseDefinedElement(DefinedElement object) {
+                                return createDefinedElementAdapter();
+                        }
+                        @Override
+                        public Adapter caseTypeDefinition(TypeDefinition object) {
+                                return createTypeDefinitionAdapter();
+                        }
+                        @Override
+                        public Adapter caseTypeReference(TypeReference object) {
+                                return createTypeReferenceAdapter();
+                        }
+                        @Override
+                        public Adapter caseComplexTypeReference(ComplexTypeReference object) {
+                                return createComplexTypeReferenceAdapter();
+                        }
+                        @Override
+                        public Adapter casePrimitiveTypeReference(PrimitiveTypeReference object) {
+                                return createPrimitiveTypeReferenceAdapter();
+                        }
+                        @Override
+                        public Adapter caseIntTypeReference(IntTypeReference object) {
+                                return createIntTypeReferenceAdapter();
+                        }
+                        @Override
+                        public Adapter caseBoolTypeReference(BoolTypeReference object) {
+                                return createBoolTypeReferenceAdapter();
+                        }
+                        @Override
+                        public Adapter caseRealTypeReference(RealTypeReference object) {
+                                return createRealTypeReferenceAdapter();
+                        }
+                        @Override
+                        public Adapter caseFunction(Function object) {
+                                return createFunctionAdapter();
+                        }
+                        @Override
+                        public Adapter caseTerm(Term object) {
+                                return createTermAdapter();
+                        }
+                        @Override
+                        public Adapter caseSymbolicDeclaration(SymbolicDeclaration object) {
+                                return createSymbolicDeclarationAdapter();
+                        }
+                        @Override
+                        public Adapter caseSymbolicValue(SymbolicValue object) {
+                                return createSymbolicValueAdapter();
+                        }
+                        @Override
+                        public Adapter caseAtomicTerm(AtomicTerm object) {
+                                return createAtomicTermAdapter();
+                        }
+                        @Override
+                        public Adapter caseIntLiteral(IntLiteral object) {
+                                return createIntLiteralAdapter();
+                        }
+                        @Override
+                        public Adapter caseBoolLiteral(BoolLiteral object) {
+                                return createBoolLiteralAdapter();
+                        }
+                        @Override
+                        public Adapter caseRealLiteral(RealLiteral object) {
+                                return createRealLiteralAdapter();
+                        }
+                        @Override
+                        public Adapter caseVariable(Variable object) {
+                                return createVariableAdapter();
+                        }
+                        @Override
+                        public Adapter caseQuantifiedExpression(QuantifiedExpression object) {
+                                return createQuantifiedExpressionAdapter();
+                        }
+                        @Override
+                        public Adapter caseExists(Exists object) {
+                                return createExistsAdapter();
+                        }
+                        @Override
+                        public Adapter caseForall(Forall object) {
+                                return createForallAdapter();
+                        }
+                        @Override
+                        public Adapter caseBoolOperation(BoolOperation object) {
+                                return createBoolOperationAdapter();
+                        }
+                        @Override
+                        public Adapter caseAnd(And object) {
+                                return createAndAdapter();
+                        }
+                        @Override
+                        public Adapter caseOr(Or object) {
+                                return createOrAdapter();
+                        }
+                        @Override
+                        public Adapter caseImpl(Impl object) {
+                                return createImplAdapter();
+                        }
+                        @Override
+                        public Adapter caseNot(Not object) {
+                                return createNotAdapter();
+                        }
+                        @Override
+                        public Adapter caseIff(Iff object) {
+                                return createIffAdapter();
+                        }
+                        @Override
+                        public Adapter casePrimitiveRelation(PrimitiveRelation object) {
+                                return createPrimitiveRelationAdapter();
+                        }
+                        @Override
+                        public Adapter caseEquals(Equals object) {
+                                return createEqualsAdapter();
+                        }
+                        @Override
+                        public Adapter caseDistinct(Distinct object) {
+                                return createDistinctAdapter();
+                        }
+                        @Override
+                        public Adapter caseLessThan(LessThan object) {
+                                return createLessThanAdapter();
+                        }
+                        @Override
+                        public Adapter caseMoreThan(MoreThan object) {
+                                return createMoreThanAdapter();
+                        }
+                        @Override
+                        public Adapter caseLessOrEqualThan(LessOrEqualThan object) {
+                                return createLessOrEqualThanAdapter();
+                        }
+                        @Override
+                        public Adapter caseMoreOrEqualThan(MoreOrEqualThan object) {
+                                return createMoreOrEqualThanAdapter();
+                        }
+                        @Override
+                        public Adapter caseIntOperation(IntOperation object) {
+                                return createIntOperationAdapter();
+                        }
+                        @Override
+                        public Adapter casePlus(Plus object) {
+                                return createPlusAdapter();
+                        }
+                        @Override
+                        public Adapter caseMinus(Minus object) {
+                                return createMinusAdapter();
+                        }
+                        @Override
+                        public Adapter caseMultiply(Multiply object) {
+                                return createMultiplyAdapter();
+                        }
+                        @Override
+                        public Adapter caseDivison(Divison object) {
+                                return createDivisonAdapter();
+                        }
+                        @Override
+                        public Adapter caseMod(Mod object) {
+                                return createModAdapter();
+                        }
+                        @Override
+                        public Adapter caseTypeDescriptor(TypeDescriptor object) {
+                                return createTypeDescriptorAdapter();
+                        }
+                        @Override
+                        public Adapter caseTermDescription(TermDescription object) {
+                                return createTermDescriptionAdapter();
+                        }
+                        @Override
+                        public Adapter caseAssertion(Assertion object) {
+                                return createAssertionAdapter();
+                        }
+                        @Override
+                        public Adapter caseRelation(Relation object) {
+                                return createRelationAdapter();
+                        }
+                        @Override
+                        public Adapter caseConstant(Constant object) {
+                                return createConstantAdapter();
+                        }
+                        @Override
+                        public Adapter caseConstantDefinition(ConstantDefinition object) {
+                                return createConstantDefinitionAdapter();
+                        }
+                        @Override
+                        public Adapter caseRelationDefinition(RelationDefinition object) {
+                                return createRelationDefinitionAdapter();
+                        }
+                        @Override
+                        public Adapter caseFunctionDefinition(FunctionDefinition object) {
+                                return createFunctionDefinitionAdapter();
+                        }
+                        @Override
+                        public Adapter caseIfThenElse(IfThenElse object) {
+                                return createIfThenElseAdapter();
+                        }
+                        @Override
+                        public Adapter caseConstantDeclaration(ConstantDeclaration object) {
+                                return createConstantDeclarationAdapter();
+                        }
+                        @Override
+                        public Adapter caseRelationDeclaration(RelationDeclaration object) {
+                                return createRelationDeclarationAdapter();
+                        }
+                        @Override
+                        public Adapter caseFunctionDeclaration(FunctionDeclaration object) {
+                                return createFunctionDeclarationAdapter();
+                        }
+                        @Override
+                        public Adapter caseTypeDeclaration(TypeDeclaration object) {
+                                return createTypeDeclarationAdapter();
+                        }
+                        @Override
+                        public Adapter caseUnknownBecauseUninterpreted(UnknownBecauseUninterpreted object) {
+                                return createUnknownBecauseUninterpretedAdapter();
+                        }
+                        @Override
+                        public Adapter caseInstanceOf(InstanceOf object) {
+                                return createInstanceOfAdapter();
+                        }
+                        @Override
+                        public Adapter defaultCase(EObject object) {
+                                return createEObjectAdapter();
+                        }
+                };
+        /**
+         * Creates an adapter for the <code>target</code>.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param target the object to adapt.
+         * @return the adapter for the <code>target</code>.
+         * @generated
+         */
+        @Override
+        public Adapter createAdapter(Notifier target) {
+                return modelSwitch.doSwitch((EObject)target);
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type <em>Type</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.Type
+         * @generated
+         */
+        public Adapter createTypeAdapter() {
+                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 an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition <em>Type Definition</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.TypeDefinition
+         * @generated
+         */
+        public Adapter createTypeDefinitionAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeReference <em>Type Reference</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.TypeReference
+         * @generated
+         */
+        public Adapter createTypeReferenceAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ComplexTypeReference <em>Complex Type Reference</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.ComplexTypeReference
+         * @generated
+         */
+        public Adapter createComplexTypeReferenceAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.PrimitiveTypeReference <em>Primitive Type Reference</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.PrimitiveTypeReference
+         * @generated
+         */
+        public Adapter createPrimitiveTypeReferenceAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntTypeReference <em>Int Type Reference</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.IntTypeReference
+         * @generated
+         */
+        public Adapter createIntTypeReferenceAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolTypeReference <em>Bool Type Reference</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.BoolTypeReference
+         * @generated
+         */
+        public Adapter createBoolTypeReferenceAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealTypeReference <em>Real Type Reference</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.RealTypeReference
+         * @generated
+         */
+        public Adapter createRealTypeReferenceAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Function <em>Function</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.Function
+         * @generated
+         */
+        public Adapter createFunctionAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Term <em>Term</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.Term
+         * @generated
+         */
+        public Adapter createTermAdapter() {
+                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.SymbolicValue <em>Symbolic Value</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.SymbolicValue
+         * @generated
+         */
+        public Adapter createSymbolicValueAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.AtomicTerm <em>Atomic Term</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.AtomicTerm
+         * @generated
+         */
+        public Adapter createAtomicTermAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntLiteral <em>Int Literal</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.IntLiteral
+         * @generated
+         */
+        public Adapter createIntLiteralAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolLiteral <em>Bool Literal</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.BoolLiteral
+         * @generated
+         */
+        public Adapter createBoolLiteralAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealLiteral <em>Real Literal</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.RealLiteral
+         * @generated
+         */
+        public Adapter createRealLiteralAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable <em>Variable</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.Variable
+         * @generated
+         */
+        public Adapter createVariableAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.QuantifiedExpression <em>Quantified Expression</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.QuantifiedExpression
+         * @generated
+         */
+        public Adapter createQuantifiedExpressionAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Exists <em>Exists</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.Exists
+         * @generated
+         */
+        public Adapter createExistsAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Forall <em>Forall</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.Forall
+         * @generated
+         */
+        public Adapter createForallAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.BoolOperation <em>Bool Operation</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.BoolOperation
+         * @generated
+         */
+        public Adapter createBoolOperationAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.And <em>And</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.And
+         * @generated
+         */
+        public Adapter createAndAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Or <em>Or</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.Or
+         * @generated
+         */
+        public Adapter createOrAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Impl <em>Impl</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.Impl
+         * @generated
+         */
+        public Adapter createImplAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Not <em>Not</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.Not
+         * @generated
+         */
+        public Adapter createNotAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Iff <em>Iff</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.Iff
+         * @generated
+         */
+        public Adapter createIffAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.PrimitiveRelation <em>Primitive Relation</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.PrimitiveRelation
+         * @generated
+         */
+        public Adapter createPrimitiveRelationAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals <em>Equals</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.Equals
+         * @generated
+         */
+        public Adapter createEqualsAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Distinct <em>Distinct</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.Distinct
+         * @generated
+         */
+        public Adapter createDistinctAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessThan <em>Less Than</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.LessThan
+         * @generated
+         */
+        public Adapter createLessThanAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreThan <em>More Than</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.MoreThan
+         * @generated
+         */
+        public Adapter createMoreThanAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LessOrEqualThan <em>Less Or Equal Than</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.LessOrEqualThan
+         * @generated
+         */
+        public Adapter createLessOrEqualThanAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.MoreOrEqualThan <em>More Or Equal Than</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.MoreOrEqualThan
+         * @generated
+         */
+        public Adapter createMoreOrEqualThanAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IntOperation <em>Int Operation</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.IntOperation
+         * @generated
+         */
+        public Adapter createIntOperationAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Plus <em>Plus</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.Plus
+         * @generated
+         */
+        public Adapter createPlusAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Minus <em>Minus</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.Minus
+         * @generated
+         */
+        public Adapter createMinusAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Multiply <em>Multiply</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.Multiply
+         * @generated
+         */
+        public Adapter createMultiplyAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Divison <em>Divison</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.Divison
+         * @generated
+         */
+        public Adapter createDivisonAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Mod <em>Mod</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.Mod
+         * @generated
+         */
+        public Adapter createModAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDescriptor <em>Type Descriptor</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.TypeDescriptor
+         * @generated
+         */
+        public Adapter createTypeDescriptorAdapter() {
+                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.Assertion <em>Assertion</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.Assertion
+         * @generated
+         */
+        public Adapter createAssertionAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation <em>Relation</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.Relation
+         * @generated
+         */
+        public Adapter createRelationAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Constant <em>Constant</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.Constant
+         * @generated
+         */
+        public Adapter createConstantAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition <em>Constant Definition</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.ConstantDefinition
+         * @generated
+         */
+        public Adapter createConstantDefinitionAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition <em>Relation Definition</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.RelationDefinition
+         * @generated
+         */
+        public Adapter createRelationDefinitionAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition <em>Function Definition</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.FunctionDefinition
+         * @generated
+         */
+        public Adapter createFunctionDefinitionAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.IfThenElse <em>If Then Else</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.IfThenElse
+         * @generated
+         */
+        public Adapter createIfThenElseAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDeclaration <em>Constant 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.ConstantDeclaration
+         * @generated
+         */
+        public Adapter createConstantDeclarationAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration <em>Relation 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.RelationDeclaration
+         * @generated
+         */
+        public Adapter createRelationDeclarationAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDeclaration <em>Function 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.FunctionDeclaration
+         * @generated
+         */
+        public Adapter createFunctionDeclarationAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration <em>Type 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.TypeDeclaration
+         * @generated
+         */
+        public Adapter createTypeDeclarationAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.UnknownBecauseUninterpreted <em>Unknown Because Uninterpreted</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.UnknownBecauseUninterpreted
+         * @generated
+         */
+        public Adapter createUnknownBecauseUninterpretedAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.InstanceOf <em>Instance Of</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.InstanceOf
+         * @generated
+         */
+        public Adapter createInstanceOfAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for the default case.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @generated
+         */
+        public Adapter createEObjectAdapter() {
+                return null;
+        }
+} //LogiclanguageAdapterFactory