OMTPlan: Optimal Planning Modulo Theories
Functions | Variables
arguments.py File Reference

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
 

Function Documentation

def driver.arguments._is_valid_file (   arg)
private
Checks whether input PDDL files exist and are validate
def driver.arguments.parse_args ( )
Specifies valid arguments for OMTPlan