1 files changed, 222 insertions, 392 deletions

diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageAdapterFactory.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageAdapterFactory.java
index 9931598c..e46d6779 100644
--- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageAdapterFactory.java
+++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageAdapterFactory.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.18.0.M3

+ * generated by Xtext 2.21.0

  */

 package org.eclipse.viatra.solver.language.solverLanguage.util;

 

@@ -10,57 +10,7 @@ import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
 

 import org.eclipse.emf.ecore.EObject;

 

-import org.eclipse.viatra.solver.language.solverLanguage.AllInstances;

-import org.eclipse.viatra.solver.language.solverLanguage.AllObjects;

-import org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation;

-import org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse;

-import org.eclipse.viatra.solver.language.solverLanguage.BooleanObject;

-import org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol;

-import org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue;

-import org.eclipse.viatra.solver.language.solverLanguage.BooleanValue;

-import org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation;

-import org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation;

-import org.eclipse.viatra.solver.language.solverLanguage.ClosureType;

-import org.eclipse.viatra.solver.language.solverLanguage.ComplexObject;

-import org.eclipse.viatra.solver.language.solverLanguage.Constraint;

-import org.eclipse.viatra.solver.language.solverLanguage.DataObject;

-import org.eclipse.viatra.solver.language.solverLanguage.DataSymbol;

-import org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation;

-import org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation;

-import org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol;

-import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol;

-import org.eclipse.viatra.solver.language.solverLanguage.False;

-import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation;

-import org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation;

-import org.eclipse.viatra.solver.language.solverLanguage.IntObject;

-import org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol;

-import org.eclipse.viatra.solver.language.solverLanguage.Interpretation;

-import org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure;

-import org.eclipse.viatra.solver.language.solverLanguage.Literal;

-import org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol;

-import org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition;

-import org.eclipse.viatra.solver.language.solverLanguage.NamedObject;

-import org.eclipse.viatra.solver.language.solverLanguage.Negative;

-import org.eclipse.viatra.solver.language.solverLanguage.Parameter;

-import org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol;

-import org.eclipse.viatra.solver.language.solverLanguage.PatternBody;

-import org.eclipse.viatra.solver.language.solverLanguage.Polarity;

-import org.eclipse.viatra.solver.language.solverLanguage.Positive;

-import org.eclipse.viatra.solver.language.solverLanguage.Predicate;

-import org.eclipse.viatra.solver.language.solverLanguage.Problem;

-import org.eclipse.viatra.solver.language.solverLanguage.RealObject;

-import org.eclipse.viatra.solver.language.solverLanguage.RealSymbol;

-import org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure;

-import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage;

-import org.eclipse.viatra.solver.language.solverLanguage.Statement;

-import org.eclipse.viatra.solver.language.solverLanguage.StringObject;

-import org.eclipse.viatra.solver.language.solverLanguage.StringSymbol;

-import org.eclipse.viatra.solver.language.solverLanguage.Symbol;

-import org.eclipse.viatra.solver.language.solverLanguage.True;

-import org.eclipse.viatra.solver.language.solverLanguage.TruthValue;

-import org.eclipse.viatra.solver.language.solverLanguage.Unknown;

-import org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject;

-import org.eclipse.viatra.solver.language.solverLanguage.Variable;

