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

Public Member Functions

def __init__ (self, encoder, ub)
 

Public Attributes

 encoder
 
 found
 
 solution
 
 solver
 
 ub
 

Detailed Description

Base class defining search schemes.

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