translate.sas_tasks.SASTask Class Reference

Public Member Functions
def	__init__ (self, variables, init, goal, operators, temp_operators, axioms, num_axioms, comp_axioms)
def	output (self, stream)

Public Attributes
	variables
	init
	goal
	operators
	temp_operators
	axioms
	num_axioms
	comp_axioms

---

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

• translate/sas_tasks.py