+import org.eclipse.viatra.solver.language.solverLanguage.*;

 

 /**

  * <!-- begin-user-doc -->

@@ -136,254 +86,224 @@ public class SolverLanguageAdapterFactory extends AdapterFactoryImpl
         return createStatementAdapter();

       }

       @Override

-      public Adapter caseBooleanValue(BooleanValue object)

+      public Adapter casePredicateDefinition(PredicateDefinition object)

       {

-        return createBooleanValueAdapter();

+        return createPredicateDefinitionAdapter();

       }

       @Override

-      public Adapter caseTruthValue(TruthValue object)

+      public Adapter caseUnnamedErrorPrediateDefinition(UnnamedErrorPrediateDefinition object)

       {

-        return createTruthValueAdapter();

+        return createUnnamedErrorPrediateDefinitionAdapter();

       }

       @Override

-      public Adapter caseInterpretation(Interpretation object)

+      public Adapter caseDefaultDefinition(DefaultDefinition object)

       {

-        return createInterpretationAdapter();

+        return createDefaultDefinitionAdapter();

       }

       @Override

-      public Adapter caseBasicInterpretation(BasicInterpretation object)

+      public Adapter caseExternPredicateDefinition(ExternPredicateDefinition object)

       {

-        return createBasicInterpretationAdapter();

+        return createExternPredicateDefinitionAdapter();

       }

       @Override

-      public Adapter caseSymbol(Symbol object)

+      public Adapter caseMetricDefinition(MetricDefinition object)

       {

-        return createSymbolAdapter();

+        return createMetricDefinitionAdapter();

       }

       @Override

-      public Adapter caseModelSymbol(ModelSymbol object)

+      public Adapter caseExternMetricDefinition(ExternMetricDefinition object)

       {

-        return createModelSymbolAdapter();

+        return createExternMetricDefinitionAdapter();

       }

       @Override

-      public Adapter casePartialitySymbol(PartialitySymbol object)

+      public Adapter caseExpression(Expression object)

       {

-        return createPartialitySymbolAdapter();

+        return createExpressionAdapter();

       }

       @Override

-      public Adapter caseExistSymbol(ExistSymbol object)

+      public Adapter caseIfElse(IfElse object)

       {

-        return createExistSymbolAdapter();

+        return createIfElseAdapter();

       }

       @Override

-      public Adapter caseEqualsSymbol(EqualsSymbol object)

+      public Adapter caseCase(Case object)

       {

-        return createEqualsSymbolAdapter();

+        return createCaseAdapter();

       }

       @Override

-      public Adapter caseDataSymbol(DataSymbol object)

+      public Adapter caseCount(Count object)

       {

-        return createDataSymbolAdapter();

+        return createCountAdapter();

       }

       @Override

-      public Adapter caseBooleanSymbol(BooleanSymbol object)

+      public Adapter caseAggregation(Aggregation object)

       {

-        return createBooleanSymbolAdapter();

+        return createAggregationAdapter();

       }

       @Override

-      public Adapter caseIntegerSymbol(IntegerSymbol object)

+      public Adapter caseCall(Call object)

       {

-        return createIntegerSymbolAdapter();

+        return createCallAdapter();

       }

       @Override

-      public Adapter caseRealSymbol(RealSymbol object)

+      public Adapter caseArgumentList(ArgumentList object)

       {

-        return createRealSymbolAdapter();

+        return createArgumentListAdapter();

       }

       @Override

-      public Adapter caseStringSymbol(StringSymbol object)

+      public Adapter caseArgument(Argument object)

       {

-        return createStringSymbolAdapter();

+        return createArgumentAdapter();

       }

       @Override

-      public Adapter caseComplexObject(ComplexObject object)

+      public Adapter caseExpressionArgument(ExpressionArgument object)

       {

-        return createComplexObjectAdapter();

+        return createExpressionArgumentAdapter();

       }

       @Override

-      public Adapter caseObject(org.eclipse.viatra.solver.language.solverLanguage.Object object)

+      public Adapter caseStarArgument(StarArgument object)

       {

-        return createObjectAdapter();

+        return createStarArgumentAdapter();

       }

       @Override

-      public Adapter caseNamedObject(NamedObject object)

+      public Adapter caseTypedArgument(TypedArgument object)

       {

-        return createNamedObjectAdapter();

+        return createTypedArgumentAdapter();

       }

       @Override

-      public Adapter caseUnnamedObject(UnnamedObject object)

+      public Adapter caseTypedStarArgument(TypedStarArgument object)

       {

-        return createUnnamedObjectAdapter();

+        return createTypedStarArgumentAdapter();

       }

       @Override

-      public Adapter caseDataObject(DataObject object)

+      public Adapter caseReference(Reference object)

       {

-        return createDataObjectAdapter();

+        return createReferenceAdapter();

       }

       @Override

-      public Adapter caseBooleanObject(BooleanObject object)

+      public Adapter caseInterval(Interval object)

       {

-        return createBooleanObjectAdapter();

+        return createIntervalAdapter();

       }

       @Override

-      public Adapter caseIntObject(IntObject object)

-      {

-        return createIntObjectAdapter();

-      }

-      @Override

-      public Adapter caseRealObject(RealObject object)

-      {

-        return createRealObjectAdapter();

-      }

-      @Override

-      public Adapter caseStringObject(StringObject object)

-      {

-        return createStringObjectAdapter();

-      }

-      @Override

-      public Adapter casePredicate(Predicate object)

-      {

-        return createPredicateAdapter();

-      }

-      @Override

-      public Adapter caseParameter(Parameter object)

-      {

-        return createParameterAdapter();

-      }

-      @Override

-      public Adapter casePatternBody(PatternBody object)

-      {

-        return createPatternBodyAdapter();

-      }

-      @Override

-      public Adapter casePolarity(Polarity object)

+      public Adapter caseLiteral(Literal object)

       {

-        return createPolarityAdapter();

+        return createLiteralAdapter();

       }

       @Override

-      public Adapter caseConstraint(Constraint object)

+      public Adapter caseLogicLiteral(LogicLiteral object)

       {

-        return createConstraintAdapter();

+        return createLogicLiteralAdapter();

       }

       @Override

-      public Adapter caseClosureType(ClosureType object)

+      public Adapter caseNumericLiteral(NumericLiteral object)

       {

-        return createClosureTypeAdapter();

+        return createNumericLiteralAdapter();

       }

       @Override

-      public Adapter caseLiteral(Literal object)

+      public Adapter caseInfinityLiteral(InfinityLiteral object)

       {

-        return createLiteralAdapter();

+        return createInfinityLiteralAdapter();

       }

       @Override

-      public Adapter caseVariable(Variable object)

+      public Adapter caseEmptyIntervalLiteral(EmptyIntervalLiteral object)

       {

-        return createVariableAdapter();

+        return createEmptyIntervalLiteralAdapter();

       }

       @Override

-      public Adapter caseAllInstances(AllInstances object)

+      public Adapter caseStringLiteral(StringLiteral object)

       {

-        return createAllInstancesAdapter();

+        return createStringLiteralAdapter();

       }

       @Override

-      public Adapter caseAllObjects(AllObjects object)

+      public Adapter caseMemberDefinition(MemberDefinition object)

       {

-        return createAllObjectsAdapter();

+        return createMemberDefinitionAdapter();

       }

       @Override

-      public Adapter caseDefaultInterpretation(DefaultInterpretation object)

+      public Adapter caseMultiplicity(Multiplicity object)

       {

-        return createDefaultInterpretationAdapter();

+        return createMultiplicityAdapter();

       }

       @Override

-      public Adapter caseCDInterpretation(CDInterpretation object)

+      public Adapter caseManyMultiplicity(ManyMultiplicity object)

       {

-        return createCDInterpretationAdapter();

+        return createManyMultiplicityAdapter();

       }

       @Override

-      public Adapter caseClassInterpretation(ClassInterpretation object)

+      public Adapter caseExactMultiplicity(ExactMultiplicity object)

       {

-        return createClassInterpretationAdapter();

+        return createExactMultiplicityAdapter();

       }

       @Override

-      public Adapter caseEnumInterpretation(EnumInterpretation object)

+      public Adapter caseBoundedMultiplicity(BoundedMultiplicity object)

       {

-        return createEnumInterpretationAdapter();

+        return createBoundedMultiplicityAdapter();

       }

       @Override

-      public Adapter caseFieldRelationInterpretation(FieldRelationInterpretation object)

+      public Adapter caseScopeDefinition(ScopeDefinition object)

       {

-        return createFieldRelationInterpretationAdapter();

+        return createScopeDefinitionAdapter();

       }

       @Override

-      public Adapter caseGlobalRelationInterpretation(GlobalRelationInterpretation object)

+      public Adapter caseExactScopeDefinition(ExactScopeDefinition object)

       {

-        return createGlobalRelationInterpretationAdapter();

+        return createExactScopeDefinitionAdapter();

       }

       @Override

-      public Adapter caseMultiplicityDefinition(MultiplicityDefinition object)

+      public Adapter caseBoundedScopeDefinition(BoundedScopeDefinition object)

       {

-        return createMultiplicityDefinitionAdapter();

+        return createBoundedScopeDefinitionAdapter();

       }

       @Override

-      public Adapter caseBooleanTrue(BooleanTrue object)

+      public Adapter caseLowerBoundedScopeDefinition(LowerBoundedScopeDefinition object)

       {

-        return createBooleanTrueAdapter();

+        return createLowerBoundedScopeDefinitionAdapter();

       }

       @Override

-      public Adapter caseBooleanFalse(BooleanFalse object)

+      public Adapter caseObjectiveDefinition(ObjectiveDefinition object)

       {

-        return createBooleanFalseAdapter();

+        return createObjectiveDefinitionAdapter();

       }

       @Override

-      public Adapter caseTrue(True object)

+      public Adapter caseNamedElement(NamedElement object)

       {

-        return createTrueAdapter();

+        return createNamedElementAdapter();

       }

       @Override

-      public Adapter caseFalse(False object)

+      public Adapter caseAssertion(Assertion object)

       {

-        return createFalseAdapter();

+        return createAssertionAdapter();

       }

       @Override

-      public Adapter caseUnknown(Unknown object)

+      public Adapter caseDisjunction(Disjunction object)

       {

-        return createUnknownAdapter();

+        return createDisjunctionAdapter();

       }

       @Override

-      public Adapter caseError(org.eclipse.viatra.solver.language.solverLanguage.Error object)

+      public Adapter caseSwitch(Switch object)

       {

-        return createErrorAdapter();

+        return createSwitchAdapter();

       }

       @Override

-      public Adapter casePositive(Positive object)

+      public Adapter caseConjunction(Conjunction object)

       {

-        return createPositiveAdapter();

+        return createConjunctionAdapter();

       }

       @Override

-      public Adapter caseNegative(Negative object)

+      public Adapter caseComparison(Comparison object)

       {

-        return createNegativeAdapter();

+        return createComparisonAdapter();

       }

       @Override

-      public Adapter caseReflexiveClosure(ReflexiveClosure object)

+      public Adapter caseBinaryExpression(BinaryExpression object)

       {

-        return createReflexiveClosureAdapter();

+        return createBinaryExpressionAdapter();

       }

       @Override

-      public Adapter caseIrreflexiveClosure(IrreflexiveClosure object)

+      public Adapter caseUnaryExpression(UnaryExpression object)

       {

-        return createIrreflexiveClosureAdapter();

+        return createUnaryExpressionAdapter();

       }

       @Override

       public Adapter defaultCase(EObject object)

@@ -438,751 +358,661 @@ public class SolverLanguageAdapterFactory extends AdapterFactoryImpl
   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanValue <em>Boolean 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 org.eclipse.viatra.solver.language.solverLanguage.BooleanValue

-   * @generated

-   */

