Created
August 9, 2023 21:25
-
-
Save rpgoldman/a68d2bdc2cdd0b9371d2c65d39579c76 to your computer and use it in GitHub Desktop.
Output file from pandaPIparser that could not be processed by the grounder
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#number_constants_number_sorts | |
9 7 | |
#constants | |
a | |
b | |
c | |
d | |
e | |
f | |
g | |
h | |
i | |
#end_constants | |
#sorts_each_with_number_of_members_and_members | |
location 9 0 1 2 3 4 5 6 7 8 | |
region 0 | |
sort_for_a 1 0 | |
sort_for_c 1 2 | |
sort_for_e 1 4 | |
sort_for_f 1 5 | |
sort_for_g 1 6 | |
#end_sorts | |
#number_of_predicates | |
8 | |
#predicates_each_with_number_of_arguments_and_argument_sorts | |
+toll-area 1 1 | |
-toll-area 1 1 | |
+road 2 0 0 | |
+at 1 0 | |
+pay-location 1 0 | |
+l15-0 0 | |
+l15-1 0 | |
+l15-2 0 | |
#end_predicates | |
#begin_predicate_mutexes | |
1 | |
0 1 | |
#end_predicate_mutexes | |
#number_of_functions | |
0 | |
#function_declarations_with_number_of_arguments_and_argument_sorts | |
#number_primitive_tasks_and_number_abstract_tasks | |
5 5 | |
#begin_task_name_number_of_original_variables_and_number_of_variables | |
drive 2 2 | |
#sorts_of_variables | |
0 0 | |
#end_variables | |
#number_of_cost_statements | |
1 | |
#begin_cost_statements | |
const 1 | |
#end_cost_statements | |
#preconditions_each_predicate_and_argument_variables | |
4 | |
3 0 | |
1 0 | |
2 0 1 | |
7 | |
#add_each_predicate_and_argument_variables | |
1 | |
3 1 | |
#conditional_add_each_with_conditions_and_effect | |
0 | |
#del_each_predicate_and_argument_variables | |
1 | |
3 0 | |
#conditional_del_each_with_conditions_and_effect | |
0 | |
#variable_constraints_first_number_then_individual_constraints | |
0 | |
#end_of_task | |
#begin_task_name_number_of_original_variables_and_number_of_variables | |
drive-ta 2 2 | |
#sorts_of_variables | |
0 0 | |
#end_variables | |
#number_of_cost_statements | |
1 | |
#begin_cost_statements | |
const 1 | |
#end_cost_statements | |
#preconditions_each_predicate_and_argument_variables | |
4 | |
3 0 | |
0 0 | |
2 0 1 | |
7 | |
#add_each_predicate_and_argument_variables | |
1 | |
3 1 | |
#conditional_add_each_with_conditions_and_effect | |
0 | |
#del_each_predicate_and_argument_variables | |
1 | |
3 0 | |
#conditional_del_each_with_conditions_and_effect | |
0 | |
#variable_constraints_first_number_then_individual_constraints | |
0 | |
#end_of_task | |
#begin_task_name_number_of_original_variables_and_number_of_variables | |
pay-toll 1 1 | |
#sorts_of_variables | |
0 | |
#end_variables | |
#number_of_cost_statements | |
1 | |
#begin_cost_statements | |
const 1 | |
#end_cost_statements | |
#preconditions_each_predicate_and_argument_variables | |
3 | |
3 0 | |
4 0 | |
7 | |
#add_each_predicate_and_argument_variables | |
0 | |
#conditional_add_each_with_conditions_and_effect | |
0 | |
#del_each_predicate_and_argument_variables | |
0 | |
#conditional_del_each_with_conditions_and_effect | |
0 | |
#variable_constraints_first_number_then_individual_constraints | |
0 | |
#end_of_task | |
#begin_task_name_number_of_original_variables_and_number_of_variables | |
drive-1-prime 2 2 | |
#sorts_of_variables | |
0 0 | |
#end_variables | |
#number_of_cost_statements | |
1 | |
#begin_cost_statements | |
const 1 | |
#end_cost_statements | |
#preconditions_each_predicate_and_argument_variables | |
4 | |
3 0 | |
1 0 | |
2 0 1 | |
5 | |
#add_each_predicate_and_argument_variables | |
2 | |
3 1 | |
6 | |
#conditional_add_each_with_conditions_and_effect | |
0 | |
#del_each_predicate_and_argument_variables | |
2 | |
3 0 | |
5 | |
#conditional_del_each_with_conditions_and_effect | |
0 | |
#variable_constraints_first_number_then_individual_constraints | |
0 | |
#end_of_task | |
#begin_task_name_number_of_original_variables_and_number_of_variables | |
drive-ta-3-prime 2 4 | |
#sorts_of_variables | |
0 0 5 6 | |
#end_variables | |
#number_of_cost_statements | |
1 | |
#begin_cost_statements | |
const 1 | |
#end_cost_statements | |
#preconditions_each_predicate_and_argument_variables | |
4 | |
3 0 | |
0 0 | |
2 0 1 | |
6 | |
#add_each_predicate_and_argument_variables | |
2 | |
3 1 | |
7 | |
#conditional_add_each_with_conditions_and_effect | |
0 | |
#del_each_predicate_and_argument_variables | |
3 | |
3 0 | |
6 | |
2 3 2 | |
#conditional_del_each_with_conditions_and_effect | |
0 | |
#variable_constraints_first_number_then_individual_constraints | |
0 | |
#end_of_task | |
#begin_task_name_number_of_original_variables_and_number_of_variables | |
move 2 2 | |
#sorts_of_variables | |
0 0 | |
#end_variables | |
#end_of_task | |
#begin_task_name_number_of_original_variables_and_number_of_variables | |
replay-drive-1-prime 2 2 | |
#sorts_of_variables | |
0 0 | |
#end_variables | |
#end_of_task | |
#begin_task_name_number_of_original_variables_and_number_of_variables | |
replay-drive-ta-3-prime 2 2 | |
#sorts_of_variables | |
0 0 | |
#end_variables | |
#end_of_task | |
#begin_task_name_number_of_original_variables_and_number_of_variables | |
__top 0 0 | |
#sorts_of_variables | |
#end_variables | |
#end_of_task | |
#begin_task_name_number_of_original_variables_and_number_of_variables | |
move-more-ta_splitted_1 2 2 | |
#sorts_of_variables | |
0 0 | |
#end_variables | |
#end_of_task | |
#number_of_methods | |
11 | |
#begin_method_name_abstract_task_number_of_variables | |
__top_method 8 8 | |
#variable_sorts | |
2 3 3 6 5 6 4 6 | |
#parameter_of_abstract_task | |
#number_of_subtasks | |
3 | |
#subtasks_each_with_task_id_and_parameter_variables | |
3 0 1 | |
4 2 3 4 5 | |
1 7 6 | |
#number_of_ordering_constraints_and_ordering | |
2 | |
0 1 | |
1 2 | |
#variable_constraints | |
0 | |
#end_of_method | |
#begin_method_name_abstract_task_number_of_variables | |
move-one 5 2 | |
#variable_sorts | |
0 0 | |
#parameter_of_abstract_task | |
0 1 | |
#number_of_subtasks | |
1 | |
#subtasks_each_with_task_id_and_parameter_variables | |
6 0 1 | |
#number_of_ordering_constraints_and_ordering | |
0 | |
#variable_constraints | |
0 | |
#end_of_method | |
#begin_method_name_abstract_task_number_of_variables | |
move-more 5 3 | |
#variable_sorts | |
0 0 0 | |
#parameter_of_abstract_task | |
0 2 | |
#number_of_subtasks | |
2 | |
#subtasks_each_with_task_id_and_parameter_variables | |
6 0 1 | |
5 1 2 | |
#number_of_ordering_constraints_and_ordering | |
1 | |
0 1 | |
#variable_constraints | |
0 | |
#end_of_method | |
#begin_method_name_abstract_task_number_of_variables | |
move-none 5 1 | |
#variable_sorts | |
0 | |
#parameter_of_abstract_task | |
0 0 | |
#number_of_subtasks | |
0 | |
#subtasks_each_with_task_id_and_parameter_variables | |
#number_of_ordering_constraints_and_ordering | |
0 | |
#variable_constraints | |
0 | |
#end_of_method | |
#begin_method_name_abstract_task_number_of_variables | |
move-one-ta 5 2 | |
#variable_sorts | |
0 0 | |
#parameter_of_abstract_task | |
0 1 | |
#number_of_subtasks | |
2 | |
#subtasks_each_with_task_id_and_parameter_variables | |
7 0 1 | |
2 1 | |
#number_of_ordering_constraints_and_ordering | |
1 | |
0 1 | |
#variable_constraints | |
0 | |
#end_of_method | |
#begin_method_name_abstract_task_number_of_variables | |
_splitting_method_move-more-ta_splitted_1 9 3 | |
#variable_sorts | |
0 0 0 | |
#parameter_of_abstract_task | |
0 2 | |
#number_of_subtasks | |
2 | |
#subtasks_each_with_task_id_and_parameter_variables | |
7 0 1 | |
5 1 2 | |
#number_of_ordering_constraints_and_ordering | |
1 | |
0 1 | |
#variable_constraints | |
0 | |
#end_of_method | |
#begin_method_name_abstract_task_number_of_variables | |
move-more-ta 5 2 | |
#variable_sorts | |
0 0 | |
#parameter_of_abstract_task | |
0 1 | |
#number_of_subtasks | |
2 | |
#subtasks_each_with_task_id_and_parameter_variables | |
2 1 | |
9 0 1 | |
#number_of_ordering_constraints_and_ordering | |
1 | |
1 0 | |
#variable_constraints | |
0 | |
#end_of_method | |
#begin_method_name_abstract_task_number_of_variables | |
drive-1-prime16 6 2 | |
#variable_sorts | |
0 0 | |
#parameter_of_abstract_task | |
0 1 | |
#number_of_subtasks | |
1 | |
#subtasks_each_with_task_id_and_parameter_variables | |
3 0 1 | |
#number_of_ordering_constraints_and_ordering | |
0 | |
#variable_constraints | |
0 | |
#end_of_method | |
#begin_method_name_abstract_task_number_of_variables | |
drive-1-prime17 6 2 | |
#variable_sorts | |
0 0 | |
#parameter_of_abstract_task | |
0 1 | |
#number_of_subtasks | |
1 | |
#subtasks_each_with_task_id_and_parameter_variables | |
0 0 1 | |
#number_of_ordering_constraints_and_ordering | |
0 | |
#variable_constraints | |
0 | |
#end_of_method | |
#begin_method_name_abstract_task_number_of_variables | |
drive-ta-3-prime18 7 4 | |
#variable_sorts | |
0 0 5 6 | |
#parameter_of_abstract_task | |
0 1 | |
#number_of_subtasks | |
1 | |
#subtasks_each_with_task_id_and_parameter_variables | |
4 0 1 2 3 | |
#number_of_ordering_constraints_and_ordering | |
0 | |
#variable_constraints | |
0 | |
#end_of_method | |
#begin_method_name_abstract_task_number_of_variables | |
drive-ta-3-prime19 7 2 | |
#variable_sorts | |
0 0 | |
#parameter_of_abstract_task | |
0 1 | |
#number_of_subtasks | |
1 | |
#subtasks_each_with_task_id_and_parameter_variables | |
1 0 1 | |
#number_of_ordering_constraints_and_ordering | |
0 | |
#variable_constraints | |
0 | |
#end_of_method | |
#init_and_goal_facts | |
40 1 | |
3 0 | |
2 0 2 | |
2 2 0 | |
2 1 2 | |
2 2 1 | |
2 2 6 | |
2 6 2 | |
2 2 3 | |
2 3 2 | |
2 2 4 | |
2 4 2 | |
2 3 4 | |
2 4 3 | |
2 3 5 | |
2 5 3 | |
2 4 6 | |
2 6 4 | |
2 4 5 | |
2 5 4 | |
2 6 8 | |
2 8 6 | |
2 6 5 | |
2 5 6 | |
2 5 7 | |
2 7 5 | |
4 0 | |
4 1 | |
4 8 | |
4 7 | |
0 2 | |
0 3 | |
0 4 | |
0 5 | |
0 6 | |
0 | |
0 | |
1 0 | |
1 1 | |
1 7 | |
1 8 | |
#end_init | |
0 | |
#end_goal | |
#init_function_facts | |
0 | |
#initial_task | |
8 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment