ref: 3189fb484dcfe4efe42b2b30e529389db9dd0d00
parent: baed0e3eec513aa148afaea950b43a4f8b8d2734
author: Simon Tatham <[email protected]>
date: Tue Nov 6 13:34:47 EST 2018
Fix an inaccurate comment. latin_solver_diff_set takes a boolean input parameter to indicate whether the 'Extreme'-level variant of set elimination is permitted. But it's commented in the header file as having a boolean _output_ parameter which it sets if it _ended up_ using that variant. Probably the latter was how it worked in an early draft, and I changed my mind later without changing the comment.
--- a/latin.h
+++ b/latin.h
@@ -78,8 +78,8 @@
/* Looped positional elimination */
int latin_solver_diff_simple(struct latin_solver *solver);
-/* Looped set elimination; *extreme is set if it used
- * the more difficult single-number elimination. */
+/* Looped set elimination; extreme permits use of the more difficult
+ * single-number elimination. */
int latin_solver_diff_set(struct latin_solver *solver,
struct latin_solver_scratch *scratch,
int extreme);