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

#include <luckyInt.h>

Public Attributes

int nVars
 
int nWords
 
int nFuncs
 
word ** pFuncs
 

Detailed Description

Definition at line 65 of file luckyInt.h.

Member Data Documentation

◆ nFuncs

int Abc_TtStore_t::nFuncs

Definition at line 69 of file luckyInt.h.

◆ nVars

int Abc_TtStore_t::nVars

Definition at line 67 of file luckyInt.h.

◆ nWords

int Abc_TtStore_t::nWords

Definition at line 68 of file luckyInt.h.

◆ pFuncs

word** Abc_TtStore_t::pFuncs

Definition at line 70 of file luckyInt.h.

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