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

#include <darInt.h>

Public Attributes

unsigned uSign
 
unsigned uTruth: 16
 
unsigned Value: 11
 
unsigned fBest: 1
 
unsigned fUsed: 1
 
unsigned nLeaves: 3
 
int pLeaves [4]
 

Detailed Description

Definition at line 55 of file darInt.h.

Member Data Documentation

◆ fBest

unsigned Dar_Cut_t_::fBest

Definition at line 60 of file darInt.h.

◆ fUsed

unsigned Dar_Cut_t_::fUsed

Definition at line 61 of file darInt.h.

◆ nLeaves

unsigned Dar_Cut_t_::nLeaves

Definition at line 62 of file darInt.h.

◆ pLeaves

int Dar_Cut_t_::pLeaves[4]

Definition at line 63 of file darInt.h.

◆ uSign

unsigned Dar_Cut_t_::uSign

Definition at line 57 of file darInt.h.

◆ uTruth

unsigned Dar_Cut_t_::uTruth

Definition at line 58 of file darInt.h.

◆ Value

unsigned Dar_Cut_t_::Value

Definition at line 59 of file darInt.h.

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