ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Ssw_Sem_t_ Struct Reference

Public Attributes

int nConfMaxStart
 
int nConfMax
 
int nFramesSweep
 
int fVerbose
 
Ssw_Man_t * pMan
 
Vec_Ptr_t * vTargets
 
int nPatternsAlloc
 
int nPatterns
 
Vec_Ptr_t * vPatterns
 
Vec_Int_t * vHistory
 

Detailed Description

Definition at line 32 of file sswSemi.c.

Member Data Documentation

◆ fVerbose

int Ssw_Sem_t_::fVerbose

Definition at line 38 of file sswSemi.c.

◆ nConfMax

int Ssw_Sem_t_::nConfMax

Definition at line 36 of file sswSemi.c.

◆ nConfMaxStart

int Ssw_Sem_t_::nConfMaxStart

Definition at line 35 of file sswSemi.c.

◆ nFramesSweep

int Ssw_Sem_t_::nFramesSweep

Definition at line 37 of file sswSemi.c.

◆ nPatterns

int Ssw_Sem_t_::nPatterns

Definition at line 44 of file sswSemi.c.

◆ nPatternsAlloc

int Ssw_Sem_t_::nPatternsAlloc

Definition at line 43 of file sswSemi.c.

◆ pMan

Ssw_Man_t* Ssw_Sem_t_::pMan

Definition at line 40 of file sswSemi.c.

◆ vHistory

Vec_Int_t* Ssw_Sem_t_::vHistory

Definition at line 46 of file sswSemi.c.

◆ vPatterns

Vec_Ptr_t* Ssw_Sem_t_::vPatterns

Definition at line 45 of file sswSemi.c.

◆ vTargets

Vec_Ptr_t* Ssw_Sem_t_::vTargets

Definition at line 41 of file sswSemi.c.

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