Skip to content

Instantly share code, notes, and snippets.

@rpgoldman
Created August 9, 2023 21:25
Show Gist options
  • Save rpgoldman/a68d2bdc2cdd0b9371d2c65d39579c76 to your computer and use it in GitHub Desktop.
Save rpgoldman/a68d2bdc2cdd0b9371d2c65d39579c76 to your computer and use it in GitHub Desktop.
Output file from pandaPIparser that could not be processed by the grounder
#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