Sat_Mem_t_ Struct Reference

#include <satClause.h>

Data Fields
int	nEntries [2]
int	BookMarkH [2]
int	BookMarkE [2]
int	iPage [2]
int	nPageSize
unsigned	uPageMask
unsigned	uLearnedMask
int	nPagesAlloc
int **	pPages

Detailed Description

Definition at line 71 of file satClause.h.

Field Documentation

int Sat_Mem_t_::BookMarkE[2]

Definition at line 75 of file satClause.h.

int Sat_Mem_t_::BookMarkH[2]

Definition at line 74 of file satClause.h.

int Sat_Mem_t_::iPage[2]

Definition at line 76 of file satClause.h.

int Sat_Mem_t_::nEntries[2]

Definition at line 73 of file satClause.h.

int Sat_Mem_t_::nPagesAlloc

Definition at line 80 of file satClause.h.

int Sat_Mem_t_::nPageSize

Definition at line 77 of file satClause.h.

int** Sat_Mem_t_::pPages

Definition at line 81 of file satClause.h.

unsigned Sat_Mem_t_::uLearnedMask

Definition at line 79 of file satClause.h.

unsigned Sat_Mem_t_::uPageMask

Definition at line 78 of file satClause.h.

---

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

• satClause.h