1 files changed, 227 insertions, 377 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..37b20718 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.*;
-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;
 /**
 * <!-- begin-user-doc -->
@@ -136,254 +86,229 @@ 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)
+      public Adapter caseLiteral(Literal 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();
+        return createLiteralAdapter();
      }
      @Override
-      public Adapter casePatternBody(PatternBody object)
+      public Adapter caseLogicLiteral(LogicLiteral object)
      {
-        return createPatternBodyAdapter();
+        return createLogicLiteralAdapter();
      }
      @Override
-      public Adapter casePolarity(Polarity object)
+      public Adapter caseNumericLiteral(NumericLiteral object)
      {
-        return createPolarityAdapter();
+        return createNumericLiteralAdapter();
      }
      @Override
-      public Adapter caseConstraint(Constraint object)
+      public Adapter caseInfinityLiteral(InfinityLiteral object)
      {
-        return createConstraintAdapter();
+        return createInfinityLiteralAdapter();
      }
      @Override
-      public Adapter caseClosureType(ClosureType object)
+      public Adapter caseEmptyIntervalLiteral(EmptyIntervalLiteral object)
      {
-        return createClosureTypeAdapter();
+        return createEmptyIntervalLiteralAdapter();
      }
      @Override
-      public Adapter caseLiteral(Literal object)
+      public Adapter caseStringLiteral(StringLiteral object)
      {
-        return createLiteralAdapter();
+        return createStringLiteralAdapter();
      }
      @Override
-      public Adapter caseVariable(Variable object)
+      public Adapter caseClassDefinition(ClassDefinition object)
      {
-        return createVariableAdapter();
+        return createClassDefinitionAdapter();
      }
      @Override
-      public Adapter caseAllInstances(AllInstances object)
+      public Adapter caseMemberDefinition(MemberDefinition object)
      {
-        return createAllInstancesAdapter();
+        return createMemberDefinitionAdapter();
      }
      @Override
-      public Adapter caseAllObjects(AllObjects object)
+      public Adapter caseMultiplicity(Multiplicity object)
      {
-        return createAllObjectsAdapter();
+        return createMultiplicityAdapter();
      }
      @Override
-      public Adapter caseDefaultInterpretation(DefaultInterpretation object)
+      public Adapter caseManyMultiplicity(ManyMultiplicity object)
      {
-        return createDefaultInterpretationAdapter();
+        return createManyMultiplicityAdapter();
      }
      @Override
-      public Adapter caseCDInterpretation(CDInterpretation object)
+      public Adapter caseExactMultiplicity(ExactMultiplicity object)
      {
-        return createCDInterpretationAdapter();
+        return createExactMultiplicityAdapter();
      }
      @Override
-      public Adapter caseClassInterpretation(ClassInterpretation object)
+      public Adapter caseBoundedMultiplicity(BoundedMultiplicity object)
      {
-        return createClassInterpretationAdapter();
+        return createBoundedMultiplicityAdapter();
      }
      @Override
-      public Adapter caseEnumInterpretation(EnumInterpretation object)
+      public Adapter caseScopeDefinition(ScopeDefinition object)
      {
-        return createEnumInterpretationAdapter();
+        return createScopeDefinitionAdapter();
      }
      @Override
-      public Adapter caseFieldRelationInterpretation(FieldRelationInterpretation object)
+      public Adapter caseExactScopeDefinition(ExactScopeDefinition object)
      {
-        return createFieldRelationInterpretationAdapter();
+        return createExactScopeDefinitionAdapter();
      }
      @Override
-      public Adapter caseGlobalRelationInterpretation(GlobalRelationInterpretation object)
+      public Adapter caseBoundedScopeDefinition(BoundedScopeDefinition object)
      {
-        return createGlobalRelationInterpretationAdapter();
+        return createBoundedScopeDefinitionAdapter();
      }
      @Override
-      public Adapter caseMultiplicityDefinition(MultiplicityDefinition object)
+      public Adapter caseLowerBoundedScopeDefinition(LowerBoundedScopeDefinition object)
      {
-        return createMultiplicityDefinitionAdapter();
+        return createLowerBoundedScopeDefinitionAdapter();
      }
      @Override
-      public Adapter caseBooleanTrue(BooleanTrue object)
+      public Adapter caseObjectiveDefinition(ObjectiveDefinition object)
      {
-        return createBooleanTrueAdapter();
+        return createObjectiveDefinitionAdapter();
      }
      @Override
-      public Adapter caseBooleanFalse(BooleanFalse object)
+      public Adapter caseNamedElement(NamedElement object)
      {
-        return createBooleanFalseAdapter();
+        return createNamedElementAdapter();
      }
      @Override
-      public Adapter caseTrue(True object)
+      public Adapter caseAssertion(Assertion object)
      {
-        return createTrueAdapter();
+        return createAssertionAdapter();
      }
      @Override
-      public Adapter caseFalse(False object)
+      public Adapter caseDisjunction(Disjunction object)
      {
-        return createFalseAdapter();
+        return createDisjunctionAdapter();
      }
      @Override
-      public Adapter caseUnknown(Unknown object)
+      public Adapter caseSwitch(Switch object)
      {
-        return createUnknownAdapter();
+        return createSwitchAdapter();
      }
      @Override
-      public Adapter caseError(org.eclipse.viatra.solver.language.solverLanguage.Error object)
+      public Adapter caseConjunction(Conjunction object)
      {
-        return createErrorAdapter();
+        return createConjunctionAdapter();
      }
      @Override
-      public Adapter casePositive(Positive object)
+      public Adapter caseComparison(Comparison object)
      {
-        return createPositiveAdapter();
+        return createComparisonAdapter();
      }
      @Override
-      public Adapter caseNegative(Negative object)
+      public Adapter caseBinaryExpression(BinaryExpression object)
      {
-        return createNegativeAdapter();
+        return createBinaryExpressionAdapter();
      }
      @Override
-      public Adapter caseReflexiveClosure(ReflexiveClosure object)
+      public Adapter caseUnaryExpression(UnaryExpression object)
      {
-        return createReflexiveClosureAdapter();
+        return createUnaryExpressionAdapter();
-      }
-      @Override
-      public Adapter caseIrreflexiveClosure(IrreflexiveClosure object)
-      {
-        return createIrreflexiveClosureAdapter();
      }
      @Override
      public Adapter defaultCase(EObject object)
@@ -438,751 +363,676 @@ 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>}'.
+   * 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.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
+   * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition
   * @generated
   */
