queue.c File Reference

#include <stdlib.h>
#include <string.h>
#include "queue.h"
#include "util.h"

Go to the source code of this file.

Defines

#define EXTRA_SPACE   8
#define EXTRA_SPACE_HEAD   8

Functions

void queue_init (Queue *q)
void queue_init_clone (Queue *t, Queue *s)
void queue_init_buffer (Queue *q, Id *buf, int size)
void queue_free (Queue *q)
void queue_alloc_one (Queue *q)
void queue_alloc_one_head (Queue *q)
void queue_insert (Queue *q, int pos, Id id)
void queue_delete (Queue *q, int pos)
void queue_insert2 (Queue *q, int pos, Id id1, Id id2)
void queue_delete2 (Queue *q, int pos)
void queue_insertn (Queue *q, int pos, int n)
void queue_deleten (Queue *q, int pos, int n)

Define Documentation

#define EXTRA_SPACE   8

Definition at line 19 of file queue.c.

Referenced by queue_alloc_one(), queue_init_clone(), and queue_insertn().

#define EXTRA_SPACE_HEAD   8

Definition at line 20 of file queue.c.

Referenced by queue_alloc_one_head().


Function Documentation

void queue_init ( Queue q  ) 
void queue_init_clone ( Queue t,
Queue s 
)
void queue_init_buffer ( Queue q,
Id buf,
int  size 
)
void queue_free ( Queue q  ) 
void queue_alloc_one ( Queue q  ) 
void queue_alloc_one_head ( Queue q  ) 

Definition at line 91 of file queue.c.

References _Queue::alloc, _Queue::count, _Queue::elements, EXTRA_SPACE_HEAD, _Queue::left, and queue_alloc_one().

Referenced by queue_unshift().

void queue_insert ( Queue q,
int  pos,
Id  id 
)

Definition at line 104 of file queue.c.

References _Queue::count, _Queue::elements, and queue_push().

void queue_delete ( Queue q,
int  pos 
)

Definition at line 115 of file queue.c.

References _Queue::count, _Queue::elements, and _Queue::left.

void queue_insert2 ( Queue q,
int  pos,
Id  id1,
Id  id2 
)

Definition at line 126 of file queue.c.

References _Queue::count, _Queue::elements, and queue_push().

void queue_delete2 ( Queue q,
int  pos 
)

Definition at line 139 of file queue.c.

References _Queue::count, _Queue::elements, and _Queue::left.

void queue_insertn ( Queue q,
int  pos,
int  n 
)
void queue_deleten ( Queue q,
int  pos,
int  n 
)

Definition at line 180 of file queue.c.

References _Queue::count, _Queue::elements, and _Queue::left.

Generated on Mon Dec 12 11:44:12 2011 for satsolver by  doxygen 1.6.3