diff --git a/lib/pddlparse/tests/TestIssues.cpp b/lib/pddlparse/tests/TestIssues.cpp index d219434..15b7c51 100644 --- a/lib/pddlparse/tests/TestIssues.cpp +++ b/lib/pddlparse/tests/TestIssues.cpp @@ -16,26 +16,26 @@ TEST_CASE("[PDDL parser issues] Check past issues", "[PDDL parser issues]") pddl::Tokenizer tokenizer; pddl::Context context(std::move(tokenizer), ignoreWarnings); - /*SECTION("white space issues with constants and parsing unsupported sections") + SECTION("white space issues with constants and parsing unsupported sections") { const auto domainFile = fs::path("data") / "issues" / "issue-1.pddl"; context.tokenizer.read(domainFile); CHECK_NOTHROW(pddl::parseDescription(context)); - }*/ + } - /*SECTION("white space issues with empty n-ary predicates") + SECTION("white space issues with empty n-ary predicates") { const auto domainFile = fs::path("data") / "issues" / "issue-2.pddl"; context.tokenizer.read(domainFile); CHECK_NOTHROW(pddl::parseDescription(context)); - }*/ + } - /*SECTION("comments are correctly ignored") + SECTION("comments are correctly ignored") { const auto domainFile = fs::path("data") / "issues" / "issue-3.pddl"; context.tokenizer.read(domainFile); CHECK_NOTHROW(pddl::parseDescription(context)); - }*/ + } // Check that no infinite loop occurs SECTION("“either” in typing section") diff --git a/tests/data/issues/issue-1.pddl b/tests/data/issues/issue-1.pddl index cddd7a2..fb01948 100644 --- a/tests/data/issues/issue-1.pddl +++ b/tests/data/issues/issue-1.pddl @@ -59,7 +59,6 @@ (Uninitialized) ) -(:functions (total-cost) - number) (:action initialize :parameters () :precondition (and @@ -90,8 +89,7 @@ (not (Available EndCap-RSRC)) (Location ?sheet HtmOverBlack_Entry-EndCap_Exit) (not (Location ?sheet EndCap_Entry-BlackContainer_Exit)) - (Available EndCap-RSRC) - (increase (total-cost) 2000)) + (Available EndCap-RSRC)) ) (:action HtmOverBlack-Move-Letter :parameters ( ?sheet - sheet_t) @@ -103,8 +101,7 @@ (not (Available HtmOverBlack-RSRC)) (Location ?sheet HtmOverBlack_Exit-Down_TopEntry) (not (Location ?sheet HtmOverBlack_Entry-EndCap_Exit)) - (Available HtmOverBlack-RSRC) - (increase (total-cost) 17999)) + (Available HtmOverBlack-RSRC)) ) (:action ColorContainer-ToIME-Letter :parameters ( ?sheet - sheet_t) @@ -116,8 +113,7 @@ (not (Available ColorContainer-RSRC)) (Location ?sheet ColorContainer_ExitToIME-ColorPrinter_Entry) (not (Location ?sheet ColorContainer_Entry-Down_BottomExit)) - (Available ColorContainer-RSRC) - (increase (total-cost) 8000)) + (Available ColorContainer-RSRC)) ) (:action ColorContainer-FromIME-Letter :parameters ( ?sheet - sheet_t) @@ -129,8 +125,7 @@ (not (Available ColorContainer-RSRC)) (Location ?sheet ColorContainer_Exit-Up_BottomEntry) (not (Location ?sheet ColorPrinter_Exit-ColorContainer_EntryFromIME)) - (Available ColorContainer-RSRC) - (increase (total-cost) 8000)) + (Available ColorContainer-RSRC)) ) (:action ColorPrinter-Simplex-Letter :parameters ( ?sheet - sheet_t ?face - side_t ?image - image_t) @@ -147,8 +142,7 @@ (Hasimage ?sheet ?face ?image) (not (Location ?sheet ColorContainer_ExitToIME-ColorPrinter_Entry)) (not (Notprintedwith ?sheet ?face Color)) - (Available ColorPrinter-RSRC) - (increase (total-cost) 224040)) + (Available ColorPrinter-RSRC)) ) (:action ColorPrinter-SimplexMono-Letter :parameters ( ?sheet - sheet_t ?face - side_t ?image - image_t) @@ -165,8 +159,7 @@ (Hasimage ?sheet ?face ?image) (not (Location ?sheet ColorContainer_ExitToIME-ColorPrinter_Entry)) (not (Notprintedwith ?sheet ?face Black)) - (Available ColorPrinter-RSRC) - (increase (total-cost) 224040)) + (Available ColorPrinter-RSRC)) ) (:action ColorFeeder-Feed-Letter :parameters ( ?sheet - sheet_t) @@ -179,8 +172,7 @@ (Location ?sheet Down_BottomEntry-ColorFeeder_Exit) (Sideup ?sheet Front) (not (Location ?sheet Some_Feeder_Tray)) - (Available ColorFeeder-RSRC) - (increase (total-cost) 8000)) + (Available ColorFeeder-RSRC)) ) (:action BlackFeeder-Feed-Letter :parameters ( ?sheet - sheet_t) @@ -193,8 +185,7 @@ (Location ?sheet BlackContainer_Entry-BlackFeeder_Exit) (Sideup ?sheet Front) (not (Location ?sheet Some_Feeder_Tray)) - (Available BlackFeeder-RSRC) - (increase (total-cost) 8000)) + (Available BlackFeeder-RSRC)) ) (:action Down-MoveTop-Letter :parameters ( ?sheet - sheet_t) @@ -206,8 +197,7 @@ (not (Available Down-RSRC)) (Location ?sheet Down_TopExit-HtmOverColor_Entry) (not (Location ?sheet HtmOverBlack_Exit-Down_TopEntry)) - (Available Down-RSRC) - (increase (total-cost) 2999)) + (Available Down-RSRC)) ) (:action Down-MoveBottom-Letter :parameters ( ?sheet - sheet_t) @@ -219,8 +209,7 @@ (not (Available Down-RSRC)) (Location ?sheet ColorContainer_Entry-Down_BottomExit) (not (Location ?sheet Down_BottomEntry-ColorFeeder_Exit)) - (Available Down-RSRC) - (increase (total-cost) 2999)) + (Available Down-RSRC)) ) (:action Down-MoveDown-Letter :parameters ( ?sheet - sheet_t) @@ -232,8 +221,7 @@ (not (Available Down-RSRC)) (Location ?sheet ColorContainer_Entry-Down_BottomExit) (not (Location ?sheet HtmOverBlack_Exit-Down_TopEntry)) - (Available Down-RSRC) - (increase (total-cost) 9999)) + (Available Down-RSRC)) ) (:action HtmOverColor-Move-Letter :parameters ( ?sheet - sheet_t) @@ -245,8 +233,7 @@ (not (Available HtmOverColor-RSRC)) (Location ?sheet HtmOverColor_Exit-Up_TopEntry) (not (Location ?sheet Down_TopExit-HtmOverColor_Entry)) - (Available HtmOverColor-RSRC) - (increase (total-cost) 9999)) + (Available HtmOverColor-RSRC)) ) (:action BlackContainer-ToIME-Letter :parameters ( ?sheet - sheet_t) @@ -258,8 +245,7 @@ (not (Available BlackContainer-RSRC)) (Location ?sheet BlackContainer_ExitToIME-BlackPrinter_Entry) (not (Location ?sheet BlackContainer_Entry-BlackFeeder_Exit)) - (Available BlackContainer-RSRC) - (increase (total-cost) 2000)) + (Available BlackContainer-RSRC)) ) (:action BlackContainer-FromIME-Letter :parameters ( ?sheet - sheet_t) @@ -271,8 +257,7 @@ (not (Available BlackContainer-RSRC)) (Location ?sheet EndCap_Entry-BlackContainer_Exit) (not (Location ?sheet BlackPrinter_Exit-BlackContainer_EntryFromIME)) - (Available BlackContainer-RSRC) - (increase (total-cost) 2000)) + (Available BlackContainer-RSRC)) ) (:action BlackPrinter-Simplex-Letter :parameters ( ?sheet - sheet_t ?face - side_t ?image - image_t) @@ -289,8 +274,7 @@ (Hasimage ?sheet ?face ?image) (not (Location ?sheet BlackContainer_ExitToIME-BlackPrinter_Entry)) (not (Notprintedwith ?sheet ?face Black)) - (Available BlackPrinter-RSRC) - (increase (total-cost) 113013)) + (Available BlackPrinter-RSRC)) ) (:action BlackPrinter-SimplexAndInvert-Letter :parameters ( ?sheet - sheet_t ?face - side_t ?otherface - side_t ?image - image_t) @@ -310,8 +294,7 @@ (not (Location ?sheet BlackContainer_ExitToIME-BlackPrinter_Entry)) (not (Notprintedwith ?sheet ?face Black)) (not (Sideup ?sheet ?face)) - (Available BlackPrinter-RSRC) - (increase (total-cost) 123013)) + (Available BlackPrinter-RSRC)) ) (:action Up-MoveTop-Letter :parameters ( ?sheet - sheet_t) @@ -323,8 +306,7 @@ (not (Available Up-RSRC)) (Location ?sheet Finisher1_Entry-Up_TopExit) (not (Location ?sheet HtmOverColor_Exit-Up_TopEntry)) - (Available Up-RSRC) - (increase (total-cost) 2999)) + (Available Up-RSRC)) ) (:action Up-MoveUp-Letter :parameters ( ?sheet - sheet_t) @@ -336,8 +318,7 @@ (not (Available Up-RSRC)) (Location ?sheet Finisher1_Entry-Up_TopExit) (not (Location ?sheet ColorContainer_Exit-Up_BottomEntry)) - (Available Up-RSRC) - (increase (total-cost) 9999)) + (Available Up-RSRC)) ) (:action Finisher1-PassThrough-Letter :parameters ( ?sheet - sheet_t) @@ -349,8 +330,7 @@ (not (Available Finisher1-RSRC)) (Location ?sheet Finisher2_Entry-Finisher1_Exit) (not (Location ?sheet Finisher1_Entry-Up_TopExit)) - (Available Finisher1-RSRC) - (increase (total-cost) 8000)) + (Available Finisher1-RSRC)) ) (:action Finisher1-Stack-Letter :parameters ( ?sheet - sheet_t ?prevsheet - sheet_t) @@ -365,8 +345,7 @@ (Location ?sheet Some_Finisher_Tray) (Stackedin ?sheet Finisher1_Tray) (not (Location ?sheet Finisher1_Entry-Up_TopExit)) - (Available Finisher1-RSRC) - (increase (total-cost) 8000)) + (Available Finisher1-RSRC)) ) (:action Finisher2-PassThrough-Letter :parameters ( ?sheet - sheet_t) @@ -378,8 +357,7 @@ (not (Available Finisher2-RSRC)) (Location ?sheet Finisher2_Exit) (not (Location ?sheet Finisher2_Entry-Finisher1_Exit)) - (Available Finisher2-RSRC) - (increase (total-cost) 8000)) + (Available Finisher2-RSRC)) ) (:action Finisher2-Stack-Letter :parameters ( ?sheet - sheet_t ?prevsheet - sheet_t) @@ -394,8 +372,7 @@ (Location ?sheet Some_Finisher_Tray) (Stackedin ?sheet Finisher2_Tray) (not (Location ?sheet Finisher2_Entry-Finisher1_Exit)) - (Available Finisher2-RSRC) - (increase (total-cost) 8000)) + (Available Finisher2-RSRC)) ) ) diff --git a/tests/data/issues/issue-2.pddl b/tests/data/issues/issue-2.pddl index bdb5b3f..5318ac7 100644 --- a/tests/data/issues/issue-2.pddl +++ b/tests/data/issues/issue-2.pddl @@ -9,43 +9,25 @@ (delivered ?o - order ?p - product) (made ?p - product)) -(:functions (total-cost) - (stacks-in-use) - (max-in-use) - (stack-cost) ) (:action open-new-stack :parameters () :precondition (and) - :effect (and (increase (max-in-use) 1) - (increase (total-cost) (stack-cost))) ) (:action start-order :parameters (?o - order) - :precondition (and (waiting ?o) - (< (stacks-in-use) (max-in-use))) - :effect (and (not (waiting ?o)) - (started ?o) - (increase (stacks-in-use) 1)) + :precondition (waiting ?o) ) (:action make-product :parameters (?p - product) :precondition (and (not (made ?p))) - :effect (and (made ?p) - (forall (?o - order) - (when (and (includes ?o ?p) - (started ?o)) - (delivered ?o ?p)))) ) (:action ship-order :parameters (?o - order) :precondition (and (started ?o)) - :effect (and (not (started ?o)) - (shipped ?o) - (decrease (stacks-in-use) 1)) ) ) diff --git a/tests/data/issues/issue-3.pddl b/tests/data/issues/issue-3.pddl index fd13bdb..baf0526 100644 --- a/tests/data/issues/issue-3.pddl +++ b/tests/data/issues/issue-3.pddl @@ -95,479 +95,6 @@ (Uninitialized) ) -(:durative-action initialize - :parameters () - :duration (= ?duration 1) - :condition (and - (at start (Uninitialized))) - :effect (and - (at start (not (Uninitialized))) - (at start (Available ColorContainer_Roller-RSRC)) - (at start (Available ColorPrinter_Drum-RSRC)) - (at start (Available ColorFeeder_ExitNip-RSRC)) - (at start (Available BlackFeeder_ExitNip-RSRC)) - (at start (Available Down_BottomExitNip-RSRC)) - (at start (Available BlackPrinter_Drum-RSRC)) - (at start (Available Up_TopExitNip-RSRC)) - (at start (Available Finisher1_EntryNip-RSRC)) - (at start (Available Finisher2_EntryNip-RSRC))) -) -(:durative-action EndCap-Move-Letter - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 2000) - :condition (and - (at start (Sheetsize ?sheet Letter)) - (at start (Location ?sheet EndCap_Entry-BlackContainer_Exit))) - :effect (and - (at start (not (Location ?sheet EndCap_Entry-BlackContainer_Exit))) - (at end (Location ?sheet HtmOverBlack_Entry-EndCap_Exit))) -) -(:durative-action HtmOverBlack-Move-Letter - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 17999) - :condition (and - (at start (Sheetsize ?sheet Letter)) - (at start (Location ?sheet HtmOverBlack_Entry-EndCap_Exit))) - :effect (and - (at start (not (Location ?sheet HtmOverBlack_Entry-EndCap_Exit))) - (at end (Location ?sheet HtmOverBlack_Exit-Down_TopEntry))) -) -(:durative-action ColorContainer-ToIME-Letter-0 - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 8000) - :condition (and - (at start (Sheetsize ?sheet Letter)) - (at start (Location ?sheet ColorContainer_Entry-Down_BottomExit)) - (at start (Available ColorContainer_Roller-RSRC))) - :effect (and - (at start (not (Location ?sheet ColorContainer_Entry-Down_BottomExit))) - (at start (not (Available ColorContainer_Roller-RSRC))) - (at start (Hasallrsrcs ?sheet ColorContainer-ToIME-Letter)) - (at end (Location ?sheet ColorContainer_ExitToIME-ColorPrinter_Entry))) -) -(:durative-action ColorContainer-ToIME-Letter-1 - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 9999) - :condition (and - (at start (Hasallrsrcs ?sheet ColorContainer-ToIME-Letter))) - :effect (and - - (at end (Available ColorContainer_Roller-RSRC)) - (at end (not (Hasallrsrcs ?sheet ColorContainer-ToIME-Letter)))) -) -(:durative-action ColorContainer-FromIME-Letter - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 8000) - :condition (and - (at start (Sheetsize ?sheet Letter)) - (at start (Location ?sheet ColorPrinter_Exit-ColorContainer_EntryFromIME))) - :effect (and - (at start (not (Location ?sheet ColorPrinter_Exit-ColorContainer_EntryFromIME))) - (at end (Location ?sheet ColorContainer_Exit-Up_BottomEntry))) -) -(:durative-action ColorPrinter-Simplex-Letter-0 - :parameters ( ?sheet - sheet_t ?face - side_t ?image - image_t) - :duration (= ?duration 39040) - :condition (and - (at start (Sheetsize ?sheet Letter)) - (at start (Sideup ?sheet ?face)) - (at start (Imagecolor ?image Color)) - (at start (Location ?sheet ColorContainer_ExitToIME-ColorPrinter_Entry)) - (at start (Notprintedwith ?sheet ?face Color)) - (at start (Available ColorPrinter_Drum-RSRC))) - :effect (and - (at start (not (Location ?sheet ColorContainer_ExitToIME-ColorPrinter_Entry))) - (at start (not (Notprintedwith ?sheet ?face Color))) - (at start (not (Available ColorPrinter_Drum-RSRC))) - (at start (Hasallrsrcs ?sheet ColorPrinter-Simplex-Letter)) - (at end (Location ?sheet ColorPrinter_Exit-ColorContainer_EntryFromIME)) - (at end (Hasimage ?sheet ?face ?image))) -) -(:durative-action ColorPrinter-Simplex-Letter-1 - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 11999) - :condition (and - (at start (Hasallrsrcs ?sheet ColorPrinter-Simplex-Letter))) - :effect (and - - (at end (Available ColorPrinter_Drum-RSRC)) - (at end (not (Hasallrsrcs ?sheet ColorPrinter-Simplex-Letter)))) -) -(:durative-action ColorPrinter-SimplexMono-Letter-0 - :parameters ( ?sheet - sheet_t ?face - side_t ?image - image_t) - :duration (= ?duration 39040) - :condition (and - (at start (Sheetsize ?sheet Letter)) - (at start (Sideup ?sheet ?face)) - (at start (Imagecolor ?image Black)) - (at start (Location ?sheet ColorContainer_ExitToIME-ColorPrinter_Entry)) - (at start (Notprintedwith ?sheet ?face Black)) - (at start (Available ColorPrinter_Drum-RSRC))) - :effect (and - (at start (not (Location ?sheet ColorContainer_ExitToIME-ColorPrinter_Entry))) - (at start (not (Notprintedwith ?sheet ?face Black))) - (at start (not (Available ColorPrinter_Drum-RSRC))) - (at start (Hasallrsrcs ?sheet ColorPrinter-SimplexMono-Letter)) - (at end (Location ?sheet ColorPrinter_Exit-ColorContainer_EntryFromIME)) - (at end (Hasimage ?sheet ?face ?image))) -) -(:durative-action ColorPrinter-SimplexMono-Letter-1 - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 11999) - :condition (and - (at start (Hasallrsrcs ?sheet ColorPrinter-SimplexMono-Letter))) - :effect (and - - (at end (Available ColorPrinter_Drum-RSRC)) - (at end (not (Hasallrsrcs ?sheet ColorPrinter-SimplexMono-Letter)))) -) -(:durative-action ColorFeeder-Feed-Letter-0 - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 8000) - :condition (and - (at start (Sheetsize ?sheet Letter)) - (at start (Location ?sheet Some_Feeder_Tray)) - (at start (Available ColorFeeder_ExitNip-RSRC))) - :effect (and - (at start (not (Location ?sheet Some_Feeder_Tray))) - (at start (not (Available ColorFeeder_ExitNip-RSRC))) - (at start (Hasallrsrcs ?sheet ColorFeeder-Feed-Letter)) - (at start (Sideup ?sheet Front)) - (at end (Location ?sheet Down_BottomEntry-ColorFeeder_Exit))) -) -(:durative-action ColorFeeder-Feed-Letter-1 - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 2158) - :condition (and - (at start (Hasallrsrcs ?sheet ColorFeeder-Feed-Letter))) - :effect (and - - (at end (Available ColorFeeder_ExitNip-RSRC)) - (at end (not (Hasallrsrcs ?sheet ColorFeeder-Feed-Letter)))) -) -(:durative-action BlackFeeder-Feed-Letter-0 - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 8000) - :condition (and - (at start (Sheetsize ?sheet Letter)) - (at start (Location ?sheet Some_Feeder_Tray)) - (at start (Available BlackFeeder_ExitNip-RSRC))) - :effect (and - (at start (not (Location ?sheet Some_Feeder_Tray))) - (at start (not (Available BlackFeeder_ExitNip-RSRC))) - (at start (Hasallrsrcs ?sheet BlackFeeder-Feed-Letter)) - (at start (Sideup ?sheet Front)) - (at end (Location ?sheet BlackContainer_Entry-BlackFeeder_Exit))) -) -(:durative-action BlackFeeder-Feed-Letter-1 - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 2158) - :condition (and - (at start (Hasallrsrcs ?sheet BlackFeeder-Feed-Letter))) - :effect (and - - (at end (Available BlackFeeder_ExitNip-RSRC)) - (at end (not (Hasallrsrcs ?sheet BlackFeeder-Feed-Letter)))) -) -(:durative-action Down-MoveTop-Letter - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 2999) - :condition (and - (at start (Sheetsize ?sheet Letter)) - (at start (Location ?sheet HtmOverBlack_Exit-Down_TopEntry))) - :effect (and - (at start (not (Location ?sheet HtmOverBlack_Exit-Down_TopEntry))) - (at end (Location ?sheet Down_TopExit-HtmOverColor_Entry))) -) -(:durative-action Down-MoveBottom-Letter-0 - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 2999) - :condition (and - (at start (Sheetsize ?sheet Letter)) - (at start (Location ?sheet Down_BottomEntry-ColorFeeder_Exit))) - :effect (and - (at start (not (Location ?sheet Down_BottomEntry-ColorFeeder_Exit))) - (at end (Timepoint ?sheet Down-MoveBottom-Letter-T1))) -) -(:durative-action Down-MoveBottom-Letter-1 - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 1) - :condition (and - (at start (Timepoint ?sheet Down-MoveBottom-Letter-T1)) - (at start (Available Down_BottomExitNip-RSRC))) - :effect (and - (at start (not (Timepoint ?sheet Down-MoveBottom-Letter-T1))) - (at start (not (Available Down_BottomExitNip-RSRC))) - (at start (Hasallrsrcs ?sheet Down-MoveBottom-Letter)) - (at end (Location ?sheet ColorContainer_Entry-Down_BottomExit))) -) -(:durative-action Down-MoveBottom-Letter-2 - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 2458) - :condition (and - (at start (Hasallrsrcs ?sheet Down-MoveBottom-Letter))) - :effect (and - - (at end (Available Down_BottomExitNip-RSRC)) - (at end (not (Hasallrsrcs ?sheet Down-MoveBottom-Letter)))) -) -(:durative-action Down-MoveDown-Letter-0 - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 9999) - :condition (and - (at start (Sheetsize ?sheet Letter)) - (at start (Location ?sheet HtmOverBlack_Exit-Down_TopEntry))) - :effect (and - (at start (not (Location ?sheet HtmOverBlack_Exit-Down_TopEntry))) - (at end (Timepoint ?sheet Down-MoveDown-Letter-T1))) -) -(:durative-action Down-MoveDown-Letter-1 - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 1) - :condition (and - (at start (Timepoint ?sheet Down-MoveDown-Letter-T1)) - (at start (Available Down_BottomExitNip-RSRC))) - :effect (and - (at start (not (Timepoint ?sheet Down-MoveDown-Letter-T1))) - (at start (not (Available Down_BottomExitNip-RSRC))) - (at start (Hasallrsrcs ?sheet Down-MoveDown-Letter)) - (at end (Location ?sheet ColorContainer_Entry-Down_BottomExit))) -) -(:durative-action Down-MoveDown-Letter-2 - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 2458) - :condition (and - (at start (Hasallrsrcs ?sheet Down-MoveDown-Letter))) - :effect (and - - (at end (Available Down_BottomExitNip-RSRC)) - (at end (not (Hasallrsrcs ?sheet Down-MoveDown-Letter)))) -) -(:durative-action HtmOverColor-Move-Letter - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 9999) - :condition (and - (at start (Sheetsize ?sheet Letter)) - (at start (Location ?sheet Down_TopExit-HtmOverColor_Entry))) - :effect (and - (at start (not (Location ?sheet Down_TopExit-HtmOverColor_Entry))) - (at end (Location ?sheet HtmOverColor_Exit-Up_TopEntry))) -) -(:durative-action BlackContainer-ToIME-Letter - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 2000) - :condition (and - (at start (Sheetsize ?sheet Letter)) - (at start (Location ?sheet BlackContainer_Entry-BlackFeeder_Exit))) - :effect (and - (at start (not (Location ?sheet BlackContainer_Entry-BlackFeeder_Exit))) - (at end (Location ?sheet BlackContainer_ExitToIME-BlackPrinter_Entry))) -) -(:durative-action BlackContainer-FromIME-Letter - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 2000) - :condition (and - (at start (Sheetsize ?sheet Letter)) - (at start (Location ?sheet BlackPrinter_Exit-BlackContainer_EntryFromIME))) - :effect (and - (at start (not (Location ?sheet BlackPrinter_Exit-BlackContainer_EntryFromIME))) - (at end (Location ?sheet EndCap_Entry-BlackContainer_Exit))) -) -(:durative-action BlackPrinter-Simplex-Letter-0 - :parameters ( ?sheet - sheet_t ?face - side_t ?image - image_t) - :duration (= ?duration 13013) - :condition (and - (at start (Sheetsize ?sheet Letter)) - (at start (Sideup ?sheet ?face)) - (at start (Imagecolor ?image Black)) - (at start (Location ?sheet BlackContainer_ExitToIME-BlackPrinter_Entry)) - (at start (Notprintedwith ?sheet ?face Black)) - (at start (Available BlackPrinter_Drum-RSRC))) - :effect (and - (at start (not (Location ?sheet BlackContainer_ExitToIME-BlackPrinter_Entry))) - (at start (not (Notprintedwith ?sheet ?face Black))) - (at start (not (Available BlackPrinter_Drum-RSRC))) - (at start (Hasallrsrcs ?sheet BlackPrinter-Simplex-Letter)) - (at end (Location ?sheet BlackPrinter_Exit-BlackContainer_EntryFromIME)) - (at end (Hasimage ?sheet ?face ?image))) -) -(:durative-action BlackPrinter-Simplex-Letter-1 - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 4000) - :condition (and - (at start (Hasallrsrcs ?sheet BlackPrinter-Simplex-Letter))) - :effect (and - - (at end (Available BlackPrinter_Drum-RSRC)) - (at end (not (Hasallrsrcs ?sheet BlackPrinter-Simplex-Letter)))) -) -(:durative-action BlackPrinter-SimplexAndInvert-Letter-0 - :parameters ( ?sheet - sheet_t ?face - side_t ?otherface - side_t ?image - image_t) - :duration (= ?duration 23013) - :condition (and - (at start (Sheetsize ?sheet Letter)) - (at start (Oppositeside ?face ?otherface)) - (at start (Imagecolor ?image Black)) - (at start (Location ?sheet BlackContainer_ExitToIME-BlackPrinter_Entry)) - (at start (Notprintedwith ?sheet ?face Black)) - (at start (Sideup ?sheet ?face)) - (at start (Available BlackPrinter_Drum-RSRC))) - :effect (and - (at start (not (Location ?sheet BlackContainer_ExitToIME-BlackPrinter_Entry))) - (at start (not (Notprintedwith ?sheet ?face Black))) - (at start (not (Sideup ?sheet ?face))) - (at start (not (Available BlackPrinter_Drum-RSRC))) - (at start (Hasallrsrcs ?sheet BlackPrinter-SimplexAndInvert-Letter)) - (at start (Sideup ?sheet ?otherface)) - (at end (Location ?sheet BlackPrinter_Exit-BlackContainer_EntryFromIME)) - (at end (Hasimage ?sheet ?face ?image))) -) -(:durative-action BlackPrinter-SimplexAndInvert-Letter-1 - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 4000) - :condition (and - (at start (Hasallrsrcs ?sheet BlackPrinter-SimplexAndInvert-Letter))) - :effect (and - - (at end (Available BlackPrinter_Drum-RSRC)) - (at end (not (Hasallrsrcs ?sheet BlackPrinter-SimplexAndInvert-Letter)))) -) -(:durative-action Up-MoveTop-Letter-0 - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 2999) - :condition (and - (at start (Sheetsize ?sheet Letter)) - (at start (Location ?sheet HtmOverColor_Exit-Up_TopEntry))) - :effect (and - (at start (not (Location ?sheet HtmOverColor_Exit-Up_TopEntry))) - (at end (Timepoint ?sheet Up-MoveTop-Letter-T1))) -) -(:durative-action Up-MoveTop-Letter-1 - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 1) - :condition (and - (at start (Timepoint ?sheet Up-MoveTop-Letter-T1)) - (at start (Available Up_TopExitNip-RSRC))) - :effect (and - (at start (not (Timepoint ?sheet Up-MoveTop-Letter-T1))) - (at start (not (Available Up_TopExitNip-RSRC))) - (at start (Hasallrsrcs ?sheet Up-MoveTop-Letter)) - (at end (Location ?sheet Finisher1_Entry-Up_TopExit))) -) -(:durative-action Up-MoveTop-Letter-2 - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 2458) - :condition (and - (at start (Hasallrsrcs ?sheet Up-MoveTop-Letter))) - :effect (and - - (at end (Available Up_TopExitNip-RSRC)) - (at end (not (Hasallrsrcs ?sheet Up-MoveTop-Letter)))) -) -(:durative-action Up-MoveUp-Letter-0 - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 9999) - :condition (and - (at start (Sheetsize ?sheet Letter)) - (at start (Location ?sheet ColorContainer_Exit-Up_BottomEntry))) - :effect (and - (at start (not (Location ?sheet ColorContainer_Exit-Up_BottomEntry))) - (at end (Timepoint ?sheet Up-MoveUp-Letter-T1))) -) -(:durative-action Up-MoveUp-Letter-1 - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 1) - :condition (and - (at start (Timepoint ?sheet Up-MoveUp-Letter-T1)) - (at start (Available Up_TopExitNip-RSRC))) - :effect (and - (at start (not (Timepoint ?sheet Up-MoveUp-Letter-T1))) - (at start (not (Available Up_TopExitNip-RSRC))) - (at start (Hasallrsrcs ?sheet Up-MoveUp-Letter)) - (at end (Location ?sheet Finisher1_Entry-Up_TopExit))) -) -(:durative-action Up-MoveUp-Letter-2 - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 2458) - :condition (and - (at start (Hasallrsrcs ?sheet Up-MoveUp-Letter))) - :effect (and - - (at end (Available Up_TopExitNip-RSRC)) - (at end (not (Hasallrsrcs ?sheet Up-MoveUp-Letter)))) -) -(:durative-action Finisher1-PassThrough-Letter - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 8000) - :condition (and - (at start (Sheetsize ?sheet Letter)) - (at start (Location ?sheet Finisher1_Entry-Up_TopExit))) - :effect (and - (at start (not (Location ?sheet Finisher1_Entry-Up_TopExit))) - (at end (Location ?sheet Finisher2_Entry-Finisher1_Exit))) -) -(:durative-action Finisher1-Stack-Letter-0 - :parameters ( ?sheet - sheet_t ?prevsheet - sheet_t) - :duration (= ?duration 8000) - :condition (and - (at start (Prevsheet ?sheet ?prevsheet)) - (at start (Location ?prevsheet Some_Finisher_Tray)) - (at start (Sheetsize ?sheet Letter)) - (at start (Location ?sheet Finisher1_Entry-Up_TopExit)) - (at start (Available Finisher1_EntryNip-RSRC))) - :effect (and - (at start (not (Location ?sheet Finisher1_Entry-Up_TopExit))) - (at start (not (Available Finisher1_EntryNip-RSRC))) - (at start (Hasallrsrcs ?sheet Finisher1-Stack-Letter)) - (at end (Location ?sheet Some_Finisher_Tray)) - (at end (Stackedin ?sheet Finisher1_Tray))) -) -(:durative-action Finisher1-Stack-Letter-1 - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 2158) - :condition (and - (at start (Hasallrsrcs ?sheet Finisher1-Stack-Letter))) - :effect (and - - (at end (Available Finisher1_EntryNip-RSRC)) - (at end (not (Hasallrsrcs ?sheet Finisher1-Stack-Letter)))) -) -(:durative-action Finisher2-PassThrough-Letter - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 8000) - :condition (and - (at start (Sheetsize ?sheet Letter)) - (at start (Location ?sheet Finisher2_Entry-Finisher1_Exit))) - :effect (and - (at start (not (Location ?sheet Finisher2_Entry-Finisher1_Exit))) - (at end (Location ?sheet Finisher2_Exit))) -) -(:durative-action Finisher2-Stack-Letter-0 - :parameters ( ?sheet - sheet_t ?prevsheet - sheet_t) - :duration (= ?duration 8000) - :condition (and - (at start (Prevsheet ?sheet ?prevsheet)) - (at start (Location ?prevsheet Some_Finisher_Tray)) - (at start (Sheetsize ?sheet Letter)) - (at start (Location ?sheet Finisher2_Entry-Finisher1_Exit)) - (at start (Available Finisher2_EntryNip-RSRC))) - :effect (and - (at start (not (Location ?sheet Finisher2_Entry-Finisher1_Exit))) - (at start (not (Available Finisher2_EntryNip-RSRC))) - (at start (Hasallrsrcs ?sheet Finisher2-Stack-Letter)) - (at end (Location ?sheet Some_Finisher_Tray)) - (at end (Stackedin ?sheet Finisher2_Tray))) -) -(:durative-action Finisher2-Stack-Letter-1 - :parameters ( ?sheet - sheet_t) - :duration (= ?duration 2158) - :condition (and - (at start (Hasallrsrcs ?sheet Finisher2-Stack-Letter))) - :effect (and - - (at end (Available Finisher2_EntryNip-RSRC)) - (at end (not (Hasallrsrcs ?sheet Finisher2-Stack-Letter)))) -) )