abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Lpk_Res_t_ Struct Reference

#include <lpkInt.h>

Data Fields

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 163 of file lpkInt.h.

Field Documentation

int Lpk_Res_t_::AreaEst

Definition at line 172 of file lpkInt.h.

unsigned Lpk_Res_t_::BSVars

Definition at line 166 of file lpkInt.h.

int Lpk_Res_t_::DelayEst

Definition at line 171 of file lpkInt.h.

int Lpk_Res_t_::nBSVars

Definition at line 165 of file lpkInt.h.

int Lpk_Res_t_::nCofVars

Definition at line 167 of file lpkInt.h.

int Lpk_Res_t_::nSuppSizeL

Definition at line 170 of file lpkInt.h.

int Lpk_Res_t_::nSuppSizeS

Definition at line 169 of file lpkInt.h.

char Lpk_Res_t_::pCofVars[4]

Definition at line 168 of file lpkInt.h.

int Lpk_Res_t_::Polarity

Definition at line 174 of file lpkInt.h.

int Lpk_Res_t_::Variable

Definition at line 173 of file lpkInt.h.


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