#include <pla.h>

Collaboration diagram for Pla_Man_t_:

[legend]

Public Attributes
char *	pName

char *	pSpec

Pla_File_t	Type

int	nIns

int	nOuts

int	nInWords

int	nOutWords

Vec_Int_t	vCubes

Vec_Int_t	vHashes

Vec_Wrd_t	vInBits

Vec_Wrd_t	vOutBits

Vec_Wec_t	vCubeLits

Vec_Wec_t	vOccurs

Vec_Int_t	vDivs

Detailed Description

Definition at line 64 of file pla.h.

Member Data Documentation

◆ nIns

int Pla_Man_t_::nIns

Definition at line 69 of file pla.h.

◆ nInWords

int Pla_Man_t_::nInWords

Definition at line 71 of file pla.h.

◆ nOuts

int Pla_Man_t_::nOuts

Definition at line 70 of file pla.h.

◆ nOutWords

int Pla_Man_t_::nOutWords

Definition at line 72 of file pla.h.

◆ pName

char* Pla_Man_t_::pName

Definition at line 66 of file pla.h.

◆ pSpec

char* Pla_Man_t_::pSpec

Definition at line 67 of file pla.h.

◆ Type

Pla_File_t Pla_Man_t_::Type

Definition at line 68 of file pla.h.

◆ vCubeLits

Vec_Wec_t Pla_Man_t_::vCubeLits

Definition at line 77 of file pla.h.

◆ vCubes

Vec_Int_t Pla_Man_t_::vCubes

Definition at line 73 of file pla.h.

◆ vDivs

Vec_Int_t Pla_Man_t_::vDivs

Definition at line 79 of file pla.h.

◆ vHashes

Vec_Int_t Pla_Man_t_::vHashes

Definition at line 74 of file pla.h.

◆ vInBits

Vec_Wrd_t Pla_Man_t_::vInBits

Definition at line 75 of file pla.h.

◆ vOccurs

Vec_Wec_t Pla_Man_t_::vOccurs

Definition at line 78 of file pla.h.

◆ vOutBits

Vec_Wrd_t Pla_Man_t_::vOutBits

Definition at line 76 of file pla.h.

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

src/base/pla/pla.h

Public Attributes