ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Wla_Man_t_ Struct Reference

#include <wlc.h>

Collaboration diagram for Wla_Man_t_:

Public Attributes

Wlc_Ntk_tp
 
Wlc_Par_tpPars
 
Vec_Vec_tvClauses
 
Vec_Int_tvBlacks
 
Vec_Int_tvSignals
 
Abc_Cex_tpCex
 
Gia_Man_tpGia
 
Vec_Bit_tvUnmark
 
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: