diff options
Diffstat (limited to 'inc')
| -rw-r--r-- | inc/queue.h | 24 | ||||
| -rw-r--r-- | inc/term.h | 7 |
2 files changed, 29 insertions, 2 deletions
diff --git a/inc/queue.h b/inc/queue.h new file mode 100644 index 0000000..5a704b4 --- /dev/null +++ b/inc/queue.h @@ -0,0 +1,24 @@ +// Copyright (c) 2023, Marvin Borner <dev@marvinborner.de> +// SPDX-License-Identifier: MIT + +#ifndef SHARING_QUEUE_H +#define SHARING_QUEUE_H + +#include <stddef.h> + +struct queue_node { + void *data; + struct queue_node *next; +}; + +struct queue { + struct queue_node *head; + struct queue_node *tail; +}; + +struct queue *queue_new(void); +void queue_free(struct queue *queue); +void queue_push(struct queue *queue, void *data); +void *queue_pop(struct queue *queue); + +#endif @@ -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; |