Detailed Description

Definition at line 33 of file giaSupMin.c.

Field Documentation

int Gia_ManSup_t_::iCare

Definition at line 42 of file giaSupMin.c.

int Gia_ManSup_t_::iData

Definition at line 41 of file giaSupMin.c.

int Gia_ManSup_t_::nVarsMax

Definition at line 35 of file giaSupMin.c.

int Gia_ManSup_t_::nWordsMax

Definition at line 36 of file giaSupMin.c.

Gia_Man_t* Gia_ManSup_t_::pGia

Definition at line 40 of file giaSupMin.c.

unsigned* Gia_ManSup_t_::pTruthIn

Definition at line 45 of file giaSupMin.c.

unsigned* Gia_ManSup_t_::pTruthOut

Definition at line 46 of file giaSupMin.c.

Vec_Int_t* Gia_ManSup_t_::vConeCare

Definition at line 43 of file giaSupMin.c.

Vec_Int_t* Gia_ManSup_t_::vConeData

Definition at line 44 of file giaSupMin.c.

Vec_Ptr_t* Gia_ManSup_t_::vTruthNodes

Definition at line 38 of file giaSupMin.c.

Vec_Ptr_t* Gia_ManSup_t_::vTruthVars

Definition at line 37 of file giaSupMin.c.

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