-  public Adapter createBooleanValueAdapter()

-  {

-    return null;

-  }

-

-  /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.TruthValue <em>Truth 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 org.eclipse.viatra.solver.language.solverLanguage.TruthValue

-   * @generated

-   */

-  public Adapter createTruthValueAdapter()

-  {

-    return null;

-  }

-

-  /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Interpretation <em>Interpretation</em>}'.

-   * <!-- begin-user-doc -->

-   * This default implementation returns null so that we can easily ignore cases;

-   * it's useful to ignore a case when inheritance will catch all the cases anyway.

-   * <!-- end-user-doc -->

-   * @return the new adapter.

-   * @see org.eclipse.viatra.solver.language.solverLanguage.Interpretation

-   * @generated

-   */

-  public Adapter createInterpretationAdapter()

-  {

-    return null;

-  }

-

-  /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation <em>Basic Interpretation</em>}'.

-   * <!-- begin-user-doc -->

-   * This default implementation returns null so that we can easily ignore cases;

-   * it's useful to ignore a case when inheritance will catch all the cases anyway.

-   * <!-- end-user-doc -->

-   * @return the new adapter.

-   * @see org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation

-   * @generated

-   */

-  public Adapter createBasicInterpretationAdapter()

-  {

-    return null;

-  }

