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

#include <mpmInt.h>

Public Attributes

int nVars
 
int nAnds
 
int nClauses
 
word uTruth
 
char * pStr
 

Detailed Description

Definition at line 85 of file mpmInt.h.

Member Data Documentation

◆ nAnds

int Mpm_Dsd_t_::nAnds

Definition at line 88 of file mpmInt.h.

◆ nClauses

int Mpm_Dsd_t_::nClauses

Definition at line 89 of file mpmInt.h.

◆ nVars

int Mpm_Dsd_t_::nVars

Definition at line 87 of file mpmInt.h.

◆ pStr

char* Mpm_Dsd_t_::pStr

Definition at line 91 of file mpmInt.h.

◆ uTruth

word Mpm_Dsd_t_::uTruth

Definition at line 90 of file mpmInt.h.

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