31 lines
662 B
Plaintext
31 lines
662 B
Plaintext
|
(define (problem strips-sat-x-1)
|
||
|
|
(:domain satellite)
|
||
|
|
(:objects
|
||
|
|
satellite0 - satellite
|
||
|
|
instrument0 - instrument
|
||
|
|
image1 - mode
|
||
|
|
spectrograph2 - mode
|
||
|
|
thermograph0 - mode
|
||
|
|
Star0 - direction
|
||
|
|
GroundStation1 - direction
|
||
|
|
GroundStation2 - direction
|
||
|
|
Phenomenon3 - direction
|
||
|
|
Phenomenon4 - direction
|
||
|
|
Star5 - direction
|
||
|
|
Phenomenon6 - direction
|
||
|
|
)
|
||
|
|
(:init
|
||
|
|
(supports instrument0 thermograph0)
|
||
|
|
(calibration_target instrument0 GroundStation2)
|
||
|
|
(on_board instrument0 satellite0)
|
||
|
|
(power_avail satellite0)
|
||
|
|
(pointing satellite0 Phenomenon6)
|
||
|
|
)
|
||
|
|
(:goal (and
|
||
|
|
(have_image Phenomenon4 thermograph0)
|
||
|
|
(have_image Star5 thermograph0)
|
||
|
|
(have_image Phenomenon6 thermograph0)
|
||
|
|
))
|
||
|
|
|
||
|
|
)
|