All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines
Classes | Functions | Variables
pddl::conditions Namespace Reference

Classes

class  Atom
class  Condition
class  Conjunction
class  ConstantCondition
class  Disjunction
class  ExistentialCondition
class  Falsity
class  FunctionComparison
class  FunctionTerm
class  Impossible
class  JunctorCondition
class  Literal
class  ModuleCall
class  NegatedAtom
class  NegatedFunctionComparison
class  ObjectTerm
class  QuantifiedCondition
class  Term
class  Truth
class  UniversalCondition
class  Variable

Functions

def __eq__
def __init__
def __str__
def _dump
def _relaxed
def change_parts
def dump_temporal_condition
def function_predicate_name
def has_disjunction
def has_existential_part
def has_universal_part
def instantiate
def is_function_comparison
def negate
def parse_condition
def parse_condition_aux
def parse_durative_condition
def parse_literal
def parse_term
def positive
def primitive_numeric_expressions
def uniquify_variables

Variables

 comparator
 hash
 negated = False
 parts

Function Documentation

def pddl.conditions.__eq__ (   self,
  other 
)

Definition at line 506 of file conditions.py.

def pddl.conditions.__init__ (   self,
  comparator,
  parts,
  compare_to_zero = False 
)

Definition at line 496 of file conditions.py.

def pddl.conditions.__str__ (   self)

Definition at line 512 of file conditions.py.

def pddl.conditions._dump (   self,
  indent = "  " 
) [private]

Definition at line 504 of file conditions.py.

def pddl.conditions._relaxed (   self,
  parts 
) [private]

Definition at line 494 of file conditions.py.

def pddl.conditions.change_parts (   self,
  parts 
)

Definition at line 526 of file conditions.py.

def pddl.conditions.dump_temporal_condition (   condition,
  indent = "  " 
)

Definition at line 137 of file conditions.py.

Definition at line 652 of file conditions.py.

Definition at line 518 of file conditions.py.

Definition at line 360 of file conditions.py.

Definition at line 345 of file conditions.py.

def pddl::conditions::instantiate (   self,
  var_mapping,
  init_facts,
  fluent_facts,
  init_function_vals,
  fluent_functions,
  task,
  new_axiom,
  new_modules,
  result 
)

Definition at line 355 of file conditions.py.

Definition at line 101 of file conditions.py.

def pddl::conditions::negate (   self)

Definition at line 343 of file conditions.py.

Definition at line 7 of file conditions.py.

def pddl.conditions.parse_condition_aux (   alist,
  negated 
)
Parse a PDDL condition. The condition is translated into NNF on the fly.

Definition at line 11 of file conditions.py.

Parse a durative PDDL condition. i
   The condition is translated into NNF on the fly.
   Returns triple [start condition, over all condition, end condition]

Definition at line 62 of file conditions.py.

Definition at line 119 of file conditions.py.

Definition at line 127 of file conditions.py.

def pddl.conditions.positive (   self)

Definition at line 540 of file conditions.py.

Definition at line 528 of file conditions.py.

def pddl.conditions.uniquify_variables (   self,
  type_map,
  renamings = {} 
)

Definition at line 515 of file conditions.py.


Variable Documentation

Definition at line 496 of file conditions.py.

Definition at line 496 of file conditions.py.

Definition at line 493 of file conditions.py.

Definition at line 496 of file conditions.py.

 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines


tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Tue Jan 22 2013 12:25:04