#include <deco.h>
Data Fields | |
void * | pMvcMem |
Vec_Int_t * | vCubes |
Vec_Int_t * | vLits |
unsigned short * | puCanons |
char * | pPhases |
char * | pPerms |
unsigned char * | pMap |
Definition at line 77 of file deco.h.
unsigned char * Dec_Man_t_::pMap |
void * Dec_Man_t_::pMvcMem |
char * Dec_Man_t_::pPerms |
char * Dec_Man_t_::pPhases |
unsigned short * Dec_Man_t_::puCanons |