From 62d87e063318cc4c842b1b2d8c184f48aeaf6659 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Mon, 19 May 2025 17:45:14 +0200 Subject: 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. --- src/solvers/coord/dr.h | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) (limited to 'src/solvers/coord/dr.h') 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, -- cgit v1.3