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

#include <mapperInt.h>

Collaboration diagram for Map_CutStruct_t_:
Collaboration graph
[legend]

Public Attributes

Map_Cut_t * pNext
 
Map_Cut_t * pOne
 
Map_Cut_t * pTwo
 
Map_Node_t * ppLeaves [6]
 
unsigned uTruth
 
char nLeaves
 
char nVolume
 
char fMark
 
char Phase
 
Map_Match_t M [2]
 

Detailed Description

Definition at line 264 of file mapperInt.h.

Member Data Documentation

◆ fMark

char Map_CutStruct_t_::fMark

Definition at line 273 of file mapperInt.h.

◆ M

Map_Match_t Map_CutStruct_t_::M[2]

Definition at line 275 of file mapperInt.h.

◆ nLeaves

char Map_CutStruct_t_::nLeaves

Definition at line 271 of file mapperInt.h.

◆ nVolume

char Map_CutStruct_t_::nVolume

Definition at line 272 of file mapperInt.h.

◆ Phase

char Map_CutStruct_t_::Phase

Definition at line 274 of file mapperInt.h.

◆ pNext

Map_Cut_t* Map_CutStruct_t_::pNext

Definition at line 266 of file mapperInt.h.

◆ pOne

Map_Cut_t* Map_CutStruct_t_::pOne

Definition at line 267 of file mapperInt.h.

◆ ppLeaves

Map_Node_t* Map_CutStruct_t_::ppLeaves[6]

Definition at line 269 of file mapperInt.h.

◆ pTwo

Map_Cut_t* Map_CutStruct_t_::pTwo

Definition at line 268 of file mapperInt.h.

◆ uTruth

unsigned Map_CutStruct_t_::uTruth

Definition at line 270 of file mapperInt.h.

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