Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -19,3 +19,4 @@ node_modules
package-lock.json
test*.lp
yarn-error.log
build
30 changes: 21 additions & 9 deletions asp/_all.lp
Original file line number Diff line number Diff line change
@@ -1,12 +1,24 @@
% Collection of ASP files that can be used to quickly run an experiment.
% E.g. clingo asp/_all.lp test.lp

#include "asp/define.lp".
#include "asp/generate.lp".
#include "asp/hard.lp".
#include "asp/soft.lp".
#include "asp/weights.lp".
#include "asp/assign_weights.lp".
#include "asp/optimize.lp".
#include "asp/output.lp".
% #include "asp/topk-lua.lp".
% #include "asp/define.lp".
% #include "asp/generate.lp".
% #include "asp/hard.lp".
% #include "asp/soft.lp".
% #include "asp/weights.lp".
% #include "asp/assign_weights.lp".
% #include "asp/optimize.lp".
% #include "asp/output.lp".
% % #include "asp/topk-lua.lp".

#include "define.lp".
#include "generate.lp".
#include "hard.lp".
#include "soft.lp".
#include "weights.lp".
#include "assign_weights.lp".
#include "optimize_draco.lp".
#include "output.lp".
#include "compare.lp".
#include "assign_compare_weights.lp".
#include "compare_weights.lp".
139 changes: 139 additions & 0 deletions asp/assign_compare_weights.lp
Original file line number Diff line number Diff line change
@@ -0,0 +1,139 @@
%% GENERATED FILE. DO NOT EDIT.

