xSAT_Heap_t_ Struct Reference

#include <xsatHeap.h>

Public Attributes
Vec_Int_t *	vActivity
Vec_Int_t *	vIndices
Vec_Int_t *	vHeap

Detailed Description

Definition at line 33 of file xsatHeap.h.

Member Data Documentation

vActivity

Vec_Int_t* xSAT_Heap_t_::vActivity

Definition at line 35 of file xsatHeap.h.

vHeap

Vec_Int_t* xSAT_Heap_t_::vHeap

Definition at line 37 of file xsatHeap.h.

vIndices

Vec_Int_t* xSAT_Heap_t_::vIndices

Definition at line 36 of file xsatHeap.h.

---

The documentation for this struct was generated from the following file:

• src/sat/xsat/xsatHeap.h