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

#include <satStore.h>

Collaboration diagram for Sto_Man_t_:
Collaboration graph
[legend]

Public Attributes

int nVars
 
int nRoots
 
int nClauses
 
int nClausesA
 
Sto_Cls_t * pHead
 
Sto_Cls_t * pTail
 
Sto_Cls_t * pEmpty
 
int nChunkSize
 
int nChunkUsed
 
char * pChunkLast
 

Detailed Description

Definition at line 82 of file satStore.h.

Member Data Documentation

◆ nChunkSize

int Sto_Man_t_::nChunkSize

Definition at line 93 of file satStore.h.

◆ nChunkUsed

int Sto_Man_t_::nChunkUsed

Definition at line 94 of file satStore.h.

◆ nClauses

int Sto_Man_t_::nClauses

Definition at line 87 of file satStore.h.

◆ nClausesA

int Sto_Man_t_::nClausesA

Definition at line 88 of file satStore.h.

◆ nRoots

int Sto_Man_t_::nRoots

Definition at line 86 of file satStore.h.

◆ nVars

int Sto_Man_t_::nVars

Definition at line 85 of file satStore.h.

◆ pChunkLast

char* Sto_Man_t_::pChunkLast

Definition at line 95 of file satStore.h.

◆ pEmpty

Sto_Cls_t* Sto_Man_t_::pEmpty

Definition at line 91 of file satStore.h.

◆ pHead

Sto_Cls_t* Sto_Man_t_::pHead

Definition at line 89 of file satStore.h.

◆ pTail

Sto_Cls_t* Sto_Man_t_::pTail

Definition at line 90 of file satStore.h.

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