1 files changed, 33 insertions, 0 deletions
diff --git a/books/workshops/2004/ruiz-et-al/support/dag-quadratic-C/dags.h b/books/workshops/2004/ruiz-et-al/support/dag-quadratic-C/dags.h
new file mode 100644
index 0000000..082139f
--- /dev/null
+++ b/books/workshops/2004/ruiz-et-al/support/dag-quadratic-C/dags.h
@@ -0,0 +1,33 @@
+/// C implementation of the Q-dag-unification algorithm
+/// Author: ChesKo (fjesus@us.es)
+///****************************************************************************
+
+#include <stdio.h>
+#include "lists.h"
+#include "terms.h"
+
+///****************************************************************************
+/// DAG
+///****************************************************************************
+
+typedef struct dagcell {
+  int stamp;
+  int dagcelltype;    // 0 - direction, 1 - variable, 2 - function
+  int direction;
+  char symbol[5];
+  Intlist *args;
+} DagCell;
+
+///****************************************************************************
+/// Print function
+///****************************************************************************
+
+void print_dag (DagCell *, int);
+
+///****************************************************************************
+/// Terms to DAG representation
+///****************************************************************************
+
+int term_as_dag_st_aux (Term *, DagCell *, int, Varlist **);
+
+///****************************************************************************