#include <wlc.h>

Collaboration diagram for Wla_Man_t_:

[legend]

Public Attributes
Wlc_Ntk_t *	p

Wlc_Par_t *	pPars

Vec_Vec_t *	vClauses

Vec_Int_t *	vBlacks

Vec_Int_t *	vSignals

Abc_Cex_t *	pCex

Gia_Man_t *	pGia

Vec_Bit_t *	vUnmark

void *	pPdrPars

void *	pThread

int	iCexFrame

int	fNewAbs

int	nIters

int	nTotalCla

int	nDisj

int	nNDisj

abctime	tPdr

abctime	tCbr

abctime	tPbr

Detailed Description

Definition at line 251 of file wlc.h.

Member Data Documentation

◆ fNewAbs

int Wla_Man_t_::fNewAbs

Definition at line 265 of file wlc.h.

◆ iCexFrame

int Wla_Man_t_::iCexFrame

Definition at line 264 of file wlc.h.

◆ nDisj

int Wla_Man_t_::nDisj

Definition at line 269 of file wlc.h.

◆ nIters

int Wla_Man_t_::nIters

Definition at line 267 of file wlc.h.

◆ nNDisj

int Wla_Man_t_::nNDisj

Definition at line 270 of file wlc.h.

◆ nTotalCla

int Wla_Man_t_::nTotalCla

Definition at line 268 of file wlc.h.

◆ p

Wlc_Ntk_t* Wla_Man_t_::p

Definition at line 253 of file wlc.h.

◆ pCex

Abc_Cex_t* Wla_Man_t_::pCex

Definition at line 258 of file wlc.h.

◆ pGia

Gia_Man_t* Wla_Man_t_::pGia

Definition at line 259 of file wlc.h.

◆ pPars

Wlc_Par_t* Wla_Man_t_::pPars

Definition at line 254 of file wlc.h.

◆ pPdrPars

void* Wla_Man_t_::pPdrPars

Definition at line 261 of file wlc.h.

◆ pThread

void* Wla_Man_t_::pThread

Definition at line 262 of file wlc.h.

◆ tCbr

abctime Wla_Man_t_::tCbr

Definition at line 273 of file wlc.h.

◆ tPbr

abctime Wla_Man_t_::tPbr

Definition at line 274 of file wlc.h.

◆ tPdr

abctime Wla_Man_t_::tPdr

Definition at line 272 of file wlc.h.

◆ vBlacks

Vec_Int_t* Wla_Man_t_::vBlacks

Definition at line 256 of file wlc.h.

◆ vClauses

Vec_Vec_t* Wla_Man_t_::vClauses

Definition at line 255 of file wlc.h.

◆ vSignals

Vec_Int_t* Wla_Man_t_::vSignals

Definition at line 257 of file wlc.h.

◆ vUnmark

Vec_Bit_t* Wla_Man_t_::vUnmark

Definition at line 260 of file wlc.h.

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

src/base/wlc/wlc.h

Public Attributes