pddl_to_prolog Namespace Reference

Classes
class	Fact
class	PrologProgram
class	Rule
Functions
def	get_variables
def	test_normalization
def	translate
def	translate_facts
def	translate_init
def	translate_typed_object
Variables
tuple	prog = translate(task)
tuple	task = pddl.open()

---

Function Documentation

def pddl_to_prolog.get_variables

(

symbolic_atoms

)

Definition at line 97 of file pddl_to_prolog.py.

def pddl_to_prolog.test_normalization

(

)

Definition at line 173 of file pddl_to_prolog.py.

def pddl_to_prolog.translate

(

task

)

Definition at line 163 of file pddl_to_prolog.py.

def pddl_to_prolog.translate_facts	(		prog,
			task
	)

Definition at line 156 of file pddl_to_prolog.py.

def pddl_to_prolog.translate_init	(		prog,
			fact
	)

Definition at line 147 of file pddl_to_prolog.py.

def pddl_to_prolog.translate_typed_object	(		prog,
			obj,
			type_dict
	)

Definition at line 142 of file pddl_to_prolog.py.

---

Variable Documentation

tuple pddl_to_prolog::prog = translate(task)

Definition at line 194 of file pddl_to_prolog.py.

tuple pddl_to_prolog::task = pddl.open()

Definition at line 193 of file pddl_to_prolog.py.