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

#include <lpkInt.h>

Public Attributes

int nBSVars
 
unsigned BSVars
 
int nCofVars
 
char pCofVars [4]
 
int nSuppSizeS
 
int nSuppSizeL
 
int DelayEst
 
int AreaEst
 
int Variable
 
int Polarity
 

Detailed Description

Definition at line 164 of file lpkInt.h.

Member Data Documentation

◆ AreaEst

int Lpk_Res_t_::AreaEst

Definition at line 173 of file lpkInt.h.

◆ BSVars

unsigned Lpk_Res_t_::BSVars

Definition at line 167 of file lpkInt.h.

◆ DelayEst

int Lpk_Res_t_::DelayEst

Definition at line 172 of file lpkInt.h.

◆ nBSVars

int Lpk_Res_t_::nBSVars

Definition at line 166 of file lpkInt.h.

◆ nCofVars

int Lpk_Res_t_::nCofVars

Definition at line 168 of file lpkInt.h.

◆ nSuppSizeL

int Lpk_Res_t_::nSuppSizeL

Definition at line 171 of file lpkInt.h.

◆ nSuppSizeS

int Lpk_Res_t_::nSuppSizeS

Definition at line 170 of file lpkInt.h.

◆ pCofVars

char Lpk_Res_t_::pCofVars[4]

Definition at line 169 of file lpkInt.h.

◆ Polarity

int Lpk_Res_t_::Polarity

Definition at line 175 of file lpkInt.h.

◆ Variable

int Lpk_Res_t_::Variable

Definition at line 174 of file lpkInt.h.


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