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

Public Attributes

sat_solver * pSatMain
 
sat_solver * pSatTest
 
sat_solver * pSatBmc
 
Vec_Int_t * vSatVarsMainCs
 
Vec_Int_t * vSatVarsTestCs
 
Vec_Int_t * vSatVarsTestNs
 
Vec_Int_t * vSatVarsBmcNs
 
int nSatVarsTestBeg
 
int nSatVarsTestCur
 
Vec_Int_t * vCexMain0
 
Vec_Int_t * vCexMain
 
Vec_Int_t * vCexTest
 
Vec_Int_t * vCexBase
 
Vec_Int_t * vCexAssm
 
Vec_Int_t * vCexBmc
 
int * pMapCsMainToCsTest
 
int * pMapCsTestToCsMain
 
int * pMapCsTestToNsTest
 
int * pMapCsTestToNsBmc
 

Detailed Description

Definition at line 39 of file fraClau.c.

Member Data Documentation

◆ nSatVarsTestBeg

int Cla_Man_t_::nSatVarsTestBeg

Definition at line 53 of file fraClau.c.

◆ nSatVarsTestCur

int Cla_Man_t_::nSatVarsTestCur

Definition at line 54 of file fraClau.c.

◆ pMapCsMainToCsTest

int* Cla_Man_t_::pMapCsMainToCsTest

Definition at line 63 of file fraClau.c.

◆ pMapCsTestToCsMain

int* Cla_Man_t_::pMapCsTestToCsMain

Definition at line 64 of file fraClau.c.

◆ pMapCsTestToNsBmc

int* Cla_Man_t_::pMapCsTestToNsBmc

Definition at line 66 of file fraClau.c.

◆ pMapCsTestToNsTest

int* Cla_Man_t_::pMapCsTestToNsTest

Definition at line 65 of file fraClau.c.

◆ pSatBmc

sat_solver* Cla_Man_t_::pSatBmc

Definition at line 44 of file fraClau.c.

◆ pSatMain

sat_solver* Cla_Man_t_::pSatMain

Definition at line 42 of file fraClau.c.

◆ pSatTest

sat_solver* Cla_Man_t_::pSatTest

Definition at line 43 of file fraClau.c.

◆ vCexAssm

Vec_Int_t* Cla_Man_t_::vCexAssm

Definition at line 60 of file fraClau.c.

◆ vCexBase

Vec_Int_t* Cla_Man_t_::vCexBase

Definition at line 59 of file fraClau.c.

◆ vCexBmc

Vec_Int_t* Cla_Man_t_::vCexBmc

Definition at line 61 of file fraClau.c.

◆ vCexMain

Vec_Int_t* Cla_Man_t_::vCexMain

Definition at line 57 of file fraClau.c.

◆ vCexMain0

Vec_Int_t* Cla_Man_t_::vCexMain0

Definition at line 56 of file fraClau.c.

◆ vCexTest

Vec_Int_t* Cla_Man_t_::vCexTest

Definition at line 58 of file fraClau.c.

◆ vSatVarsBmcNs

Vec_Int_t* Cla_Man_t_::vSatVarsBmcNs

Definition at line 51 of file fraClau.c.

◆ vSatVarsMainCs

Vec_Int_t* Cla_Man_t_::vSatVarsMainCs

Definition at line 48 of file fraClau.c.

◆ vSatVarsTestCs

Vec_Int_t* Cla_Man_t_::vSatVarsTestCs

Definition at line 49 of file fraClau.c.

◆ vSatVarsTestNs

Vec_Int_t* Cla_Man_t_::vSatVarsTestNs

Definition at line 50 of file fraClau.c.

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