up_SMT_engine.helper_functions.IOHelperFunctions

Functions

PDDLToProblem(domain_path, problem_path)

Using the path of a domain and instance file parse them into a unified planning problem object.

print_eval_data(eval_data)

Function used to print the time per each step

print_formula_data(formula_data)

Function used to print the formula data per each step

save_stats_to_file(formula_data, eval_data, ...)

Save performance statistics to a designated file.

writeSolutionToFile(solution, solution_path)

Save plan to a txt file, in a format which may be verified by VAL.

up_SMT_engine.helper_functions.IOHelperFunctions.PDDLToProblem(domain_path, problem_path)[source]

Using the path of a domain and instance file parse them into a unified planning problem object. Used by the test_runner.

Args:

domain_path (String): path to a domain file problem_path (String): path to a problem file

Returns:

unified planning problem: A unified planning problem object

up_SMT_engine.helper_functions.IOHelperFunctions.writeSolutionToFile(solution, solution_path)[source]

Save plan to a txt file, in a format which may be verified by VAL. Only used by the test_runner

Args:

solution (List of ActionInstances): Ordered list of actions solving the problem solution_path (String): Path to output file

up_SMT_engine.helper_functions.IOHelperFunctions.save_stats_to_file(formula_data, eval_data, stats_output, parallelism, is_incremental)[source]

Save performance statistics to a designated file. Appends onto existing files.

Args:

formula_data (Dictionary): Dictionary of formula data per step eval_data (List): Array of time required per step stats_output (String): Path to output file parallelism (String): Type of parallelism is_incremental (bool): True if using incremental solving, False otherwise

up_SMT_engine.helper_functions.IOHelperFunctions.print_eval_data(eval_data)[source]

Function used to print the time per each step

Args:

eval_data (List): Time per each step

up_SMT_engine.helper_functions.IOHelperFunctions.print_formula_data(formula_data)[source]

Function used to print the formula data per each step

Args:

formula_data (Dictionary): Formula data per each step