src/sat/bsat/satVec.h File Reference

#include <stdlib.h>

Include dependency graph for satVec.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	veci_t
struct	vecp_t
Typedefs
typedef struct veci_t	veci
typedef struct vecp_t	vecp
Functions
static void	veci_new (veci *v)
static void	veci_delete (veci *v)
static int *	veci_begin (veci *v)
static int	veci_size (veci *v)
static void	veci_resize (veci *v, int k)
static void	veci_push (veci *v, int e)
static void	vecp_new (vecp *v)
static void	vecp_delete (vecp *v)
static void **	vecp_begin (vecp *v)
static int	vecp_size (vecp *v)
static void	vecp_resize (vecp *v, int k)
static void	vecp_push (vecp *v, void *e)

---

Typedef Documentation

typedef struct veci_t veci

Definition at line 33 of file satVec.h.

typedef struct vecp_t vecp

Definition at line 61 of file satVec.h.

---

Function Documentation

static int* veci_begin

(

veci *

v

)

[inline, static]

Definition at line 42 of file satVec.h.

{ return v->ptr;  }

static void veci_delete

(

veci *

v

)

[inline, static]

Definition at line 41 of file satVec.h.

{ free(v->ptr);   }

static void veci_new

(

veci *

v

)

[inline, static]

Definition at line 35 of file satVec.h.

                                      {
    v->size = 0;
    v->cap  = 4;
    v->ptr  = (int*)malloc(sizeof(int)*v->cap);
}

static void veci_push	(	veci *	v,
		int	e
	)			[inline, static]

Definition at line 45 of file satVec.h.

{
    if (v->size == v->cap) {
        int newsize = v->cap * 2;//+1;
        v->ptr = (int*)realloc(v->ptr,sizeof(int)*newsize);
        v->cap = newsize; }
    v->ptr[v->size++] = e;
}

static void veci_resize	(	veci *	v,
		int	k
	)			[inline, static]

Definition at line 44 of file satVec.h.

{ v->size = k;    } // only safe to shrink !!

static int veci_size

(

veci *

v

)

[inline, static]

Definition at line 43 of file satVec.h.

{ return v->size; }

static void** vecp_begin

(

vecp *

v

)

[inline, static]

Definition at line 70 of file satVec.h.

{ return v->ptr;  }

static void vecp_delete

(

vecp *

v

)

[inline, static]

Definition at line 69 of file satVec.h.

{ free(v->ptr);   }

static void vecp_new

(

vecp *

v

)

[inline, static]

Definition at line 63 of file satVec.h.

                                      {
    v->size = 0;
    v->cap  = 4;
    v->ptr  = (void**)malloc(sizeof(void*)*v->cap);
}

static void vecp_push	(	vecp *	v,
		void *	e
	)			[inline, static]

Definition at line 73 of file satVec.h.

{
    if (v->size == v->cap) {
        int newsize = v->cap * 2;//+1;
        v->ptr = (void**)realloc(v->ptr,sizeof(void*)*newsize);
        v->cap = newsize; }
    v->ptr[v->size++] = e;
}

static void vecp_resize	(	vecp *	v,
		int	k
	)			[inline, static]

Definition at line 72 of file satVec.h.

{ v->size = k;    } // only safe to shrink !!

static int vecp_size

(

vecp *

v

)

[inline, static]

Definition at line 71 of file satVec.h.

{ return v->size; }