diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/satellite.mopt')
| -rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/satellite.mopt | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/satellite.mopt b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/satellite.mopt index 138ea309..e9bd1a64 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/satellite.mopt +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/mdeo/satellite.mopt | |||
| @@ -10,13 +10,14 @@ goal { | |||
| 10 | } | 10 | } |
| 11 | 11 | ||
| 12 | search { | 12 | search { |
| 13 | mutate using <satellite_fixup.henshin> unit "addCubeSat3U" | 13 | // mutate using <satellite_fixup.henshin> unit "addCubeSat3U" |
| 14 | // mutate { "CubeSat3U" } | 14 | mutate { "CubeSat3U" } |
| 15 | // mutate { "CubeSat6U" } | 15 | mutate { "CubeSat6U" } |
| 16 | // mutate { "SmallSat" } | 16 | mutate { "SmallSat" } |
| 17 | // mutate { "InterferometryPayload" } | 17 | mutate { "InterferometryPayload" } |
| 18 | // mutate { "CommSubsystem" } | 18 | mutate { "UHFCommSubsystem" } |
| 19 | // mutate { "DirectedCommunicationLink" } | 19 | mutate { "XCommSubsystem" } |
| 20 | mutate { "KaCommSubsystem" } | ||
| 20 | } | 21 | } |
| 21 | 22 | ||
| 22 | solver { | 23 | solver { |