Cla_Man_t_ Struct Reference

Data Fields
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.

Field Documentation

int Cla_Man_t_::nSatVarsTestBeg

Definition at line 53 of file fraClau.c.

int Cla_Man_t_::nSatVarsTestCur

Definition at line 54 of file fraClau.c.

int* Cla_Man_t_::pMapCsMainToCsTest

Definition at line 63 of file fraClau.c.

int* Cla_Man_t_::pMapCsTestToCsMain

Definition at line 64 of file fraClau.c.

int* Cla_Man_t_::pMapCsTestToNsBmc

Definition at line 66 of file fraClau.c.

int* Cla_Man_t_::pMapCsTestToNsTest

Definition at line 65 of file fraClau.c.

sat_solver* Cla_Man_t_::pSatBmc

Definition at line 44 of file fraClau.c.

sat_solver* Cla_Man_t_::pSatMain

Definition at line 42 of file fraClau.c.

sat_solver* Cla_Man_t_::pSatTest

Definition at line 43 of file fraClau.c.

Vec_Int_t* Cla_Man_t_::vCexAssm

Definition at line 60 of file fraClau.c.

Vec_Int_t* Cla_Man_t_::vCexBase

Definition at line 59 of file fraClau.c.

Vec_Int_t* Cla_Man_t_::vCexBmc

Definition at line 61 of file fraClau.c.

Vec_Int_t* Cla_Man_t_::vCexMain

Definition at line 57 of file fraClau.c.

Vec_Int_t* Cla_Man_t_::vCexMain0

Definition at line 56 of file fraClau.c.

Vec_Int_t* Cla_Man_t_::vCexTest

Definition at line 58 of file fraClau.c.

Vec_Int_t* Cla_Man_t_::vSatVarsBmcNs

Definition at line 51 of file fraClau.c.

Vec_Int_t* Cla_Man_t_::vSatVarsMainCs

Definition at line 48 of file fraClau.c.

Vec_Int_t* Cla_Man_t_::vSatVarsTestCs

Definition at line 49 of file fraClau.c.

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:

• fraClau.c