Inheritance diagram for planner.search.SearchSMT:

Collaboration diagram for planner.search.SearchSMT:

Public Member Functions
def	do_linear_search (self)

Public Member Functions inherited from planner.search.Search
def	__init__ (self, encoder, ub)

Public Attributes
	horizon

	solver

	found

	solution

Public Attributes inherited from planner.search.Search
	encoder

	found

	solution

	solver

	ub

Detailed Description

Search class for SMT-based encodings.

Member Function Documentation

def planner.search.SearchSMT.do_linear_search ( self )

Linear search scheme for SMT encodings with unit action costs.

Optimal plan is obtained by simple ramp-up strategy

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