X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=interpreters%2Fnitfol%2Fsolve.h;fp=interpreters%2Fnitfol%2Fsolve.h;h=89061aa9b744857ce1fa3e2a688606ea5cdb26b4;hb=b1f1dc50b22b30c4d7176e1ff7c0805e80fe0724;hp=0000000000000000000000000000000000000000;hpb=50176172d18ae72d019181725c5629d45d21c548;p=projects%2Fchimara%2Fchimara.git

diff --git a/interpreters/nitfol/solve.h b/interpreters/nitfol/solve.h
new file mode 100644
index 0000000..89061aa
--- /dev/null
+++ b/interpreters/nitfol/solve.h
@@ -0,0 +1,26 @@
+/* This is a Cfunctions (version 0.24) generated header file.
+   Cfunctions is a free program for extracting headers from C files.
+   Get Cfunctions from `http://www.hayamasa.demon.co.uk/cfunctions'. */
+
+/* This file was generated with:
+`cfunctions -i solve.c' */
+#ifndef CFH_SOLVE_H
+#define CFH_SOLVE_H
+
+/* From `solve.c': */
+typedef struct cycleequation cycleequation;
+struct cycleequation {
+  cycleequation *next;
+  
+  int *var;
+  const int *min;
+  int xcoefficient;
+  int ycoefficient;
+} 
+;
+void automap_add_cycle (cycleequation *cycle );
+void automap_delete_cycles (void);
+void automap_cycle_elimination (void);
+void automap_cycles_fill_values (void);
+
+#endif /* CFH_SOLVE_H */