compare_weight(edit_area_bar,edit_area_bar_weight).
compare_weight(edit_area_line,edit_area_line_weight).
compare_weight(edit_area_point,edit_area_point_weight).
compare_weight(edit_area_text,edit_area_text_weight).
compare_weight(edit_area_tick,edit_area_tick_weight).
compare_weight(edit_bar_line,edit_bar_line_weight).
compare_weight(edit_bar_point,edit_bar_point_weight).
compare_weight(edit_bar_text,edit_bar_text_weight).
compare_weight(edit_bar_tick,edit_bar_tick_weight).
compare_weight(edit_line_point,edit_line_point_weight).
compare_weight(edit_line_text,edit_line_text_weight).
compare_weight(edit_line_tick,edit_line_tick_weight).
compare_weight(edit_point_text,edit_point_text_weight).
compare_weight(edit_point_tick,edit_point_tick_weight).
compare_weight(edit_text_tick,edit_text_tick_weight).
compare_weight(edit_scale,edit_scale_weight).
compare_weight(edit_sort,edit_sort_weight).
compare_weight(edit_bin,edit_bin_weight).
compare_weight(edit_aggregate,edit_aggregate_weight).
compare_weight(edit_add_filter,edit_add_filter_weight).
compare_weight(edit_remove_filter,edit_remove_filter_weight).
compare_weight(edit_modify_filter,edit_modify_filter_weight).
compare_weight(edit_add_x,edit_add_x_weight).
compare_weight(edit_add_y,edit_add_y_weight).
compare_weight(edit_add_color,edit_add_color_weight).
compare_weight(edit_add_shape,edit_add_shape_weight).
compare_weight(edit_add_size,edit_add_size_weight).
compare_weight(edit_add_row,edit_add_row_weight).
compare_weight(edit_add_column,edit_add_column_weight).
compare_weight(edit_add_text,edit_add_text_weight).
compare_weight(edit_add_x_count,edit_add_x_count_weight).
compare_weight(edit_add_y_count,edit_add_y_count_weight).
compare_weight(edit_add_color_count,edit_add_color_count_weight).
compare_weight(edit_add_shape_count,edit_add_shape_count_weight).
compare_weight(edit_add_size_count,edit_add_size_count_weight).
compare_weight(edit_add_row_count,edit_add_row_count_weight).
compare_weight(edit_add_column_count,edit_add_column_count_weight).
compare_weight(edit_add_text_count,edit_add_text_count_weight).
compare_weight(edit_remove_x_count,edit_remove_x_count_weight).
compare_weight(edit_remove_y_count,edit_remove_y_count_weight).
compare_weight(edit_remove_color_count,edit_remove_color_count_weight).
compare_weight(edit_remove_shape_count,edit_remove_shape_count_weight).
compare_weight(edit_remove_size_count,edit_remove_size_count_weight).
compare_weight(edit_remove_row_count,edit_remove_row_count_weight).
compare_weight(edit_remove_column_count,edit_remove_column_count_weight).
compare_weight(edit_remove_text_count,edit_remove_text_count_weight).
compare_weight(edit_remove_x,edit_remove_x_weight).
compare_weight(edit_remove_y,edit_remove_y_weight).
compare_weight(edit_remove_color,edit_remove_color_weight).
compare_weight(edit_remove_shape,edit_remove_shape_weight).
compare_weight(edit_remove_size,edit_remove_size_weight).
compare_weight(edit_remove_row,edit_remove_row_weight).
compare_weight(edit_remove_column,edit_remove_column_weight).
compare_weight(edit_remove_text,edit_remove_text_weight).
compare_weight(edit_modify_x,edit_modify_x_weight).
compare_weight(edit_modify_y,edit_modify_y_weight).
compare_weight(edit_modify_color,edit_modify_color_weight).
compare_weight(edit_modify_shape,edit_modify_shape_weight).
compare_weight(edit_modify_size,edit_modify_size_weight).
compare_weight(edit_modify_row,edit_modify_row_weight).
compare_weight(edit_modify_column,edit_modify_column_weight).
compare_weight(edit_modify_text,edit_modify_text_weight).
compare_weight(edit_modify_x_add_count,edit_modify_x_add_count_weight).
compare_weight(edit_modify_y_add_count,edit_modify_y_add_count_weight).
compare_weight(edit_modify_color_add_count,edit_modify_color_add_count_weight).
compare_weight(edit_modify_shape_add_count,edit_modify_shape_add_count_weight).
compare_weight(edit_modify_size_add_count,edit_modify_size_add_count_weight).
compare_weight(edit_modify_row_add_count,edit_modify_row_add_count_weight).
compare_weight(edit_modify_column_add_count,edit_modify_column_add_count_weight).
compare_weight(edit_modify_text_add_count,edit_modify_text_add_count_weight).
compare_weight(edit_modify_x_remove_count,edit_modify_x_remove_count_weight).
compare_weight(edit_modify_y_remove_count,edit_modify_y_remove_count_weight).
compare_weight(edit_modify_color_remove_count,edit_modify_color_remove_count_weight).
compare_weight(edit_modify_shape_remove_count,edit_modify_shape_remove_count_weight).
compare_weight(edit_modify_size_remove_count,edit_modify_size_remove_count_weight).
compare_weight(edit_modify_row_remove_count,edit_modify_row_remove_count_weight).
compare_weight(edit_modify_column_remove_count,edit_modify_column_remove_count_weight).
compare_weight(edit_modify_text_remove_count,edit_modify_text_remove_count_weight).
compare_weight(edit_move_x_row,edit_move_x_row_weight).
compare_weight(edit_move_x_column,edit_move_x_column_weight).
compare_weight(edit_move_x_size,edit_move_x_size_weight).
compare_weight(edit_move_x_shape,edit_move_x_shape_weight).
compare_weight(edit_move_x_color,edit_move_x_color_weight).
compare_weight(edit_move_x_y,edit_move_x_y_weight).
compare_weight(edit_move_x_text,edit_move_x_text_weight).
compare_weight(edit_move_y_row,edit_move_y_row_weight).
compare_weight(edit_move_y_column,edit_move_y_column_weight).
compare_weight(edit_move_y_size,edit_move_y_size_weight).
compare_weight(edit_move_y_shape,edit_move_y_shape_weight).
compare_weight(edit_move_y_color,edit_move_y_color_weight).
compare_weight(edit_move_y_x,edit_move_y_x_weight).
compare_weight(edit_move_y_text,edit_move_y_text_weight).
compare_weight(edit_move_color_row,edit_move_color_row_weight).
compare_weight(edit_move_color_column,edit_move_color_column_weight).
compare_weight(edit_move_color_size,edit_move_color_size_weight).
compare_weight(edit_move_color_shape,edit_move_color_shape_weight).
compare_weight(edit_move_color_y,edit_move_color_y_weight).
compare_weight(edit_move_color_x,edit_move_color_x_weight).
compare_weight(edit_move_color_text,edit_move_color_text_weight).
compare_weight(edit_move_shape_row,edit_move_shape_row_weight).
compare_weight(edit_move_shape_column,edit_move_shape_column_weight).
compare_weight(edit_move_shape_size,edit_move_shape_size_weight).
compare_weight(edit_move_shape_color,edit_move_shape_color_weight).
compare_weight(edit_move_shape_y,edit_move_shape_y_weight).
compare_weight(edit_move_shape_x,edit_move_shape_x_weight).
compare_weight(edit_move_shape_text,edit_move_shape_text_weight).
compare_weight(edit_move_size_row,edit_move_size_row_weight).
compare_weight(edit_move_size_column,edit_move_size_column_weight).
compare_weight(edit_move_size_shape,edit_move_size_shape_weight).
compare_weight(edit_move_size_color,edit_move_size_color_weight).
compare_weight(edit_move_size_y,edit_move_size_y_weight).
compare_weight(edit_move_size_x,edit_move_size_x_weight).
compare_weight(edit_move_size_text,edit_move_size_text_weight).
compare_weight(edit_move_text_row,edit_move_text_row_weight).
compare_weight(edit_move_text_column,edit_move_text_column_weight).
compare_weight(edit_move_text_shape,edit_move_text_shape_weight).
compare_weight(edit_move_text_color,edit_move_text_color_weight).
compare_weight(edit_move_text_y,edit_move_text_y_weight).
compare_weight(edit_move_text_x,edit_move_text_x_weight).
compare_weight(edit_move_text_size,edit_move_text_size_weight).
compare_weight(edit_move_column_row,edit_move_column_row_weight).
compare_weight(edit_move_column_size,edit_move_column_size_weight).
compare_weight(edit_move_column_shape,edit_move_column_shape_weight).
compare_weight(edit_move_column_color,edit_move_column_color_weight).
compare_weight(edit_move_column_y,edit_move_column_y_weight).
compare_weight(edit_move_column_x,edit_move_column_x_weight).
compare_weight(edit_move_column_text,edit_move_column_text_weight).
compare_weight(edit_move_row_column,edit_move_row_column_weight).
compare_weight(edit_move_row_size,edit_move_row_size_weight).
compare_weight(edit_move_row_shape,edit_move_row_shape_weight).
compare_weight(edit_move_row_color,edit_move_row_color_weight).
compare_weight(edit_move_row_y,edit_move_row_y_weight).
compare_weight(edit_move_row_x,edit_move_row_x_weight).
compare_weight(edit_move_row_text,edit_move_row_text_weight).
compare_weight(edit_swap_x_y,edit_swap_x_y_weight).
compare_weight(edit_swap_row_column,edit_swap_row_column_weight).
compare_weight(edit_ceiling,edit_ceiling_weight).
5 changes: 5 additions & 0 deletions asp/assign_weights.lp
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,9 @@ soft_weight(same_field_2,same_field_2_weight).
soft_weight(same_field_gte3,same_field_gte3_weight).
soft_weight(count_twice,count_twice_weight).
soft_weight(shape_cardinality,shape_cardinality_weight).
soft_weight(string_non_nominal,string_non_nominal_weight).
soft_weight(number_nominal,number_nominal_weight).
soft_weight(number_high_cardinality_ordinal,number_high_cardinality_ordinal_weight).
soft_weight(bin_cardinality,bin_cardinality_weight).
soft_weight(quant_bin,quant_bin_weight).
soft_weight(agg_dim,agg_dim_weight).
Expand All @@ -24,6 +26,7 @@ soft_weight(aggregate_group_by_raw,aggregate_group_by_raw_weight).
soft_weight(x_y_raw,x_y_raw_weight).
soft_weight(log,log_weight).
soft_weight(zero,zero_weight).
soft_weight(zero_bin,zero_bin_weight).
soft_weight(zero_size,zero_size_weight).
soft_weight(zero_positional,zero_positional_weight).
soft_weight(zero_skew,zero_skew_weight).
Expand Down Expand Up @@ -149,3 +152,5 @@ soft_weight(summary_discrete_row,summary_discrete_row_weight).
soft_weight(summary_discrete_column,summary_discrete_column_weight).
soft_weight(stack_zero,stack_zero_weight).
soft_weight(stack_normalize,stack_normalize_weight).
soft_weight(x_y_fields_order,x_y_fields_order_weight).
soft_weight(rect_no_agg,rect_no_agg_weight).
Loading