up_SMT_engine.helper_functions.IOHelperFunctions¶
Functions
|
Using the path of a domain and instance file parse them into a unified planning problem object. |
|
Function used to print the time per each step |
|
Function used to print the formula data per each step |
|
Save performance statistics to a designated file. |
|
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