-

-  /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Symbol <em>Symbol</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 org.eclipse.viatra.solver.language.solverLanguage.Symbol

-   * @generated

-   */

-  public Adapter createSymbolAdapter()

-  {

-    return null;

-  }

-

-  /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol <em>Model Symbol</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition <em>Predicate 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 org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol

+   * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition

    * @generated

    */

-  public Adapter createModelSymbolAdapter()

+  public Adapter createPredicateDefinitionAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol <em>Partiality Symbol</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition <em>Unnamed Error Prediate 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 org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol

+   * @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition

    * @generated

    */

-  public Adapter createPartialitySymbolAdapter()

+  public Adapter createUnnamedErrorPrediateDefinitionAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol <em>Exist Symbol</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition <em>Default 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 org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol

+   * @see org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition

    * @generated

    */

-  public Adapter createExistSymbolAdapter()

+  public Adapter createDefaultDefinitionAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol <em>Equals Symbol</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition <em>Extern Predicate 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 org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol

+   * @see org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition

    * @generated

    */

-  public Adapter createEqualsSymbolAdapter()

+  public Adapter createExternPredicateDefinitionAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.DataSymbol <em>Data Symbol</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition <em>Metric 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 org.eclipse.viatra.solver.language.solverLanguage.DataSymbol

