Remove size parameter from dsf init and copy functions.

Now that the dsf knows its own size internally, there's no need to
tell it again when one is copied or reinitialised.

This makes dsf_init much more about *re*initialising a dsf, since now
dsfs are always allocated using a function that will initialise them
anyway. So I think it deserves a rename.

1 files changed, 4 insertions, 2 deletions

diff --git a/puzzles.h b/puzzles.h
index 8a949de..add58b2 100644
--- a/puzzles.h
+++ b/puzzles.h
@@ -432,7 +432,7 @@ void dsf_free(DSF *dsf);
 
 void print_dsf(DSF *dsf, int size);
 
-void dsf_copy(DSF *to, DSF *from, int size);
+void dsf_copy(DSF *to, DSF *from);
 
 /* Return the canonical element of the equivalence class containing element
  * val.  If 'inverse' is non-NULL, this function will put into it a flag
@@ -448,7 +448,9 @@ int dsf_size(DSF *dsf, int val);
  * be both opposite and non-opposite. */
 void edsf_merge(DSF *dsf, int v1, int v2, bool inverse);
 void dsf_merge(DSF *dsf, int v1, int v2);
-void dsf_init(DSF *dsf, int len);
+
+/* Reinitialise a dsf to the starting 'all elements distinct' state. */
+void dsf_reinit(DSF *dsf);
 
 /*
  * tdq.c