-
Notifications
You must be signed in to change notification settings - Fork 7
Description
Would you please help me with this problem.
I wrote a domain file for the "flatland" problem, with several actions like “move-left-east”,“move-left-south” and so on.
But compiling MAPs into classical problems, there is no action output except ":ACTION FREE" at the end.
Thankssss.
Here is the output:
( DEFINE ( DOMAIN FLATLAND )
( :REQUIREMENTS :CONDITIONAL-EFFECTS :TYPING )
( :TYPES
AGENT - OBJECT
CELL - OBJECT
RAILWAY - OBJECT
AGENT-COUNT - OBJECT
)
( :CONSTANTS
ACOUNT-0 - AGENT-COUNT
)
( :PREDICATES
( AT ?AGENT0 - AGENT ?CELL1 - CELL )
( AVAILABLE ?CELL0 - CELL )
( MOVING ?AGENT0 - AGENT )
( DIRECTION_0 ?AGENT0 - AGENT )
( DIRECTION_1 ?AGENT0 - AGENT )
( DIRECTION_2 ?AGENT0 - AGENT )
( DIRECTION_3 ?AGENT0 - AGENT )
( TRANSITION_0 ?CELL0 - CELL )
( TRANSITION_1 ?CELL0 - CELL )
( TRANSITION_2 ?CELL0 - CELL )
( TRANSITION_3 ?CELL0 - CELL )
( TRANSITION_4 ?CELL0 - CELL )
( TRANSITION_5 ?CELL0 - CELL )
( TRANSITION_6 ?CELL0 - CELL )
( TRANSITION_7 ?CELL0 - CELL )
( TRANSITION_8 ?CELL0 - CELL )
( TRANSITION_9 ?CELL0 - CELL )
( TRANSITION_10 ?CELL0 - CELL )
( TRANSITION_11 ?CELL0 - CELL )
( TRANSITION_12 ?CELL0 - CELL )
( TRANSITION_13 ?CELL0 - CELL )
( TRANSITION_14 ?CELL0 - CELL )
( TRANSITION_15 ?CELL0 - CELL )
( TRANSITION_16 ?CELL0 - CELL )
( TRANSITION_17 ?CELL0 - CELL )
( TRANSITION_18 ?CELL0 - CELL )
( TRANSITION_19 ?CELL0 - CELL )
( TRANSITION_20 ?CELL0 - CELL )
( TRANSITION_21 ?CELL0 - CELL )
( TRANSITION_22 ?CELL0 - CELL )
( TRANSITION_23 ?CELL0 - CELL )
( TRANSITION_24 ?CELL0 - CELL )
( TRANSITION_25 ?CELL0 - CELL )
( TRANSITION_26 ?CELL0 - CELL )
( TRANSITION_27 ?CELL0 - CELL )
( TRANSITION_28 ?CELL0 - CELL )
( TRANSITION_29 ?CELL0 - CELL )
( AFREE )
( ATEMP )
( TAKEN ?AGENT0 - AGENT )
( CONSEC ?AGENT-COUNT0 - AGENT-COUNT ?AGENT-COUNT1 - AGENT-COUNT )
)
( :ACTION FREE
:PARAMETERS ( )
:PRECONDITION
( AND
( ATEMP )
)
:EFFECT
( AND
( AFREE )
( NOT ( ATEMP ) )
)
)
)
( DEFINE ( PROBLEM FLATLAND_3_3_1 )
( :DOMAIN FLATLAND )
( :OBJECTS
A0 - AGENT
C0_0 C0_1 C0_2 C1_0 C1_1 C1_2 C2_0 C2_1 C2_2 - CELL
R0 - RAILWAY
ACOUNT-1 - AGENT-COUNT
)
( :INIT
( AT A0 C1_1 )
( DIRECTION_1 A0 )
( AVAILABLE C0_0 )
( TRANSITION_26 C0_1 )
( AVAILABLE C0_1 )
( AVAILABLE C0_2 )
( TRANSITION_29 C1_0 )
( AVAILABLE C1_0 )
( TRANSITION_4 C1_1 )
( AVAILABLE C1_2 )
( AVAILABLE C2_0 )
( AVAILABLE C2_1 )
( AVAILABLE C2_2 )
( AFREE )
( CONSEC ACOUNT-0 ACOUNT-1 )
)
( :GOAL
( AND
( AT A0 C1_0 )
( AFREE )
)
)
)