src.dcss.state.pddl

Module Contents

Functions

get_pddl_problem(→ str)

Returns a complete pddl state string ready to be passed to a planner, given the domain name, objects, init facts,
src.dcss.state.pddl.get_pddl_problem(domainname: str = 'dcss', problemname: str = 'test_prob', objects: [str] = None, init_facts: [str] = None, goals: [str] = None, map_s: str = None) → str

Returns a complete pddl state string ready to be passed to a planner, given the domain name, objects, init facts, and goals.

Parameters:

  • domainname – name to match to the corresponding pddl domain file, by default this is “dcss” to match the “models/fastdownward_simple.pddl” domain file.

  • problemname – name to identify this state file, change it if you’d like something more descriptive

  • objects – all objects to be included under the :objects clause

  • init_facts – all facts to be included under the :init clause

  • goals – all goals to be included under the (:goal clause and if more than one is given, will automatically be listed as part of an “(and” clause

Returns:

a string containing a complete pddl state file, ready to be given to a pddl planner