OMTPlan: Optimal Planning Modulo Theories
Public Member Functions | Public Attributes | List of all members
planner.search.SearchOMT Class Reference
Inheritance diagram for planner.search.SearchOMT:
Inheritance graph
[legend]
Collaboration diagram for planner.search.SearchOMT:
Collaboration graph
[legend]

Public Member Functions

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

Public Attributes

 solver
 
 solution
 
- Public Attributes inherited from planner.search.Search
 encoder
 
 found
 
 solution
 
 solver
 
 ub
 

Detailed Description

Search class for OMT-based encodings.

Member Function Documentation

def planner.search.SearchOMT.computeHorizonSchedule (   self)
Computes horizon schedule given upper bound for search.
Here percentages are fixed.
def planner.search.SearchOMT.do_search (   self)
Search scheme for OMT encodings with unit, constant or state-dependent action costs.

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