Modernize SGB code

[ascherer]

• RAII
• Use type bool
• gb_flip§12: do...while without braces; no
• End @<Named sections@> with @;
• string literals are const char*
• Use snprintf instead of sprintf
• gb_graph: Forward-declare typedef structs; no
• miles_span§24 and §30: init_heap and init_F_heap should use parameter long d (0L); done
• Clean up #defines in gb_{games,gates,miles}.h; done
• Use size_t instead of siz_t (gb_basic, gb_graph, gb_plane, miles_span)
  (Caveat gb_graph§34!)
• gb_save§20 should be listed under system dependencies; Don says no
• …

[ascherer]

Compilation with CC='c++ -Wall -Wextra -Wno-deprecated-register -Wno-deprecated-declarations -Wno-writable-strings' make tests demos requires at least

diff --git a/PROTOTYPES/assign_lisa.ch b/PROTOTYPES/assign_lisa.ch
index 30deac2..4793252 100644
--- a/PROTOTYPES/assign_lisa.ch
+++ b/PROTOTYPES/assign_lisa.ch
@@ -1,3 +1,8 @@
+@x [0] l.10
+@s compl normal @q unreserve a C++ keyword @>
+@y
+@z
+
 @x [0] l.12
 \prerequisite{GB\_\,LISA}
 @y
@@ -15,12 +20,30 @@ int main(
   char *argv[]) /* an array of strings containing those arguments */
 @z
 
+@x [2] l.84
+  printf("Assignment problem for %s%s\n",lisa_id,(compl?", complemented":""));
+@y
+  printf("Assignment problem for %s%s\n",lisa_id,(cmpl?", complemented":""));
+@z
+
+@x [4] l.112
+long compl=0; /* should the input values be complemented? */
+@y
+long cmpl=0; /* should the input values be complemented? */
+@z
+
+@x [5] l.135
+  } else if (strcmp(argv[argc],"-c")==0) compl=1;
+@y
+  } else if (strcmp(argv[argc],"-c")==0) cmpl=1;
+@z
+
 @x [6] l.149
 for (k=0;k<m;k++) {
   for (l=0;l<n;l++) printf("% 4ld",compl?d-*(mtx+k*n+l):*(mtx+k*n+l));
 @y
 for (k=0;k<(long)m;k++) {
-  for (l=0;l<(long)n;l++) printf("% 4ld",compl?(long)d-*(mtx+k*n+l):*(mtx+k*n+l));
+  for (l=0;l<(long)n;l++) printf("% 4ld",cmpl?(long)d-*(mtx+k*n+l):*(mtx+k*n+l));
 @z
 
 @x [10] l.254
@@ -134,9 +157,17 @@ for (l=0;l<(long)n;l++) if (col_inc[l]) k++;
 if (k>(long)m) {
 @z
 
-@x [24] l.596
+@x [24] l.586
+it to maximize (except when |compl| is nonzero).
+@y
+it to maximize (except when |cmpl| is nonzero).
+@z
+
+@x [24] l.595
+if (compl==0)
   for (k=0; k<m; k++) for (l=0; l<n; l++)
 @y
+if (cmpl==0)
   for (k=0; k<(long)m; k++) for (l=0; l<(long)n; l++)
 @z
 
@@ -163,7 +194,7 @@ if (k>(long)m) {
     x=(long)(conv*(float)(compl?d-aa(k,l):aa(k,l)));
 @y
   for (l=0; l<(long)n; l++) {
-    x=(long)(conv*(float)(compl?(long)d-aa(k,l):aa(k,l)));
+    x=(long)(conv*(float)(cmpl?(long)d-aa(k,l):aa(k,l)));
 @z
 
 @x [31] l.699
diff --git a/PROTOTYPES/gb_graph.ch b/PROTOTYPES/gb_graph.ch
index 1864d16..73c43cb 100644
--- a/PROTOTYPES/gb_graph.ch
+++ b/PROTOTYPES/gb_graph.ch
@@ -133,10 +133,10 @@ extern void make_compound_id();
   /* routine to set one |id| field from another */
 extern void make_double_compound_id(); /* ditto, but from two others */
 @y
-extern void make_compound_id(Graph *,char *,Graph *,char *);
+extern void make_compound_id(Graph *,const char *,Graph *,const char *);
   /* routine to set one |id| field from another */
-extern void make_double_compound_id(Graph *,char *,Graph *,char *,@|
-  Graph *,char *); /* ditto, but from two others */
+extern void make_double_compound_id(Graph *,const char *,@|
+  Graph *,const char *,Graph *,const char *); /* ditto, but from two others */
 @z
 
 @x [26] l.487
@@ -148,9 +148,9 @@ void make_compound_id(g,s1,gg,s2) /* |sprintf(g->id,"%s%s%s",s1,gg->id,s2)| */
 @y
 void make_compound_id( /* |sprintf(g->id,"%s%s%s",s1,gg->id,s2)| */
   Graph *g, /* graph whose |id| is to be set */
-  char *s1, /* string for the beginning of the new |id| */
+  const char *s1, /* string for the beginning of the new |id| */
   Graph *gg, /* graph whose |id| is to be copied */
-  char *s2) /* string for the end of the new |id| */
+  const char *s2) /* string for the end of the new |id| */
 @z
 
 @x [26] l.495
@@ -172,11 +172,11 @@ void make_double_compound_id(g,s1,gg,s2,ggg,s3)
 void make_double_compound_id(
     /* |sprintf(g->id,"%s%s%s%s%s",s1,gg->id,s2,ggg->id,s3)| */
   Graph *g, /* graph whose |id| is to be set */
-  char *s1, /* string for the beginning of the new |id| */
+  const char *s1, /* string for the beginning of the new |id| */
   Graph *gg, /* first graph whose |id| is to be copied */
-  char *s2, /* string for the middle of the new |id| */
+  const char *s2, /* string for the middle of the new |id| */
   Graph *ggg, /* second graph whose |id| is to be copied */
-  char *s3) /* string for the end of the new |id| */
+  const char *s3) /* string for the end of the new |id| */
 @z
 
 @x [27] l.509