+   * @see org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition

    * @generated

    */

-  public Adapter createDataSymbolAdapter()

+  public Adapter createMetricDefinitionAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol <em>Boolean Symbol</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition <em>Extern Metric 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 org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol

+   * @see org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition

    * @generated

    */

-  public Adapter createBooleanSymbolAdapter()

+  public Adapter createExternMetricDefinitionAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol <em>Integer Symbol</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Expression <em>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 org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol

+   * @see org.eclipse.viatra.solver.language.solverLanguage.Expression

    * @generated

    */

-  public Adapter createIntegerSymbolAdapter()

+  public Adapter createExpressionAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.RealSymbol <em>Real Symbol</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.IfElse <em>If 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 org.eclipse.viatra.solver.language.solverLanguage.RealSymbol

+   * @see org.eclipse.viatra.solver.language.solverLanguage.IfElse

    * @generated

    */

-  public Adapter createRealSymbolAdapter()

+  public Adapter createIfElseAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.StringSymbol <em>String Symbol</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Case <em>Case</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 org.eclipse.viatra.solver.language.solverLanguage.StringSymbol

+   * @see org.eclipse.viatra.solver.language.solverLanguage.Case

    * @generated

    */

-  public Adapter createStringSymbolAdapter()

+  public Adapter createCaseAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ComplexObject <em>Complex Object</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Count <em>Count</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 org.eclipse.viatra.solver.language.solverLanguage.ComplexObject

+   * @see org.eclipse.viatra.solver.language.solverLanguage.Count

    * @generated

    */

-  public Adapter createComplexObjectAdapter()

+  public Adapter createCountAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Object <em>Object</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Aggregation <em>Aggregation</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 org.eclipse.viatra.solver.language.solverLanguage.Object

+   * @see org.eclipse.viatra.solver.language.solverLanguage.Aggregation

    * @generated

    */

-  public Adapter createObjectAdapter()

+  public Adapter createAggregationAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.NamedObject <em>Named Object</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Call <em>Call</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 org.eclipse.viatra.solver.language.solverLanguage.NamedObject

+   * @see org.eclipse.viatra.solver.language.solverLanguage.Call

    * @generated

    */

-  public Adapter createNamedObjectAdapter()

+  public Adapter createCallAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject <em>Unnamed Object</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ArgumentList <em>Argument List</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 org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject

+   * @see org.eclipse.viatra.solver.language.solverLanguage.ArgumentList

    * @generated

    */

-  public Adapter createUnnamedObjectAdapter()

+  public Adapter createArgumentListAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.DataObject <em>Data Object</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Argument <em>Argument</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 org.eclipse.viatra.solver.language.solverLanguage.DataObject

+   * @see org.eclipse.viatra.solver.language.solverLanguage.Argument

    * @generated

    */

-  public Adapter createDataObjectAdapter()

+  public Adapter createArgumentAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanObject <em>Boolean Object</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument <em>Expression Argument</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 org.eclipse.viatra.solver.language.solverLanguage.BooleanObject

+   * @see org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument

    * @generated

    */

-  public Adapter createBooleanObjectAdapter()

+  public Adapter createExpressionArgumentAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.IntObject <em>Int Object</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.StarArgument <em>Star Argument</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 org.eclipse.viatra.solver.language.solverLanguage.IntObject

+   * @see org.eclipse.viatra.solver.language.solverLanguage.StarArgument

    * @generated

    */

-  public Adapter createIntObjectAdapter()

