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

#include <kit.h>

Public Attributes

int nVars
 
int nWords
 
Vec_Ptr_t * vTtElems
 
Vec_Ptr_t * vTtNodes
 
CloudManager * dd
 
Vec_Ptr_t * vTtBdds
 
Vec_Int_t * vNodes
 

Detailed Description

Definition at line 138 of file kit.h.

Member Data Documentation

◆ dd

CloudManager* Kit_DsdMan_t_::dd

Definition at line 145 of file kit.h.

◆ nVars

int Kit_DsdMan_t_::nVars

Definition at line 140 of file kit.h.

◆ nWords

int Kit_DsdMan_t_::nWords

Definition at line 141 of file kit.h.

◆ vNodes

Vec_Int_t* Kit_DsdMan_t_::vNodes

Definition at line 147 of file kit.h.

◆ vTtBdds

Vec_Ptr_t* Kit_DsdMan_t_::vTtBdds

Definition at line 146 of file kit.h.

◆ vTtElems

Vec_Ptr_t* Kit_DsdMan_t_::vTtElems

Definition at line 142 of file kit.h.

◆ vTtNodes

Vec_Ptr_t* Kit_DsdMan_t_::vTtNodes

Definition at line 143 of file kit.h.

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