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.

def pddl.conditions.function_predicate_name ( functionname )

Definition at line 652 of file conditions.py.

def pddl.conditions.has_disjunction ( self )

Definition at line 518 of file conditions.py.

def pddl::conditions::has_existential_part ( self )

Definition at line 360 of file conditions.py.

def pddl::conditions::has_universal_part ( self )

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.

def pddl.conditions.is_function_comparison ( alist )

Definition at line 101 of file conditions.py.

def pddl::conditions::negate ( self )

Definition at line 343 of file conditions.py.

def pddl.conditions.parse_condition ( alist )

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.

def pddl.conditions.parse_durative_condition ( alist )

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.

def pddl.conditions.parse_literal ( alist )

Definition at line 119 of file conditions.py.

def pddl.conditions.parse_term ( term )

Definition at line 127 of file conditions.py.

def pddl.conditions.positive ( self )

Definition at line 540 of file conditions.py.

def pddl.conditions.primitive_numeric_expressions ( self )

Definition at line 528 of file conditions.py.