ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Sbm_Man_t_ Struct Reference
Collaboration diagram for Sbm_Man_t_:
Collaboration graph
[legend]

Public Attributes

sat_solver * pSat
 
Vec_Int_t * vCardVars
 
int LogN
 
int FirstVar
 
int LitShift
 
int nInputs
 
Vec_Int_t * vRoots
 
Vec_Wec_t * vCuts
 
Vec_Wec_t * vObjCuts
 
Vec_Int_t * vSolCuts
 
Vec_Int_t * vCutGates
 
Vec_Wrd_t * vCutAreas
 
Vec_Int_t * vAssump
 
Vec_Int_t * vPolar
 
Vec_Int_t * vArrs
 
Vec_Int_t * vReqs
 
Vec_Int_t * vLit2Used
 
Vec_Int_t * vDelays
 
Vec_Int_t * vReason
 

Detailed Description

Definition at line 37 of file giaSatMap.c.

Member Data Documentation

◆ FirstVar

int Sbm_Man_t_::FirstVar

Definition at line 42 of file giaSatMap.c.

◆ LitShift

int Sbm_Man_t_::LitShift

Definition at line 43 of file giaSatMap.c.

◆ LogN

int Sbm_Man_t_::LogN

Definition at line 41 of file giaSatMap.c.

◆ nInputs

int Sbm_Man_t_::nInputs

Definition at line 44 of file giaSatMap.c.

◆ pSat

sat_solver* Sbm_Man_t_::pSat

Definition at line 39 of file giaSatMap.c.

◆ vArrs

Vec_Int_t* Sbm_Man_t_::vArrs

Definition at line 56 of file giaSatMap.c.

◆ vAssump

Vec_Int_t* Sbm_Man_t_::vAssump

Definition at line 53 of file giaSatMap.c.

◆ vCardVars

Vec_Int_t* Sbm_Man_t_::vCardVars

Definition at line 40 of file giaSatMap.c.

◆ vCutAreas

Vec_Wrd_t* Sbm_Man_t_::vCutAreas

Definition at line 51 of file giaSatMap.c.

◆ vCutGates

Vec_Int_t* Sbm_Man_t_::vCutGates

Definition at line 50 of file giaSatMap.c.

◆ vCuts

Vec_Wec_t* Sbm_Man_t_::vCuts

Definition at line 47 of file giaSatMap.c.

◆ vDelays

Vec_Int_t* Sbm_Man_t_::vDelays

Definition at line 60 of file giaSatMap.c.

◆ vLit2Used

Vec_Int_t* Sbm_Man_t_::vLit2Used

Definition at line 59 of file giaSatMap.c.

◆ vObjCuts

Vec_Wec_t* Sbm_Man_t_::vObjCuts

Definition at line 48 of file giaSatMap.c.

◆ vPolar

Vec_Int_t* Sbm_Man_t_::vPolar

Definition at line 54 of file giaSatMap.c.

◆ vReason

Vec_Int_t* Sbm_Man_t_::vReason

Definition at line 61 of file giaSatMap.c.

◆ vReqs

Vec_Int_t* Sbm_Man_t_::vReqs

Definition at line 57 of file giaSatMap.c.

◆ vRoots

Vec_Int_t* Sbm_Man_t_::vRoots

Definition at line 46 of file giaSatMap.c.

◆ vSolCuts

Vec_Int_t* Sbm_Man_t_::vSolCuts

Definition at line 49 of file giaSatMap.c.

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