planner.plan.Plan Class Reference

Public Member Functions
def	__init__ (self, model, encoder, objective=None)
def	validate (self, val, domain, problem)
	Validates plan (when one is found). More...
def	pprint (self, dest)
	Prints plan to file. More...

Public Attributes
	plan
	cost

Private Member Functions
def	_extractPlan (self, model, encoder)
	Extracts plan from model of the formula. More...
def	_extractCost (self, objective=None)
	Extracts cost of plan. More...

Detailed Description

Plan objects are instances of this class.
Defines methods to extract, validate and print plans.

Member Function Documentation

def planner.plan.Plan._extractCost (   self,   objective = None  )

private

Extracts cost of plan.

Parameters

objective

Z3 object that contains objective function (default None).

Returns

cost: plan cost (metric value if problem is metric, plan length otherwise)

def planner.plan.Plan._extractPlan (   self,   model,   encoder  )

private

Extracts plan from model of the formula.

Plan returned is linearized.

Parameters

model	Z3 model of the planning formula.
encoder	encoder object, contains maps variable/variable names.

Returns

plan: dictionary containing plan. Keys are steps, values are actions.

def planner.plan.Plan.pprint	(		self,
			dest
	)

Prints plan to file.

Parameters

dest	path to destination folder.

def planner.plan.Plan.validate	(		self,
			val,
			domain,
			problem
	)

Validates plan (when one is found).

Parameters

val	path to VAL executable.
domain	path to PDDL domain file.
problem	path to PDDL problem file.

Returns

plan: string containing plan if plan found is valid, None otherwise.

---

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

• planner/plan.py