array.h File Reference

#include "allocate.h"
#include "stack.h"
#include "global.h"

Include dependency graph for array.h:

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

Go to the source code of this file.

Macros
#define	ARRAY(TYPE)
#define	ALLOCATE_ARRAY(A, N)
#define	EMPTY_ARRAY   EMPTY_STACK
#define	SIZE_ARRAY   SIZE_STACK
#define	PUSH_ARRAY(A, E)
#define	REALLOCATE_ARRAY(T, A, O, N)
#define	RELEASE_ARRAY(A, N)
#define	CLEAR_ARRAY   CLEAR_STACK
#define	TOP_ARRAY   TOP_STACK
#define	PEEK_ARRAY   PEEK_STACK
#define	POKE_ARRAY   POKE_STACK
#define	POP_ARRAY   POP_STACK
#define	BEGIN_ARRAY   BEGIN_STACK
#define	END_ARRAY   END_STACK
#define	RESIZE_ARRAY   RESIZE_STACK
#define	SET_END_OF_ARRAY   SET_END_OF_STACK

Functions
typedef	ARRAY (unsigned) unsigned_array

Macro Definition Documentation

ALLOCATE_ARRAY

#define ALLOCATE_ARRAY	(		A,
			N )

Value:

  do { \
    const size_t TMP_N = (N); \
    (A).begin = (A).end = \
        kissat_nalloc (solver, TMP_N, sizeof *(A).begin); \
  } while (0)

Definition at line 16 of file array.h.

#define ALLOCATE_ARRAY(A, N) \
  do { \
    const size_t TMP_N = (N); \
    (A).begin = (A).end = \
        kissat_nalloc (solver, TMP_N, sizeof *(A).begin); \
  } while (0)

ARRAY

#define ARRAY

(

TYPE

)

Value:

  struct { \
    TYPE *begin; \
    TYPE *end; \
  }

Definition at line 10 of file array.h.

#define ARRAY(TYPE) \
  struct { \
    TYPE *begin; \
    TYPE *end; \
  }

BEGIN_ARRAY

#define BEGIN_ARRAY   BEGIN_STACK

Definition at line 50 of file array.h.

CLEAR_ARRAY

#define CLEAR_ARRAY   CLEAR_STACK

Definition at line 45 of file array.h.

EMPTY_ARRAY

#define EMPTY_ARRAY   EMPTY_STACK

Definition at line 23 of file array.h.

END_ARRAY

#define END_ARRAY   END_STACK

Definition at line 51 of file array.h.

PEEK_ARRAY

#define PEEK_ARRAY   PEEK_STACK

Definition at line 47 of file array.h.

POKE_ARRAY

#define POKE_ARRAY   POKE_STACK

Definition at line 48 of file array.h.

POP_ARRAY

#define POP_ARRAY   POP_STACK

Definition at line 49 of file array.h.

PUSH_ARRAY

#define PUSH_ARRAY	(		A,
			E )

Value:

  do { \
    *(A).end++ = (E); \
  } while (0)

Definition at line 26 of file array.h.

#define PUSH_ARRAY(A, E) \
  do { \
    *(A).end++ = (E); \
  } while (0)

REALLOCATE_ARRAY

#define REALLOCATE_ARRAY	(		T,
			A,
			O,
			N )

Value:

  do { \
    const size_t SIZE = SIZE_ARRAY (A); \
    (A).begin = \
      (T*) kissat_nrealloc (solver, (A).begin, (O), (N), sizeof *(A).begin); \
    (A).end = (A).begin + SIZE; \
  } while (0)

Definition at line 31 of file array.h.

#define REALLOCATE_ARRAY(T, A, O, N)             \
  do { \
    const size_t SIZE = SIZE_ARRAY (A); \
    (A).begin = \
      (T*) kissat_nrealloc (solver, (A).begin, (O), (N), sizeof *(A).begin); \
    (A).end = (A).begin + SIZE; \
  } while (0)

RELEASE_ARRAY

#define RELEASE_ARRAY	(		A,
			N )

Value:

  do { \
    const size_t TMP_NIZE = (N); \
    DEALLOC ((A).begin, TMP_NIZE); \
  } while (0)

Definition at line 39 of file array.h.

#define RELEASE_ARRAY(A, N) \
  do { \
    const size_t TMP_NIZE = (N); \
    DEALLOC ((A).begin, TMP_NIZE); \
  } while (0)

RESIZE_ARRAY

#define RESIZE_ARRAY   RESIZE_STACK

Definition at line 52 of file array.h.

SET_END_OF_ARRAY

#define SET_END_OF_ARRAY   SET_END_OF_STACK

Definition at line 53 of file array.h.

SIZE_ARRAY

#define SIZE_ARRAY   SIZE_STACK

Definition at line 24 of file array.h.

TOP_ARRAY

#define TOP_ARRAY   TOP_STACK

Definition at line 46 of file array.h.

Function Documentation

ARRAY()

typedef ARRAY

(

unsigned

)