|
OMTPlan: Optimal Planning Modulo Theories
|


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 | |
Search class for OMT-based encodings.
| 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.
1.8.11