modelchecker/deque.h

   1 #ifndef DEQUE_H
   2 #define DEQUE_H
   3 #include <stdio.h>
   4 #include <stdbool.h>
   5 #include "coord.h"
   6
   7 typedef struct node {
   8     state_t *s;
   9     struct node *ptr;
  10 } node_t;
  11
  12 typedef struct {
  13     node_t *front;
  14     node_t *rear;
  15     int count;
  16 } deque;
  17
  18 deque *create();
  19
  20 deque *enq(state_t *s, deque *d);
  21
  22 deque *deq(deque *d);
  23
  24 int isEmpty(deque *d);
  25
  26 state_t *get_front(deque *d);
  27
  28 #endif