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

1 files changed, 0 insertions, 68 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/HostInstance.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/HostInstance.java
index 43379e0f..b4721842 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/HostInstance.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/HostInstance.java
@@ -16,10 +16,6 @@ import org.eclipse.emf.ecore.EObject;
  * </p>
  * <ul>
  *   <li>{@link hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance#getType <em>Type</em>}</li>
- *   <li>{@link hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance#getAvailableMemory <em>Available Memory</em>}</li>
- *   <li>{@link hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance#getAvailableHdd <em>Available Hdd</em>}</li>
- *   <li>{@link hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance#getTotalMemory <em>Total Memory</em>}</li>
- *   <li>{@link hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance#getTotalHdd <em>Total Hdd</em>}</li>
  *   <li>{@link hu.bme.mit.inf.dslreasoner.domains.cps.HostInstance#getApplications <em>Applications</em>}</li>
  * </ul>
  *
@@ -57,70 +53,6 @@ public interface HostInstance extends EObject {
         void setType(HostType value);
 
         /**
-         * Returns the value of the '<em><b>Available Memory</b></em>' attribute.
-         * <!-- begin-user-doc -->
-         * <p>
-         * If the meaning of the '<em>Available Memory</em>' attribute isn't clear,
-         * there really should be more of a description here...
-         * </p>
-         * <!-- end-user-doc -->
-         * @return the value of the '<em>Available Memory</em>' attribute.
-         * @see hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage#getHostInstance_AvailableMemory()
-         * @model transient="true" changeable="false" volatile="true" derived="true"
-         *        annotation="org.eclipse.viatra.query.querybasedfeature patternFQN='hu.bme.mit.inf.dslreasoner.domains.cps.queries.availableMemory'"
-         * @generated
-         */
-        int getAvailableMemory();
-
-        /**
-         * Returns the value of the '<em><b>Available Hdd</b></em>' attribute.
-         * <!-- begin-user-doc -->
-         * <p>
-         * If the meaning of the '<em>Available Hdd</em>' attribute isn't clear,
-         * there really should be more of a description here...
-         * </p>
-         * <!-- end-user-doc -->
-         * @return the value of the '<em>Available Hdd</em>' attribute.
-         * @see hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage#getHostInstance_AvailableHdd()
-         * @model transient="true" changeable="false" volatile="true" derived="true"
-         *        annotation="org.eclipse.viatra.query.querybasedfeature patternFQN='hu.bme.mit.inf.dslreasoner.domains.cps.queries.availableHdd'"
-         * @generated
-         */
-        int getAvailableHdd();
-
-        /**
-         * Returns the value of the '<em><b>Total Memory</b></em>' attribute.
-         * <!-- begin-user-doc -->
-         * <p>
-         * If the meaning of the '<em>Total Memory</em>' attribute isn't clear,
-         * there really should be more of a description here...
-         * </p>
-         * <!-- end-user-doc -->
-         * @return the value of the '<em>Total Memory</em>' attribute.
-         * @see hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage#getHostInstance_TotalMemory()
-         * @model transient="true" changeable="false" volatile="true" derived="true"
-         *        annotation="org.eclipse.viatra.query.querybasedfeature patternFQN='hu.bme.mit.inf.dslreasoner.domains.cps.queries.totalMemory'"
-         * @generated
-         */
-        int getTotalMemory();
-
-        /**
-         * Returns the value of the '<em><b>Total Hdd</b></em>' attribute.
-         * <!-- begin-user-doc -->
-         * <p>
-         * If the meaning of the '<em>Total Hdd</em>' attribute isn't clear,
-         * there really should be more of a description here...
-         * </p>
-         * <!-- end-user-doc -->
-         * @return the value of the '<em>Total Hdd</em>' attribute.
-         * @see hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage#getHostInstance_TotalHdd()
-         * @model transient="true" changeable="false" volatile="true" derived="true"
-         *        annotation="org.eclipse.viatra.query.querybasedfeature patternFQN='hu.bme.mit.inf.dslreasoner.domains.cps.queries.totalHdd'"
-         * @generated
-         */
-        int getTotalHdd();
-
-        /**
          * Returns the value of the '<em><b>Applications</b></em>' reference list.
          * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.domains.cps.ApplicationInstance}.
          * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.domains.cps.ApplicationInstance#getAllocatedTo <em>Allocated To</em>}'.