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

#include <lpkInt.h>

Public Attributes

Vec_Ptr_tvNodes
 
unsigned Id: 7
 
unsigned nVars: 5
 
unsigned nLutK: 4
 
unsigned nAreaLim: 14
 
unsigned fSupports: 1
 
unsigned fMark: 1
 
unsigned uSupp
 
unsigned puSupps [32]
 
unsigned nDelayLim
 
int pDelays [16]
 
char pFanins [16]
 
unsigned pTruth [0]
 

Detailed Description

Definition at line 145 of file lpkInt.h.

Member Data Documentation

◆ fMark

unsigned Lpk_Fun_t_::fMark

Definition at line 153 of file lpkInt.h.

◆ fSupports

unsigned Lpk_Fun_t_::fSupports

Definition at line 152 of file lpkInt.h.

◆ Id

unsigned Lpk_Fun_t_::Id

Definition at line 148 of file lpkInt.h.

◆ nAreaLim

unsigned Lpk_Fun_t_::nAreaLim

Definition at line 151 of file lpkInt.h.

◆ nDelayLim

unsigned Lpk_Fun_t_::nDelayLim

Definition at line 156 of file lpkInt.h.

◆ nLutK

unsigned Lpk_Fun_t_::nLutK

Definition at line 150 of file lpkInt.h.

◆ nVars

unsigned Lpk_Fun_t_::nVars

Definition at line 149 of file lpkInt.h.

◆ pDelays

int Lpk_Fun_t_::pDelays[16]

Definition at line 157 of file lpkInt.h.

◆ pFanins

char Lpk_Fun_t_::pFanins[16]

Definition at line 158 of file lpkInt.h.

◆ pTruth

unsigned Lpk_Fun_t_::pTruth[0]

Definition at line 159 of file lpkInt.h.

◆ puSupps

unsigned Lpk_Fun_t_::puSupps[32]

Definition at line 155 of file lpkInt.h.

◆ uSupp

unsigned Lpk_Fun_t_::uSupp

Definition at line 154 of file lpkInt.h.

◆ vNodes

Vec_Ptr_t* Lpk_Fun_t_::vNodes

Definition at line 147 of file lpkInt.h.


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