ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Sat_Mem_t_ Struct Reference

#include <satClause.h>

Public Attributes

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.

Member Data Documentation

◆ BookMarkE

int Sat_Mem_t_::BookMarkE[2]

Definition at line 75 of file satClause.h.

◆ BookMarkH

int Sat_Mem_t_::BookMarkH[2]

Definition at line 74 of file satClause.h.

◆ iPage

int Sat_Mem_t_::iPage[2]

Definition at line 76 of file satClause.h.

◆ nEntries

int Sat_Mem_t_::nEntries[2]

Definition at line 73 of file satClause.h.

◆ nPagesAlloc

int Sat_Mem_t_::nPagesAlloc

Definition at line 80 of file satClause.h.

◆ nPageSize

int Sat_Mem_t_::nPageSize

Definition at line 77 of file satClause.h.

◆ pPages

int** Sat_Mem_t_::pPages

Definition at line 81 of file satClause.h.

◆ uLearnedMask

unsigned Sat_Mem_t_::uLearnedMask

Definition at line 79 of file satClause.h.

◆ uPageMask

unsigned Sat_Mem_t_::uPageMask

Definition at line 78 of file satClause.h.

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