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

Public Attributes

int nLastLevel
 
int nWords
 
Vec_Mem_t * vTtMem [TT_MAX_LEVELS]
 
Vec_Int_t * vRepres [TT_MAX_LEVELS]
 
int vTruthId [TT_MAX_LEVELS]
 
Vec_Int_t * vPhase
 

Detailed Description

Definition at line 1245 of file dauCanon.c.

Member Data Documentation

◆ nLastLevel

int Abc_TtHieMan_t_::nLastLevel

Definition at line 1247 of file dauCanon.c.

◆ nWords

int Abc_TtHieMan_t_::nWords

Definition at line 1247 of file dauCanon.c.

◆ vPhase

Vec_Int_t* Abc_TtHieMan_t_::vPhase

Definition at line 1252 of file dauCanon.c.

◆ vRepres

Vec_Int_t* Abc_TtHieMan_t_::vRepres[TT_MAX_LEVELS]

Definition at line 1249 of file dauCanon.c.

◆ vTruthId

int Abc_TtHieMan_t_::vTruthId[TT_MAX_LEVELS]

Definition at line 1250 of file dauCanon.c.

◆ vTtMem

Vec_Mem_t* Abc_TtHieMan_t_::vTtMem[TT_MAX_LEVELS]

Definition at line 1248 of file dauCanon.c.

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