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

Public Member Functions

def __init__ (self, name, parameters, precondition, effects)
 
def parse (alist)
 
def dump (self)
 
def uniquify_variables (self)
 
def relaxed (self)
 
def untyped (self)
 
def instantiate (self, var_mapping, init_facts, fluent_facts, init_function_vals, fluent_functions, task, new_axiom, objects_by_type)
 

Public Attributes

 name
 
 parameters
 
 condition
 
 effects
 
 type_map
 

Static Public Attributes

 parse = staticmethod(parse)
 

Member Function Documentation

def translate.pddl.actions.Action.instantiate (   self,
  var_mapping,
  init_facts,
  fluent_facts,
  init_function_vals,
  fluent_functions,
  task,
  new_axiom,
  objects_by_type 
)
Return a PropositionalAction which corresponds to the instantiation of
this action with the arguments in var_mapping. Only fluent parts of the
conditions (those in fluent_facts) are included. init_facts are evaluated
whilte instantiating.
Precondition and effect conditions must be normalized for this to work.
Returns None if var_mapping does not correspond to a valid instantiation
(because it has impossible preconditions or an empty effect list.)

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