+  public Adapter createStarArgumentAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.RealObject <em>Real Object</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedArgument <em>Typed Argument</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 org.eclipse.viatra.solver.language.solverLanguage.RealObject

+   * @see org.eclipse.viatra.solver.language.solverLanguage.TypedArgument

    * @generated

    */

-  public Adapter createRealObjectAdapter()

+  public Adapter createTypedArgumentAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.StringObject <em>String Object</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument <em>Typed Star Argument</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 org.eclipse.viatra.solver.language.solverLanguage.StringObject

+   * @see org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument

    * @generated

    */

-  public Adapter createStringObjectAdapter()

+  public Adapter createTypedStarArgumentAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate <em>Predicate</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Reference <em>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 org.eclipse.viatra.solver.language.solverLanguage.Predicate

+   * @see org.eclipse.viatra.solver.language.solverLanguage.Reference

    * @generated

    */

-  public Adapter createPredicateAdapter()

+  public Adapter createReferenceAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Parameter <em>Parameter</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Interval <em>Interval</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 org.eclipse.viatra.solver.language.solverLanguage.Parameter

+   * @see org.eclipse.viatra.solver.language.solverLanguage.Interval

    * @generated

    */

-  public Adapter createParameterAdapter()

+  public Adapter createIntervalAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.PatternBody <em>Pattern Body</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 org.eclipse.viatra.solver.language.solverLanguage.PatternBody

-   * @generated

-   */

-  public Adapter createPatternBodyAdapter()

-  {

-    return null;

-  }

-

-  /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Polarity <em>Polarity</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Literal <em>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 org.eclipse.viatra.solver.language.solverLanguage.Polarity

+   * @see org.eclipse.viatra.solver.language.solverLanguage.Literal

    * @generated

    */

-  public Adapter createPolarityAdapter()

+  public Adapter createLiteralAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Constraint <em>Constraint</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral <em>Logic 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 org.eclipse.viatra.solver.language.solverLanguage.Constraint

+   * @see org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral

    * @generated

    */

-  public Adapter createConstraintAdapter()

+  public Adapter createLogicLiteralAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ClosureType <em>Closure Type</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral <em>Numeric 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 org.eclipse.viatra.solver.language.solverLanguage.ClosureType

+   * @see org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral

    * @generated

    */

-  public Adapter createClosureTypeAdapter()

+  public Adapter createNumericLiteralAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Literal <em>Literal</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.InfinityLiteral <em>Infinity 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 org.eclipse.viatra.solver.language.solverLanguage.Literal

+   * @see org.eclipse.viatra.solver.language.solverLanguage.InfinityLiteral

    * @generated

    */

-  public Adapter createLiteralAdapter()

+  public Adapter createInfinityLiteralAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Variable <em>Variable</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.EmptyIntervalLiteral <em>Empty Interval 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 org.eclipse.viatra.solver.language.solverLanguage.Variable

+   * @see org.eclipse.viatra.solver.language.solverLanguage.EmptyIntervalLiteral

    * @generated

    */

-  public Adapter createVariableAdapter()

+  public Adapter createEmptyIntervalLiteralAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.AllInstances <em>All Instances</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.StringLiteral <em>String 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 org.eclipse.viatra.solver.language.solverLanguage.AllInstances

+   * @see org.eclipse.viatra.solver.language.solverLanguage.StringLiteral

    * @generated

    */

-  public Adapter createAllInstancesAdapter()

+  public Adapter createStringLiteralAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.AllObjects <em>All Objects</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition <em>Member 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 org.eclipse.viatra.solver.language.solverLanguage.AllObjects

+   * @see org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition

    * @generated

    */

-  public Adapter createAllObjectsAdapter()

+  public Adapter createMemberDefinitionAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation <em>Default Interpretation</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Multiplicity <em>Multiplicity</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 org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation

+   * @see org.eclipse.viatra.solver.language.solverLanguage.Multiplicity

    * @generated

    */

-  public Adapter createDefaultInterpretationAdapter()

+  public Adapter createMultiplicityAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation <em>CD Interpretation</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ManyMultiplicity <em>Many Multiplicity</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 org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation

+   * @see org.eclipse.viatra.solver.language.solverLanguage.ManyMultiplicity

    * @generated

    */

