diff options
author | Marvin Borner | 2023-05-30 13:28:49 +0200 |
---|---|---|
committer | Marvin Borner | 2023-05-30 13:28:49 +0200 |
commit | e78acdabd1436083c503a5f1860ecdf14f3ee1bd (patch) | |
tree | bffb492b16a4109f807f7e1cc6fe05ea0e13102c /inc/term.h | |
parent | 75c40090e9302e11fc32863270360ef597a93933 (diff) |
Added basic queue implementation
Diffstat (limited to 'inc/term.h')
-rw-r--r-- | inc/term.h | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -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; |