ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
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))
#define KISSAT_assert(ignore)
Definition global.h:13

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)
#define solver
Definition kitten.c:211
#define IDX(LIT)
Definition literal.h:28
Definition heap.h:19
unsigned vars
Definition heap.h:21

Definition at line 79 of file inlineheap.h.

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

◆ HEAP_PARENT

#define HEAP_PARENT ( POS)
Value:
(KISSAT_assert ((POS) > 0), (((POS) - 1) / 2))

Definition at line 13 of file inlineheap.h.