Trying to implement spacecraft case study

1 files changed, 27 insertions, 0 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/SatelliteFactory.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/SatelliteFactory.java
index 958bbc08..3b2bc48a 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/SatelliteFactory.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/SatelliteFactory.java
@@ -67,6 +67,33 @@ public interface SatelliteFactory extends EFactory {
         InterferometryPayload createInterferometryPayload();
 
         /**
+         * Returns a new object of class '<em>Cube Sat3 U</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>Cube Sat3 U</em>'.
+         * @generated
+         */
+        CubeSat3U createCubeSat3U();
+
+        /**
+         * Returns a new object of class '<em>Cube Sat6 U</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>Cube Sat6 U</em>'.
+         * @generated
+         */
+        CubeSat6U createCubeSat6U();
+
+        /**
+         * Returns a new object of class '<em>Small Sat</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>Small Sat</em>'.
+         * @generated
+         */
+        SmallSat createSmallSat();
+
+        /**
          * Returns the package supported by this factory.
          * <!-- begin-user-doc -->
          * <!-- end-user-doc -->