Tru_Man_t_ Struct Reference

DECLARATIONS ///. More...

Public Attributes
int	nVars
int	nWords
int	nEntrySize
int	nTableSize
int *	pTable
Vec_Set_t *	pMem
word *	pZero
int	hIthVars [16]
int	nTableLookups

Detailed Description

DECLARATIONS ///.

CFile****************************************************************

FileName [satTruth.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [SAT solver.]

Synopsis [Truth table computation package.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id

satTruth.c,v 1.4 2005/09/16 22:55:03 casem Exp

] DECLARATIONS ///

Definition at line 35 of file satTruth.c.

Member Data Documentation

hIthVars

int Tru_Man_t_::hIthVars[16]

Definition at line 44 of file satTruth.c.

nEntrySize

int Tru_Man_t_::nEntrySize

Definition at line 39 of file satTruth.c.

nTableLookups

int Tru_Man_t_::nTableLookups

Definition at line 45 of file satTruth.c.

nTableSize

int Tru_Man_t_::nTableSize

Definition at line 40 of file satTruth.c.

nVars

int Tru_Man_t_::nVars

Definition at line 37 of file satTruth.c.

nWords

int Tru_Man_t_::nWords

Definition at line 38 of file satTruth.c.

pMem

Vec_Set_t* Tru_Man_t_::pMem

Definition at line 42 of file satTruth.c.

pTable

int* Tru_Man_t_::pTable

Definition at line 41 of file satTruth.c.

pZero

word* Tru_Man_t_::pZero

Definition at line 43 of file satTruth.c.

---

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

• src/sat/bsat/satTruth.c