|
OMTPlan: Optimal Planning Modulo Theories
|
Functions | |
| def | driver.arguments._is_valid_file (arg) |
| def | driver.arguments.parse_args () |
Variables | |
| string | driver.arguments.DESCRIPTION = """Planner driver script.""" |
| int | driver.arguments.bound = 100 |
|
private |
Checks whether input PDDL files exist and are validate
| def driver.arguments.parse_args | ( | ) |
Specifies valid arguments for OMTPlan
1.8.11