Refactored checkdata

Relevant changes include:
  - Changed the signature of nissy_checkdata().
  - Removed expected_distribution.h from tools; this data is now included
    in each solver's src/ code.
  - Removed distribution check for cocsep; may add back later.

1 files changed, 16 insertions, 0 deletions

diff --git a/src/solvers/coord/dr.h b/src/solvers/coord/dr.h
index 607cc39..d986742 100644
--- a/src/solvers/coord/dr.h
+++ b/src/solvers/coord/dr.h
@@ -32,6 +32,22 @@ STATIC coord_t coordinate_dr = {
         },
         .is_admissible = &solution_lastqt_cw,
         .is_solvable = &is_eoco_solvable,
+        .pruning_distribution = {
+                [0] = 1,
+                [1] = 1,
+                [2] = 5,
+                [3] = 44,
+                [4] = 487,
+                [5] = 5841,
+                [6] = 68364,
+                [7] = 776568,
+                [8] = 7950748,
+                [9] = 52098876,
+                [10] = 76236234,
+                [11] = 3771112,
+                [12] = 129,
+        },
+        .pruning_max = 12,
         .sym = {
                 .classes = DREOESEP_CLASSES,
                 .max = DREOESEP_MAX,