-  public Adapter createCDInterpretationAdapter()

+  public Adapter createManyMultiplicityAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation <em>Class Interpretation</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity <em>Exact Multiplicity</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 org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation

+   * @see org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity

    * @generated

    */

-  public Adapter createClassInterpretationAdapter()

+  public Adapter createExactMultiplicityAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation <em>Enum Interpretation</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity <em>Bounded Multiplicity</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 org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation

+   * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity

    * @generated

    */

-  public Adapter createEnumInterpretationAdapter()

+  public Adapter createBoundedMultiplicityAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation <em>Field Relation Interpretation</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ScopeDefinition <em>Scope 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 org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation

+   * @see org.eclipse.viatra.solver.language.solverLanguage.ScopeDefinition

    * @generated

    */

-  public Adapter createFieldRelationInterpretationAdapter()

+  public Adapter createScopeDefinitionAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation <em>Global Relation Interpretation</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition <em>Exact Scope 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 org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation

+   * @see org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition

    * @generated

    */

-  public Adapter createGlobalRelationInterpretationAdapter()

+  public Adapter createExactScopeDefinitionAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition <em>Multiplicity Definition</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition <em>Bounded Scope 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 org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition

+   * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition

    * @generated

    */

-  public Adapter createMultiplicityDefinitionAdapter()

+  public Adapter createBoundedScopeDefinitionAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue <em>Boolean True</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition <em>Lower Bounded Scope 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 org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue

+   * @see org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition

    * @generated

    */

-  public Adapter createBooleanTrueAdapter()

+  public Adapter createLowerBoundedScopeDefinitionAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse <em>Boolean False</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition <em>Objective 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 org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse

+   * @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition

    * @generated

    */

-  public Adapter createBooleanFalseAdapter()

+  public Adapter createObjectiveDefinitionAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.True <em>True</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.NamedElement <em>Named 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 org.eclipse.viatra.solver.language.solverLanguage.True

+   * @see org.eclipse.viatra.solver.language.solverLanguage.NamedElement

    * @generated

    */

-  public Adapter createTrueAdapter()

+  public Adapter createNamedElementAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.False <em>False</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.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 org.eclipse.viatra.solver.language.solverLanguage.False

+   * @see org.eclipse.viatra.solver.language.solverLanguage.Assertion

    * @generated

    */

-  public Adapter createFalseAdapter()

+  public Adapter createAssertionAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Unknown <em>Unknown</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Disjunction <em>Disjunction</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 org.eclipse.viatra.solver.language.solverLanguage.Unknown

+   * @see org.eclipse.viatra.solver.language.solverLanguage.Disjunction

    * @generated

    */

-  public Adapter createUnknownAdapter()

+  public Adapter createDisjunctionAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Error <em>Error</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Switch <em>Switch</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 org.eclipse.viatra.solver.language.solverLanguage.Error

+   * @see org.eclipse.viatra.solver.language.solverLanguage.Switch

    * @generated

    */

-  public Adapter createErrorAdapter()

+  public Adapter createSwitchAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Positive <em>Positive</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Conjunction <em>Conjunction</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 org.eclipse.viatra.solver.language.solverLanguage.Positive

+   * @see org.eclipse.viatra.solver.language.solverLanguage.Conjunction

    * @generated

    */

-  public Adapter createPositiveAdapter()

+  public Adapter createConjunctionAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Negative <em>Negative</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Comparison <em>Comparison</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 org.eclipse.viatra.solver.language.solverLanguage.Negative

+   * @see org.eclipse.viatra.solver.language.solverLanguage.Comparison

    * @generated

    */

-  public Adapter createNegativeAdapter()

+  public Adapter createComparisonAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure <em>Reflexive Closure</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression <em>Binary 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 org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure

+   * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression

    * @generated

    */

-  public Adapter createReflexiveClosureAdapter()

+  public Adapter createBinaryExpressionAdapter()

   {

     return null;

   }

 

   /**

-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure <em>Irreflexive Closure</em>}'.

+   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression <em>Unary 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 org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure

+   * @see org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression

    * @generated

    */

-  public Adapter createIrreflexiveClosureAdapter()

+  public Adapter createUnaryExpressionAdapter()

   {

     return null;

   }