change exploration value function

1 files changed, 22 insertions, 0 deletions

diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/src-gen/queries/Ecore.java b/Metrics/Metrics-Calculation/SocialNetwork_plugin/src-gen/queries/Ecore.java
index e4f254d3..ebafb74b 100644
--- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/src-gen/queries/Ecore.java
+++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/src-gen/queries/Ecore.java
@@ -7,9 +7,11 @@ import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine;
 import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup;
 import queries.DirectSupertype;
 import queries.LoopInInheritence;
+import queries.MoreThenFiveSuperTypes;
 import queries.NonSymmetricOpposite;
 import queries.Opposite;
 import queries.OppositeDifferentClass;
+import queries.SuperTypes;
 
 /**
  * A pattern group formed of all public patterns defined in Ecore.vql.
@@ -24,6 +26,8 @@ import queries.OppositeDifferentClass;
  * <li>opposite</li>
  * <li>oppositeDifferentClass</li>
  * <li>nonSymmetricOpposite</li>
+ * <li>superTypes</li>
+ * <li>moreThenFiveSuperTypes</li>
  * </ul>
  * 
  * @see IQueryGroup
@@ -53,6 +57,8 @@ public final class Ecore extends BaseGeneratedPatternGroup {
     querySpecifications.add(Opposite.instance());
     querySpecifications.add(OppositeDifferentClass.instance());
     querySpecifications.add(NonSymmetricOpposite.instance());
+    querySpecifications.add(SuperTypes.instance());
+    querySpecifications.add(MoreThenFiveSuperTypes.instance());
   }
   
   public DirectSupertype getDirectSupertype() {
@@ -94,4 +100,20 @@ public final class Ecore extends BaseGeneratedPatternGroup {
   public NonSymmetricOpposite.Matcher getNonSymmetricOpposite(final ViatraQueryEngine engine) {
     return NonSymmetricOpposite.Matcher.on(engine);
   }
+  
+  public SuperTypes getSuperTypes() {
+    return SuperTypes.instance();
+  }
+  
+  public SuperTypes.Matcher getSuperTypes(final ViatraQueryEngine engine) {
+    return SuperTypes.Matcher.on(engine);
+  }
+  
+  public MoreThenFiveSuperTypes getMoreThenFiveSuperTypes() {
+    return MoreThenFiveSuperTypes.instance();
+  }
+  
+  public MoreThenFiveSuperTypes.Matcher getMoreThenFiveSuperTypes(final ViatraQueryEngine engine) {
+    return MoreThenFiveSuperTypes.Matcher.on(engine);
+  }
 }