ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Rwt_Node_t_ Struct Reference

#include <rwt.h>

Collaboration diagram for Rwt_Node_t_:

Public Attributes

int Id
 
int TravId
 
unsigned uTruth: 16
 
unsigned Volume: 8
 
unsigned Level: 6
 
unsigned fUsed: 1
 
unsigned fExor: 1
 
Rwt_Node_tp0
 
Rwt_Node_tp1
 
Rwt_Node_tpNext
 

Detailed Description

Definition at line 107 of file rwt.h.

Member Data Documentation

◆ fExor

unsigned Rwt_Node_t_::fExor

Definition at line 115 of file rwt.h.

◆ fUsed

unsigned Rwt_Node_t_::fUsed

Definition at line 114 of file rwt.h.

◆ Id

int Rwt_Node_t_::Id

Definition at line 109 of file rwt.h.

◆ Level

unsigned Rwt_Node_t_::Level

Definition at line 113 of file rwt.h.

◆ p0

Rwt_Node_t* Rwt_Node_t_::p0

Definition at line 116 of file rwt.h.

◆ p1

Rwt_Node_t* Rwt_Node_t_::p1

Definition at line 117 of file rwt.h.

◆ pNext

Rwt_Node_t* Rwt_Node_t_::pNext

Definition at line 118 of file rwt.h.

◆ TravId

int Rwt_Node_t_::TravId

Definition at line 110 of file rwt.h.

◆ uTruth

unsigned Rwt_Node_t_::uTruth

Definition at line 111 of file rwt.h.

◆ Volume

unsigned Rwt_Node_t_::Volume

Definition at line 112 of file rwt.h.


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