OMTPlan: Optimal Planning Modulo Theories
|
Public Member Functions | |
def | computeHorizonSchedule (self) |
def | do_search (self) |
![]() | |
def | __init__ (self, encoder, ub) |
Public Attributes | |
solver | |
solution | |
![]() | |
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.