From e78acdabd1436083c503a5f1860ecdf14f3ee1bd Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Tue, 30 May 2023 13:28:49 +0200
Subject: Added basic queue implementation

---
 inc/term.h | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'inc/term.h')

diff --git a/inc/term.h b/inc/term.h
index 0dd472f..3bc94eb 100644
--- a/inc/term.h
+++ b/inc/term.h
@@ -6,12 +6,15 @@
 
 #include <stddef.h>
 
+#include <queue.h>
+
 typedef enum { INV, ABS, APP, VAR } term_type_t;
 
 struct term {
 	term_type_t type;
-	size_t refs;
-	size_t depth;
+	struct term *canonic;
+	char building;
+	struct queue *queue;
 	union {
 		struct {
 			struct term *term;
-- 
cgit v1.2.3