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

#include <kit.h>

Public Attributes

int nLits
 
int nCubes
 
unsigned * pCubes
 

Detailed Description

Definition at line 55 of file kit.h.

Member Data Documentation

◆ nCubes

int Kit_Sop_t_::nCubes

Definition at line 58 of file kit.h.

◆ nLits

int Kit_Sop_t_::nLits

Definition at line 57 of file kit.h.

◆ pCubes

unsigned* Kit_Sop_t_::pCubes

Definition at line 59 of file kit.h.


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