OMTPlan: Optimal Planning Modulo Theories
Public Member Functions | Public Attributes | Static Public Attributes | List of all members
translate.pddl.tasks.Task Class Reference
Inheritance diagram for translate.pddl.tasks.Task:
Inheritance graph
[legend]
Collaboration diagram for translate.pddl.tasks.Task:
Collaboration graph
[legend]

Public Member Functions

def __init__ (self, domain_name, task_name, requirements, types, objects, predicates, init, goal, metric, actions, durative_actions, axioms, function_symbols)
 
def add_axiom (self, parameters, condition)
 
def parse (domain_pddl, task_pddl)
 
def dump (self)
 

Public Attributes

 domain_name
 
 task_name
 
 requirements
 
 types
 
 objects
 
 predicates
 
 init
 
 goal
 
 metric
 
 actions
 
 durative_actions
 
 axioms
 
 axiom_counter
 
 function_symbols
 
 function_administrator
 

Static Public Attributes

 FUNCTION_SYMBOLS = dict()
 
 parse = staticmethod(parse)
 

The documentation for this class was generated from the following file: