repositories
/
mc1516pa.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
update
[mc1516pa.git]
/
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