• Home
• org.aiddl
• aiddl-common-scala
• 0.5.1
• source code
• problem-02.aiddl

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

aiddl-test.planning.state-variable.data-collection.problem-02.aiddl Maven / Gradle / Ivy

(#mod self org.aiddl.test.planning.state-variable.data-collection.p-02)

(#req Domain "domain.aiddl")

(State@CP                 s
   {(at):station (adj station loc-1):true (adj loc-1 station):true (adj loc-1 loc-2):true (adj loc-2 loc-1):true (adj loc-2 loc-3):true (adj loc-3 loc-2):true (is-config c1):true (is-config c2):true (is-config c3):true (config loc-1):c1 (config loc-2):c1 (config loc-3):c1 (sample slot-1):empty (sample slot-2):empty (sample slot-3):empty}
  )

(Goal@CP                  g
  {
    (collected (data loc-2 c2)):true
  })

(Problem@CP problem
  (
    operators     : O@Domain,
    initial-state : $s,
    goal          : $g))