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

#include <covInt.h>

Collaboration diagram for Min_Cube_t_:
Collaboration graph
[legend]

Public Attributes

Min_Cube_t * pNext
 
unsigned nVars: 10
 
unsigned nWords: 12
 
unsigned nLits: 10
 
unsigned uData [1]
 

Detailed Description

Definition at line 54 of file covInt.h.

Member Data Documentation

◆ nLits

unsigned Min_Cube_t_::nLits

Definition at line 59 of file covInt.h.

◆ nVars

unsigned Min_Cube_t_::nVars

Definition at line 57 of file covInt.h.

◆ nWords

unsigned Min_Cube_t_::nWords

Definition at line 58 of file covInt.h.

◆ pNext

Min_Cube_t* Min_Cube_t_::pNext

Definition at line 56 of file covInt.h.

◆ uData

unsigned Min_Cube_t_::uData[1]

Definition at line 60 of file covInt.h.

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