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

Public Attributes

word Sign
 
int iFunc
 
int Cost
 
int CostLev
 
unsigned nTreeLeaves: 9
 
unsigned nSlowLeaves: 9
 
unsigned nTopLeaves: 10
 
unsigned nLeaves: 4
 
int pLeaves [SBD_MAX_CUTSIZE]
 

Detailed Description

Definition at line 37 of file sbdCut.c.

Member Data Documentation

◆ Cost

int Sbd_Cut_t_::Cost

Definition at line 41 of file sbdCut.c.

◆ CostLev

int Sbd_Cut_t_::CostLev

Definition at line 42 of file sbdCut.c.

◆ iFunc

int Sbd_Cut_t_::iFunc

Definition at line 40 of file sbdCut.c.

◆ nLeaves

unsigned Sbd_Cut_t_::nLeaves

Definition at line 46 of file sbdCut.c.

◆ nSlowLeaves

unsigned Sbd_Cut_t_::nSlowLeaves

Definition at line 44 of file sbdCut.c.

◆ nTopLeaves

unsigned Sbd_Cut_t_::nTopLeaves

Definition at line 45 of file sbdCut.c.

◆ nTreeLeaves

unsigned Sbd_Cut_t_::nTreeLeaves

Definition at line 43 of file sbdCut.c.

◆ pLeaves

int Sbd_Cut_t_::pLeaves

Definition at line 47 of file sbdCut.c.

◆ Sign

word Sbd_Cut_t_::Sign

Definition at line 39 of file sbdCut.c.

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