symbolic.Pddl
=============

.. currentmodule:: symbolic

.. autoclass:: Pddl
   :members:
   :show-inheritance:
   :inherited-members:

   
   .. automethod:: __init__

   
   .. rubric:: Methods

   .. autosummary::
   
      ~Pddl.__init__
      ~Pddl.add_object
      ~Pddl.apply_actions
      ~Pddl.consistent_state
      ~Pddl.derived_state
      ~Pddl.is_goal_satisfied
      ~Pddl.is_valid
      ~Pddl.is_valid_action
      ~Pddl.is_valid_plan
      ~Pddl.is_valid_state
      ~Pddl.is_valid_tuple
      ~Pddl.list_valid_actions
      ~Pddl.list_valid_arguments
      ~Pddl.next_state
      ~Pddl.remove_object
   
   

   
   
   .. rubric:: Attributes

   .. autosummary::
   
      ~Pddl.actions
      ~Pddl.axioms
      ~Pddl.constants
      ~Pddl.derived_predicates
      ~Pddl.domain_pddl
      ~Pddl.goal
      ~Pddl.initial_state
      ~Pddl.name
      ~Pddl.object_map
      ~Pddl.objects
      ~Pddl.predicates
      ~Pddl.problem_pddl
      ~Pddl.state_index