1 files changed, 1692 insertions, 0 deletions
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/util/SmtLanguageAdapterFactory.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/util/SmtLanguageAdapterFactory.java
new file mode 100644
index 00000000..b296566e
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/util/SmtLanguageAdapterFactory.java
@@ -0,0 +1,1692 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.smtLanguage.util;
+import hu.bme.mit.inf.dslreasoner.smtLanguage.*;
+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.smtLanguage.SmtLanguagePackage
+ * @generated
+ */
+public class SmtLanguageAdapterFactory extends AdapterFactoryImpl
+{
+  /**
+   * The cached model package.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected static SmtLanguagePackage modelPackage;
+  /**
+   * Creates an instance of the adapter factory.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public SmtLanguageAdapterFactory()
+  {
+    if (modelPackage == null)
+    {
+      modelPackage = SmtLanguagePackage.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 SmtLanguageSwitch<Adapter> modelSwitch =
+    new SmtLanguageSwitch<Adapter>()
+    {
+      @Override
+      public Adapter caseSMTDocument(SMTDocument object)
+      {
+        return createSMTDocumentAdapter();
+      }
+      @Override
+      public Adapter caseSMTInput(SMTInput object)
+      {
+        return createSMTInputAdapter();
+      }
+      @Override
+      public Adapter caseSMTOutput(SMTOutput object)
+      {
+        return createSMTOutputAdapter();
+      }
+      @Override
+      public Adapter caseSMTOption(SMTOption object)
+      {
+        return createSMTOptionAdapter();
+      }
+      @Override
+      public Adapter caseSMTType(SMTType object)
+      {
+        return createSMTTypeAdapter();
+      }
+      @Override
+      public Adapter caseSMTEnumLiteral(SMTEnumLiteral object)
+      {
+        return createSMTEnumLiteralAdapter();
+      }
+      @Override
+      public Adapter caseSMTEnumeratedTypeDeclaration(SMTEnumeratedTypeDeclaration object)
+      {
+        return createSMTEnumeratedTypeDeclarationAdapter();
+      }
+      @Override
+      public Adapter caseSMTSetTypeDeclaration(SMTSetTypeDeclaration object)
+      {
+        return createSMTSetTypeDeclarationAdapter();
+      }
+      @Override
+      public Adapter caseSMTTypeReference(SMTTypeReference object)
+      {
+        return createSMTTypeReferenceAdapter();
+      }
+      @Override
+      public Adapter caseSMTComplexTypeReference(SMTComplexTypeReference object)
+      {
+        return createSMTComplexTypeReferenceAdapter();
+      }
+      @Override
+      public Adapter caseSMTPrimitiveTypeReference(SMTPrimitiveTypeReference object)
+      {
+        return createSMTPrimitiveTypeReferenceAdapter();
+      }
+      @Override
+      public Adapter caseSMTIntTypeReference(SMTIntTypeReference object)
+      {
+        return createSMTIntTypeReferenceAdapter();
+      }
+      @Override
+      public Adapter caseSMTBoolTypeReference(SMTBoolTypeReference object)
+      {
+        return createSMTBoolTypeReferenceAdapter();
+      }
+      @Override
+      public Adapter caseSMTRealTypeReference(SMTRealTypeReference object)
+      {
+        return createSMTRealTypeReferenceAdapter();
+      }
+      @Override
+      public Adapter caseSMTFunctionDeclaration(SMTFunctionDeclaration object)
+      {
+        return createSMTFunctionDeclarationAdapter();
+      }
+      @Override
+      public Adapter caseSMTFunctionDefinition(SMTFunctionDefinition object)
+      {
+        return createSMTFunctionDefinitionAdapter();
+      }
+      @Override
+      public Adapter caseSMTTerm(SMTTerm object)
+      {
+        return createSMTTermAdapter();
+      }
+      @Override
+      public Adapter caseSMTSymbolicDeclaration(SMTSymbolicDeclaration object)
+      {
+        return createSMTSymbolicDeclarationAdapter();
+      }
+      @Override
+      public Adapter caseSMTSymbolicValue(SMTSymbolicValue object)
+      {
+        return createSMTSymbolicValueAdapter();
+      }
+      @Override
+      public Adapter caseSMTAtomicTerm(SMTAtomicTerm object)
+      {
+        return createSMTAtomicTermAdapter();
+      }
+      @Override
+      public Adapter caseSMTIntLiteral(SMTIntLiteral object)
+      {
+        return createSMTIntLiteralAdapter();
+      }
+      @Override
+      public Adapter caseSMTBoolLiteral(SMTBoolLiteral object)
+      {
+        return createSMTBoolLiteralAdapter();
+      }
+      @Override
+      public Adapter caseSMTRealLiteral(SMTRealLiteral object)
+      {
+        return createSMTRealLiteralAdapter();
+      }
+      @Override
+      public Adapter caseSMTSortedVariable(SMTSortedVariable object)
+      {
+        return createSMTSortedVariableAdapter();
+      }
+      @Override
+      public Adapter caseSMTQuantifiedExpression(SMTQuantifiedExpression object)
+      {
+        return createSMTQuantifiedExpressionAdapter();
+      }
+      @Override
+      public Adapter caseSMTExists(SMTExists object)
+      {
+        return createSMTExistsAdapter();
+      }
+      @Override
+      public Adapter caseSMTForall(SMTForall object)
+      {
+        return createSMTForallAdapter();
+      }
+      @Override
+      public Adapter caseSMTBoolOperation(SMTBoolOperation object)
+      {
+        return createSMTBoolOperationAdapter();
+      }
+      @Override
+      public Adapter caseSMTAnd(SMTAnd object)
+      {
+        return createSMTAndAdapter();
+      }
+      @Override
+      public Adapter caseSMTOr(SMTOr object)
+      {
+        return createSMTOrAdapter();
+      }
+      @Override
+      public Adapter caseSMTImpl(SMTImpl object)
+      {
+        return createSMTImplAdapter();
+      }
+      @Override
+      public Adapter caseSMTNot(SMTNot object)
+      {
+        return createSMTNotAdapter();
+      }
+      @Override
+      public Adapter caseSMTIff(SMTIff object)
+      {
+        return createSMTIffAdapter();
+      }
+      @Override
+      public Adapter caseSMTITE(SMTITE object)
+      {
+        return createSMTITEAdapter();
+      }
+      @Override
+      public Adapter caseSMTLet(SMTLet object)
+      {
+        return createSMTLetAdapter();
+      }
+      @Override
+      public Adapter caseSMTInlineConstantDefinition(SMTInlineConstantDefinition object)
+      {
+        return createSMTInlineConstantDefinitionAdapter();
+      }
+      @Override
+      public Adapter caseSMTRelation(SMTRelation object)
+      {
+        return createSMTRelationAdapter();
+      }
+      @Override
+      public Adapter caseSMTEquals(SMTEquals object)
+      {
+        return createSMTEqualsAdapter();
+      }
+      @Override
+      public Adapter caseSMTDistinct(SMTDistinct object)
+      {
+        return createSMTDistinctAdapter();
+      }
+      @Override
+      public Adapter caseSMTLT(SMTLT object)
+      {
+        return createSMTLTAdapter();
+      }
+      @Override
+      public Adapter caseSMTMT(SMTMT object)
+      {
+        return createSMTMTAdapter();
+      }
+      @Override
+      public Adapter caseSMTLEQ(SMTLEQ object)
+      {
+        return createSMTLEQAdapter();
+      }
+      @Override
+      public Adapter caseSMTMEQ(SMTMEQ object)
+      {
+        return createSMTMEQAdapter();
+      }
+      @Override
+      public Adapter caseSMTIntOperation(SMTIntOperation object)
+      {
+        return createSMTIntOperationAdapter();
+      }
+      @Override
+      public Adapter caseSMTPlus(SMTPlus object)
+      {
+        return createSMTPlusAdapter();
+      }
+      @Override
+      public Adapter caseSMTMinus(SMTMinus object)
+      {
+        return createSMTMinusAdapter();
+      }
+      @Override
+      public Adapter caseSMTMultiply(SMTMultiply object)
+      {
+        return createSMTMultiplyAdapter();
+      }
+      @Override
+      public Adapter caseSMTDivison(SMTDivison object)
+      {
+        return createSMTDivisonAdapter();
+      }
+      @Override
+      public Adapter caseSMTDiv(SMTDiv object)
+      {
+        return createSMTDivAdapter();
+      }
+      @Override
+      public Adapter caseSMTMod(SMTMod object)
+      {
+        return createSMTModAdapter();
+      }
+      @Override
+      public Adapter caseSMTAssertion(SMTAssertion object)
+      {
+        return createSMTAssertionAdapter();
+      }
+      @Override
+      public Adapter caseSMTCardinalityConstraint(SMTCardinalityConstraint object)
+      {
+        return createSMTCardinalityConstraintAdapter();
+      }
+      @Override
+      public Adapter caseSMTSatCommand(SMTSatCommand object)
+      {
+        return createSMTSatCommandAdapter();
+      }
+      @Override
+      public Adapter caseSMTSimpleSatCommand(SMTSimpleSatCommand object)
+      {
+        return createSMTSimpleSatCommandAdapter();
+      }
+      @Override
+      public Adapter caseSMTComplexSatCommand(SMTComplexSatCommand object)
+      {
+        return createSMTComplexSatCommandAdapter();
+      }
+      @Override
+      public Adapter caseSMTGetModelCommand(SMTGetModelCommand object)
+      {
+        return createSMTGetModelCommandAdapter();
+      }
+      @Override
+      public Adapter caseSMTReasoningTactic(SMTReasoningTactic object)
+      {
+        return createSMTReasoningTacticAdapter();
+      }
+      @Override
+      public Adapter caseSMTBuiltinTactic(SMTBuiltinTactic object)
+      {
+        return createSMTBuiltinTacticAdapter();
+      }
+      @Override
+      public Adapter caseSMTReasoningCombinator(SMTReasoningCombinator object)
+      {
+        return createSMTReasoningCombinatorAdapter();
+      }
+      @Override
+      public Adapter caseSMTAndThenCombinator(SMTAndThenCombinator object)
+      {
+        return createSMTAndThenCombinatorAdapter();
+      }
+      @Override
+      public Adapter caseSMTOrElseCombinator(SMTOrElseCombinator object)
+      {
+        return createSMTOrElseCombinatorAdapter();
+      }
+      @Override
+      public Adapter caseSMTParOrCombinator(SMTParOrCombinator object)
+      {
+        return createSMTParOrCombinatorAdapter();
+      }
+      @Override
+      public Adapter caseSMTParThenCombinator(SMTParThenCombinator object)
+      {
+        return createSMTParThenCombinatorAdapter();
+      }
+      @Override
+      public Adapter caseSMTTryForCombinator(SMTTryForCombinator object)
+      {
+        return createSMTTryForCombinatorAdapter();
+      }
+      @Override
+      public Adapter caseSMTIfCombinator(SMTIfCombinator object)
+      {
+        return createSMTIfCombinatorAdapter();
+      }
+      @Override
+      public Adapter caseSMTWhenCombinator(SMTWhenCombinator object)
+      {
+        return createSMTWhenCombinatorAdapter();
+      }
+      @Override
+      public Adapter caseSMTFailIfCombinator(SMTFailIfCombinator object)
+      {
+        return createSMTFailIfCombinatorAdapter();
+      }
+      @Override
+      public Adapter caseSMTUsingParamCombinator(SMTUsingParamCombinator object)
+      {
+        return createSMTUsingParamCombinatorAdapter();
+      }
+      @Override
+      public Adapter caseReasoningProbe(ReasoningProbe object)
+      {
+        return createReasoningProbeAdapter();
+      }
+      @Override
+      public Adapter caseReasoningTacticParameter(ReasoningTacticParameter object)
+      {
+        return createReasoningTacticParameterAdapter();
+      }
+      @Override
+      public Adapter caseSMTResult(SMTResult object)
+      {
+        return createSMTResultAdapter();
+      }
+      @Override
+      public Adapter caseSMTErrorResult(SMTErrorResult object)
+      {
+        return createSMTErrorResultAdapter();
+      }
+      @Override
+      public Adapter caseSMTUnsupportedResult(SMTUnsupportedResult object)
+      {
+        return createSMTUnsupportedResultAdapter();
+      }
+      @Override
+      public Adapter caseSMTSatResult(SMTSatResult object)
+      {
+        return createSMTSatResultAdapter();
+      }
+      @Override
+      public Adapter caseSMTModelResult(SMTModelResult object)
+      {
+        return createSMTModelResultAdapter();
+      }
+      @Override
+      public Adapter caseSMTStatisticValue(SMTStatisticValue object)
+      {
+        return createSMTStatisticValueAdapter();
+      }
+      @Override
+      public Adapter caseSMTStatisticIntValue(SMTStatisticIntValue object)
+      {
+        return createSMTStatisticIntValueAdapter();
+      }
+      @Override
+      public Adapter caseSMTStatisticDoubleValue(SMTStatisticDoubleValue object)
+      {
+        return createSMTStatisticDoubleValueAdapter();
+      }
+      @Override
+      public Adapter caseSMTStatisticsSection(SMTStatisticsSection object)
+      {
+        return createSMTStatisticsSectionAdapter();
+      }
+      @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.smtLanguage.SMTDocument <em>SMT Document</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.smtLanguage.SMTDocument
+   * @generated
+   */
+  public Adapter createSMTDocumentAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput <em>SMT Input</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.smtLanguage.SMTInput
+   * @generated
+   */
+  public Adapter createSMTInputAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOutput <em>SMT Output</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.smtLanguage.SMTOutput
+   * @generated
+   */
+  public Adapter createSMTOutputAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOption <em>SMT Option</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.smtLanguage.SMTOption
+   * @generated
+   */
+  public Adapter createSMTOptionAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTType <em>SMT 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.smtLanguage.SMTType
+   * @generated
+   */
+  public Adapter createSMTTypeAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEnumLiteral <em>SMT Enum 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.smtLanguage.SMTEnumLiteral
+   * @generated
+   */
+  public Adapter createSMTEnumLiteralAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEnumeratedTypeDeclaration <em>SMT Enumerated 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.smtLanguage.SMTEnumeratedTypeDeclaration
+   * @generated
+   */
+  public Adapter createSMTEnumeratedTypeDeclarationAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSetTypeDeclaration <em>SMT Set 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.smtLanguage.SMTSetTypeDeclaration
+   * @generated
+   */
+  public Adapter createSMTSetTypeDeclarationAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTypeReference <em>SMT 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.smtLanguage.SMTTypeReference
+   * @generated
+   */
+  public Adapter createSMTTypeReferenceAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTComplexTypeReference <em>SMT 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.smtLanguage.SMTComplexTypeReference
+   * @generated
+   */
+  public Adapter createSMTComplexTypeReferenceAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTPrimitiveTypeReference <em>SMT 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.smtLanguage.SMTPrimitiveTypeReference
+   * @generated
+   */
+  public Adapter createSMTPrimitiveTypeReferenceAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntTypeReference <em>SMT 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.smtLanguage.SMTIntTypeReference
+   * @generated
+   */
+  public Adapter createSMTIntTypeReferenceAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBoolTypeReference <em>SMT 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.smtLanguage.SMTBoolTypeReference
+   * @generated
+   */
+  public Adapter createSMTBoolTypeReferenceAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTRealTypeReference <em>SMT 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.smtLanguage.SMTRealTypeReference
+   * @generated
+   */
+  public Adapter createSMTRealTypeReferenceAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDeclaration <em>SMT 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.smtLanguage.SMTFunctionDeclaration
+   * @generated
+   */
+  public Adapter createSMTFunctionDeclarationAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDefinition <em>SMT 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.smtLanguage.SMTFunctionDefinition
+   * @generated
+   */
+  public Adapter createSMTFunctionDefinitionAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTerm <em>SMT 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.smtLanguage.SMTTerm
+   * @generated
+   */
+  public Adapter createSMTTermAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicDeclaration <em>SMT 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.smtLanguage.SMTSymbolicDeclaration
+   * @generated
+   */
+  public Adapter createSMTSymbolicDeclarationAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSymbolicValue <em>SMT 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.smtLanguage.SMTSymbolicValue
+   * @generated
+   */
+  public Adapter createSMTSymbolicValueAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAtomicTerm <em>SMT 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.smtLanguage.SMTAtomicTerm
+   * @generated
+   */
+  public Adapter createSMTAtomicTermAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntLiteral <em>SMT 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.smtLanguage.SMTIntLiteral
+   * @generated
+   */
+  public Adapter createSMTIntLiteralAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBoolLiteral <em>SMT 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.smtLanguage.SMTBoolLiteral
+   * @generated
+   */
+  public Adapter createSMTBoolLiteralAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTRealLiteral <em>SMT 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.smtLanguage.SMTRealLiteral
+   * @generated
+   */
+  public Adapter createSMTRealLiteralAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSortedVariable <em>SMT Sorted 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.smtLanguage.SMTSortedVariable
+   * @generated
+   */
+  public Adapter createSMTSortedVariableAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTQuantifiedExpression <em>SMT 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.smtLanguage.SMTQuantifiedExpression
+   * @generated
+   */
+  public Adapter createSMTQuantifiedExpressionAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTExists <em>SMT 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.smtLanguage.SMTExists
+   * @generated
+   */
+  public Adapter createSMTExistsAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTForall <em>SMT 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.smtLanguage.SMTForall
+   * @generated
+   */
+  public Adapter createSMTForallAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBoolOperation <em>SMT 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.smtLanguage.SMTBoolOperation
+   * @generated
+   */
+  public Adapter createSMTBoolOperationAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAnd <em>SMT 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.smtLanguage.SMTAnd
+   * @generated
+   */
+  public Adapter createSMTAndAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOr <em>SMT 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.smtLanguage.SMTOr
+   * @generated
+   */
+  public Adapter createSMTOrAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTImpl <em>SMT 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.smtLanguage.SMTImpl
+   * @generated
+   */
+  public Adapter createSMTImplAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTNot <em>SMT 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.smtLanguage.SMTNot
+   * @generated
+   */
+  public Adapter createSMTNotAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIff <em>SMT 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.smtLanguage.SMTIff
+   * @generated
+   */
+  public Adapter createSMTIffAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE <em>SMTITE</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.smtLanguage.SMTITE
+   * @generated
+   */
+  public Adapter createSMTITEAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLet <em>SMT Let</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.smtLanguage.SMTLet
+   * @generated
+   */
+  public Adapter createSMTLetAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInlineConstantDefinition <em>SMT Inline 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.smtLanguage.SMTInlineConstantDefinition
+   * @generated
+   */
+  public Adapter createSMTInlineConstantDefinitionAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTRelation <em>SMT 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.smtLanguage.SMTRelation
+   * @generated
+   */
+  public Adapter createSMTRelationAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTEquals <em>SMT 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.smtLanguage.SMTEquals
+   * @generated
+   */
+  public Adapter createSMTEqualsAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDistinct <em>SMT 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.smtLanguage.SMTDistinct
+   * @generated
+   */
+  public Adapter createSMTDistinctAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLT <em>SMTLT</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.smtLanguage.SMTLT
+   * @generated
+   */
+  public Adapter createSMTLTAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMT <em>SMTMT</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.smtLanguage.SMTMT
+   * @generated
+   */
+  public Adapter createSMTMTAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTLEQ <em>SMTLEQ</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.smtLanguage.SMTLEQ
+   * @generated
+   */
+  public Adapter createSMTLEQAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMEQ <em>SMTMEQ</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.smtLanguage.SMTMEQ
+   * @generated
+   */
+  public Adapter createSMTMEQAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIntOperation <em>SMT 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.smtLanguage.SMTIntOperation
+   * @generated
+   */
+  public Adapter createSMTIntOperationAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTPlus <em>SMT 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.smtLanguage.SMTPlus
+   * @generated
+   */
+  public Adapter createSMTPlusAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMinus <em>SMT 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.smtLanguage.SMTMinus
+   * @generated
+   */
+  public Adapter createSMTMinusAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMultiply <em>SMT 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.smtLanguage.SMTMultiply
+   * @generated
+   */
+  public Adapter createSMTMultiplyAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDivison <em>SMT 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.smtLanguage.SMTDivison
+   * @generated
+   */
+  public Adapter createSMTDivisonAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTDiv <em>SMT Div</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.smtLanguage.SMTDiv
+   * @generated
+   */
+  public Adapter createSMTDivAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTMod <em>SMT 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.smtLanguage.SMTMod
+   * @generated
+   */
+  public Adapter createSMTModAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAssertion <em>SMT 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.smtLanguage.SMTAssertion
+   * @generated
+   */
+  public Adapter createSMTAssertionAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTCardinalityConstraint <em>SMT Cardinality Constraint</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.smtLanguage.SMTCardinalityConstraint
+   * @generated
+   */
+  public Adapter createSMTCardinalityConstraintAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatCommand <em>SMT Sat Command</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.smtLanguage.SMTSatCommand
+   * @generated
+   */
+  public Adapter createSMTSatCommandAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSimpleSatCommand <em>SMT Simple Sat Command</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.smtLanguage.SMTSimpleSatCommand
+   * @generated
+   */
+  public Adapter createSMTSimpleSatCommandAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTComplexSatCommand <em>SMT Complex Sat Command</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.smtLanguage.SMTComplexSatCommand
+   * @generated
+   */
+  public Adapter createSMTComplexSatCommandAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTGetModelCommand <em>SMT Get Model Command</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.smtLanguage.SMTGetModelCommand
+   * @generated
+   */
+  public Adapter createSMTGetModelCommandAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTReasoningTactic <em>SMT Reasoning Tactic</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.smtLanguage.SMTReasoningTactic
+   * @generated
+   */
+  public Adapter createSMTReasoningTacticAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTBuiltinTactic <em>SMT Builtin Tactic</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.smtLanguage.SMTBuiltinTactic
+   * @generated
+   */
+  public Adapter createSMTBuiltinTacticAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTReasoningCombinator <em>SMT Reasoning Combinator</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.smtLanguage.SMTReasoningCombinator
+   * @generated
+   */
+  public Adapter createSMTReasoningCombinatorAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAndThenCombinator <em>SMT And Then Combinator</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.smtLanguage.SMTAndThenCombinator
+   * @generated
+   */
+  public Adapter createSMTAndThenCombinatorAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOrElseCombinator <em>SMT Or Else Combinator</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.smtLanguage.SMTOrElseCombinator
+   * @generated
+   */
+  public Adapter createSMTOrElseCombinatorAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTParOrCombinator <em>SMT Par Or Combinator</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.smtLanguage.SMTParOrCombinator
+   * @generated
+   */
+  public Adapter createSMTParOrCombinatorAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTParThenCombinator <em>SMT Par Then Combinator</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.smtLanguage.SMTParThenCombinator
+   * @generated
+   */
+  public Adapter createSMTParThenCombinatorAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTTryForCombinator <em>SMT Try For Combinator</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.smtLanguage.SMTTryForCombinator
+   * @generated
+   */
+  public Adapter createSMTTryForCombinatorAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator <em>SMT If Combinator</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.smtLanguage.SMTIfCombinator
+   * @generated
+   */
+  public Adapter createSMTIfCombinatorAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTWhenCombinator <em>SMT When Combinator</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.smtLanguage.SMTWhenCombinator
+   * @generated
+   */
+  public Adapter createSMTWhenCombinatorAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFailIfCombinator <em>SMT Fail If Combinator</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.smtLanguage.SMTFailIfCombinator
+   * @generated
+   */
+  public Adapter createSMTFailIfCombinatorAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTUsingParamCombinator <em>SMT Using Param Combinator</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.smtLanguage.SMTUsingParamCombinator
+   * @generated
+   */
+  public Adapter createSMTUsingParamCombinatorAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.ReasoningProbe <em>Reasoning Probe</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.smtLanguage.ReasoningProbe
+   * @generated
+   */
+  public Adapter createReasoningProbeAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.ReasoningTacticParameter <em>Reasoning Tactic Parameter</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.smtLanguage.ReasoningTacticParameter
+   * @generated
+   */
+  public Adapter createReasoningTacticParameterAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTResult <em>SMT Result</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.smtLanguage.SMTResult
+   * @generated
+   */
+  public Adapter createSMTResultAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTErrorResult <em>SMT Error Result</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.smtLanguage.SMTErrorResult
+   * @generated
+   */
+  public Adapter createSMTErrorResultAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTUnsupportedResult <em>SMT Unsupported Result</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.smtLanguage.SMTUnsupportedResult
+   * @generated
+   */
+  public Adapter createSMTUnsupportedResultAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTSatResult <em>SMT Sat Result</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.smtLanguage.SMTSatResult
+   * @generated
+   */
+  public Adapter createSMTSatResultAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTModelResult <em>SMT Model Result</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.smtLanguage.SMTModelResult
+   * @generated
+   */
+  public Adapter createSMTModelResultAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticValue <em>SMT Statistic 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.smtLanguage.SMTStatisticValue
+   * @generated
+   */
+  public Adapter createSMTStatisticValueAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticIntValue <em>SMT Statistic Int 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.smtLanguage.SMTStatisticIntValue
+   * @generated
+   */
+  public Adapter createSMTStatisticIntValueAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticDoubleValue <em>SMT Statistic Double 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.smtLanguage.SMTStatisticDoubleValue
+   * @generated
+   */
+  public Adapter createSMTStatisticDoubleValueAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTStatisticsSection <em>SMT Statistics Section</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.smtLanguage.SMTStatisticsSection
+   * @generated
+   */
+  public Adapter createSMTStatisticsSectionAdapter()
+  {
+    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;
+  }
+} //SmtLanguageAdapterFactory