ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Dec_Man_t_ Struct Reference

#include <dec.h>

Public Attributes

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.

Member Data Documentation

◆ pMap

unsigned char * Dec_Man_t_::pMap

Definition at line 89 of file dec.h.

◆ pMvcMem

void * Dec_Man_t_::pMvcMem

Definition at line 82 of file dec.h.

◆ pPerms

char * Dec_Man_t_::pPerms

Definition at line 88 of file dec.h.

◆ pPhases

char * Dec_Man_t_::pPhases

Definition at line 87 of file dec.h.

◆ puCanons

unsigned short * Dec_Man_t_::puCanons

Definition at line 86 of file dec.h.

◆ vCubes

Vec_Int_t * Dec_Man_t_::vCubes

Definition at line 83 of file dec.h.

◆ vLits

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: