#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:

src/opt/lpk/lpkInt.h

Public Attributes