VIATRA DSE and COIN-OR CBC implementations of CPS case study

1 files changed, 12 insertions, 0 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src-gen/hu/bme/mit/inf/dslreasoner/domains/cps/queries/AverageFreeMemoryMetric.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src-gen/hu/bme/mit/inf/dslreasoner/domains/cps/queries/AverageFreeMemoryMetric.java
index a0d087f4..98974ea5 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src-gen/hu/bme/mit/inf/dslreasoner/domains/cps/queries/AverageFreeMemoryMetric.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src-gen/hu/bme/mit/inf/dslreasoner/domains/cps/queries/AverageFreeMemoryMetric.java
@@ -43,6 +43,12 @@ import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil;
  * 
  * <p>Original source:
  *         <code><pre>
+ *         //
+ *         // Metrics
+ *         //
+ *         
+ *         // Free memory
+ *         
  *         pattern averageFreeMemoryMetric(Average : java Double) {
  *              Average == avg find freeMemoryPercentage(_, #_);
  *         }
@@ -226,6 +232,12 @@ public final class AverageFreeMemoryMetric extends BaseGeneratedEMFQuerySpecific
    * 
    * <p>Original source:
    * <code><pre>
+   * //
+   * // Metrics
+   * //
+   * 
+   * // Free memory
+   * 
    * pattern averageFreeMemoryMetric(Average : java Double) {
    *    Average == avg find freeMemoryPercentage(_, #_);
    * }