abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Data Fields
Dec_Man_t_ Struct Reference

#include <dec.h>

Data Fields

void * pMvcMem
 
Vec_Int_t * vCubes
 
Vec_Int_t * vLits
 
unsigned short * puCanons
 
char * pPhases
 
char * pPerms
 
unsigned char * pMap
 

Detailed Description

Definition at line 80 of file dec.h.

Field Documentation

unsigned char * Dec_Man_t_::pMap

Definition at line 89 of file dec.h.

void * Dec_Man_t_::pMvcMem

Definition at line 82 of file dec.h.

char * Dec_Man_t_::pPerms

Definition at line 88 of file dec.h.

char * Dec_Man_t_::pPhases

Definition at line 87 of file dec.h.

unsigned short * Dec_Man_t_::puCanons

Definition at line 86 of file dec.h.

Vec_Int_t * Dec_Man_t_::vCubes

Definition at line 83 of file dec.h.

Vec_Int_t * Dec_Man_t_::vLits

Definition at line 84 of file dec.h.

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