Merge pull request #3 from bzinberg/master

Add `resetNashSolver()` to the public API
JuliaPolyhedra · Apr 24, 2021 · 5b8ab79 · 5b8ab79
2 parents ab1a531 + c48b994
commit 5b8ab79
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/lrsnashlib.c b/lrsnashlib.c
@@ -1116,4 +1116,6 @@ void updateFwidth(game *g, int col, int pos, char *str) {
                 ((gInfo *)g->aux)->fwidth[col][pos] = len;
 }
 
+void resetNashSolver() { FirstTime = TRUE; }
+
 /******************** end of lrsnashlib.c ***************************/
diff --git a/lrsnashlib.h b/lrsnashlib.h
@@ -65,6 +65,7 @@ void printGame(game * g);
 void setFwidth(game *g, int len);
 void initFwidth(game *g);
 void updateFwidth(game *g, int col, int pos, char *str);
+void resetNashSolver();  /* Call this function for every new game to be solved */
 
 
 extern long Debug_flag;