plaans / aries

Toolbox for automated planning and combinatorial solving.
MIT License
43 stars 6 forks source link

Added dbg for chronicles #33

Closed franklinselva closed 2 years ago

franklinselva commented 2 years ago

The current debug interpretation for an action can be something like below.

KIND : Action
PRESENCE :26 > 0
START :?f27 + 0
END :?f27 + 0.1
NAME : [SymId(4), ?s(28), ?s(29), ?s(30), ?s(31)]

CONDITIONS :
        [?f27 + 0, ?f27 + 0.1] SymId(5)( ?s(28) ?s(31) ) == true
        [?f27 + 0, ?f27 + 0.1] SymId(5)( ?s(30) ?s(31) ) == true
        [?f27 + 0, ?f27 + 0] SymId(9)( ?s(28) ) == true
        [?f27 + 0, ?f27 + 0] SymId(7)( ?s(29) ?s(30) ) == true

EFFECTS :
        [?f27 + 0, ?f27 + 0.1] SymId(7)( ?s(29) ?s(30) ) := false
        [?f27 + 0, ?f27 + 0.1] SymId(9)( ?s(28) ) := false
        [?f27 + 0, ?f27 + 0.1] SymId(8)( ?s(28) ?s(29) ) := true
arbimo commented 2 years ago

I just added some minor improvements to the formatting.

Could you:

After that it should be ready for merging.