inlineheap.h File Reference

#include "allocate.h"
#include "internal.h"
#include "logging.h"
#include "global.h"

Include dependency graph for inlineheap.h:

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

Go to the source code of this file.

Macros
#define	HEAP_CHILD(POS)
#define	HEAP_PARENT(POS)
#define	HEAP_IMPORT(IDX)
#define	CHECK_HEAP_IMPORTED(IDX)

Macro Definition Documentation

CHECK_HEAP_IMPORTED

#define CHECK_HEAP_IMPORTED

(

IDX

)

Definition at line 86 of file inlineheap.h.

HEAP_CHILD

#define HEAP_CHILD

(

POS

)

Value:

(KISSAT_assert ((POS) < (1u << 31)), (2 * (POS) + 1))

Definition at line 11 of file inlineheap.h.

HEAP_IMPORT

#define HEAP_IMPORT

(

IDX

)

Value:

  do { \
    KISSAT_assert ((IDX) < UINT_MAX - 1); \
    if (heap->vars <= (IDX)) \
      kissat_enlarge_heap (solver, heap, (IDX) + 1); \
  } while (0)

Definition at line 79 of file inlineheap.h.

#define HEAP_IMPORT(IDX) \
  do { \
    KISSAT_assert ((IDX) < UINT_MAX - 1); \
    if (heap->vars <= (IDX)) \
      kissat_enlarge_heap (solver, heap, (IDX) + 1); \
  } while (0)

HEAP_PARENT

#define HEAP_PARENT

(

POS

)

Value:

(KISSAT_assert ((POS) > 0), (((POS) - 1) / 2))

Definition at line 13 of file inlineheap.h.