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

#include <satStore.h>

Collaboration diagram for Sto_Cls_t_:
Collaboration graph
[legend]

Public Attributes

Sto_Cls_t * pNext
 
Sto_Cls_t * pNext0
 
Sto_Cls_t * pNext1
 
int Id
 
unsigned fA: 1
 
unsigned fRoot: 1
 
unsigned fVisit: 1
 
unsigned nLits: 24
 
lit pLits [0]
 

Detailed Description

Definition at line 68 of file satStore.h.

Member Data Documentation

◆ fA

unsigned Sto_Cls_t_::fA

Definition at line 74 of file satStore.h.

◆ fRoot

unsigned Sto_Cls_t_::fRoot

Definition at line 75 of file satStore.h.

◆ fVisit

unsigned Sto_Cls_t_::fVisit

Definition at line 76 of file satStore.h.

◆ Id

int Sto_Cls_t_::Id

Definition at line 73 of file satStore.h.

◆ nLits

unsigned Sto_Cls_t_::nLits

Definition at line 77 of file satStore.h.

◆ pLits

lit Sto_Cls_t_::pLits[0]

Definition at line 78 of file satStore.h.

◆ pNext

Sto_Cls_t* Sto_Cls_t_::pNext

Definition at line 70 of file satStore.h.

◆ pNext0

Sto_Cls_t* Sto_Cls_t_::pNext0

Definition at line 71 of file satStore.h.

◆ pNext1

Sto_Cls_t* Sto_Cls_t_::pNext1

Definition at line 72 of file satStore.h.

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