-  public Adapter createInterpretationAdapter()
+  public Adapter createPredicateDefinitionAdapter()
  {
    return null;
  }
  /**
-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation <em>Basic Interpretation</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.BasicInterpretation
+   * @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition
   * @generated
   */
-  public Adapter createBasicInterpretationAdapter()
+  public Adapter createUnnamedErrorPrediateDefinitionAdapter()
  {
    return null;
  }
  /**
-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Symbol <em>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.Symbol
+   * @see org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition
   * @generated
   */
-  public Adapter createSymbolAdapter()
+  public Adapter createDefaultDefinitionAdapter()
  {
    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.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.ModelSymbol
+   * @see org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition
   * @generated
   */
-  public Adapter createModelSymbolAdapter()
+  public Adapter createExternPredicateDefinitionAdapter()
  {
    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.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.PartialitySymbol
+   * @see org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition
   * @generated
   */
-  public Adapter createPartialitySymbolAdapter()
+  public Adapter createMetricDefinitionAdapter()
  {
    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.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.ExistSymbol
+   * @see org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition
   * @generated
   */
-  public Adapter createExistSymbolAdapter()
+  public Adapter createExternMetricDefinitionAdapter()
  {
    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.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.EqualsSymbol
+   * @see org.eclipse.viatra.solver.language.solverLanguage.Expression
   * @generated
   */
-  public Adapter createEqualsSymbolAdapter()
+  public Adapter createExpressionAdapter()
  {
    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.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.DataSymbol
+   * @see org.eclipse.viatra.solver.language.solverLanguage.IfElse
   * @generated
   */
-  public Adapter createDataSymbolAdapter()
+  public Adapter createIfElseAdapter()
  {
    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.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.BooleanSymbol
+   * @see org.eclipse.viatra.solver.language.solverLanguage.Case
   * @generated
   */
-  public Adapter createBooleanSymbolAdapter()
+  public Adapter createCaseAdapter()
  {
    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.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.IntegerSymbol
+   * @see org.eclipse.viatra.solver.language.solverLanguage.Count
   * @generated
   */
-  public Adapter createIntegerSymbolAdapter()
+  public Adapter createCountAdapter()
  {
    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.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.RealSymbol
+   * @see org.eclipse.viatra.solver.language.solverLanguage.Aggregation
   * @generated
   */
-  public Adapter createRealSymbolAdapter()
+  public Adapter createAggregationAdapter()
  {
    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.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.StringSymbol
+   * @see org.eclipse.viatra.solver.language.solverLanguage.Call
   * @generated
   */
-  public Adapter createStringSymbolAdapter()
+  public Adapter createCallAdapter()
  {
    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.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.ComplexObject
+   * @see org.eclipse.viatra.solver.language.solverLanguage.ArgumentList
   * @generated
   */
-  public Adapter createComplexObjectAdapter()
+  public Adapter createArgumentListAdapter()
  {
    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.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.Object
+   * @see org.eclipse.viatra.solver.language.solverLanguage.Argument
   * @generated
   */
-  public Adapter createObjectAdapter()
+  public Adapter createArgumentAdapter()
  {
    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.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.NamedObject
+   * @see org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument
   * @generated
   */
-  public Adapter createNamedObjectAdapter()
+  public Adapter createExpressionArgumentAdapter()
  {
    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.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.UnnamedObject
+   * @see org.eclipse.viatra.solver.language.solverLanguage.StarArgument
   * @generated
   */
-  public Adapter createUnnamedObjectAdapter()
+  public Adapter createStarArgumentAdapter()
  {
    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.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.DataObject
+   * @see org.eclipse.viatra.solver.language.solverLanguage.TypedArgument
   * @generated
   */
-  public Adapter createDataObjectAdapter()
+  public Adapter createTypedArgumentAdapter()
  {
    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.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.BooleanObject
+   * @see org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument
   * @generated
   */
-  public Adapter createBooleanObjectAdapter()
+  public Adapter createTypedStarArgumentAdapter()
  {
    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.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.IntObject
+   * @see org.eclipse.viatra.solver.language.solverLanguage.Reference
   * @generated
   */
-  public Adapter createIntObjectAdapter()
+  public Adapter createReferenceAdapter()
  {
    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.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.RealObject
+   * @see org.eclipse.viatra.solver.language.solverLanguage.Interval
   * @generated
   */
-  public Adapter createRealObjectAdapter()
+  public Adapter createIntervalAdapter()
  {
    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.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.StringObject
-   * @generated
-   */
-  public Adapter createStringObjectAdapter()
-  {
-    return null;
-  }
-  /**
-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate <em>Predicate</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
-   * @generated
-   */
-  public Adapter createPredicateAdapter()
-  {
-    return null;
-  }
-  /**
-   * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Parameter <em>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 org.eclipse.viatra.solver.language.solverLanguage.Parameter
-   * @generated
-   */
-  public Adapter createParameterAdapter()
-  {
-    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
+   * @see org.eclipse.viatra.solver.language.solverLanguage.Literal
   * @generated
   */
-  public Adapter createPatternBodyAdapter()
+  public Adapter createLiteralAdapter()
  {
    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.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.Polarity
+   * @see org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral
   * @generated
   */
-  public Adapter createPolarityAdapter()
+  public Adapter createLogicLiteralAdapter()
  {
    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.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.Constraint
+   * @see org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral
   * @generated
   */
-  public Adapter createConstraintAdapter()
+  public Adapter createNumericLiteralAdapter()
  {
    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.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.ClosureType
+   * @see org.eclipse.viatra.solver.language.solverLanguage.InfinityLiteral
   * @generated
   */
-  public Adapter createClosureTypeAdapter()
+  public Adapter createInfinityLiteralAdapter()
  {
    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.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.Literal
+   * @see org.eclipse.viatra.solver.language.solverLanguage.EmptyIntervalLiteral
   * @generated
   */
-  public Adapter createLiteralAdapter()
+  public Adapter createEmptyIntervalLiteralAdapter()
  {
    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.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.Variable
+   * @see org.eclipse.viatra.solver.language.solverLanguage.StringLiteral
   * @generated
   */
-  public Adapter createVariableAdapter()
+  public Adapter createStringLiteralAdapter()
  {
    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.ClassDefinition <em>Class 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.AllInstances
+   * @see org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition
   * @generated
   */
-  public Adapter createAllInstancesAdapter()
+  public Adapter createClassDefinitionAdapter()
  {
    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;
  }