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

#include <rwr.h>

Collaboration diagram for Rwr_Node_t_:

Public Attributes

int Id
 
int TravId
 
short nScore
 
short nGain
 
short nAdded
 
unsigned uTruth: 16
 
unsigned Volume: 8
 
unsigned Level: 6
 
unsigned fUsed: 1
 
unsigned fExor: 1
 
Rwr_Node_tp0
 
Rwr_Node_tp1
 
Rwr_Node_tpNext
 

Detailed Description

Definition at line 98 of file rwr.h.

Member Data Documentation

◆ fExor

unsigned Rwr_Node_t_::fExor

Definition at line 109 of file rwr.h.

◆ fUsed

unsigned Rwr_Node_t_::fUsed

Definition at line 108 of file rwr.h.

◆ Id

int Rwr_Node_t_::Id

Definition at line 100 of file rwr.h.

◆ Level

unsigned Rwr_Node_t_::Level

Definition at line 107 of file rwr.h.

◆ nAdded

short Rwr_Node_t_::nAdded

Definition at line 104 of file rwr.h.

◆ nGain

short Rwr_Node_t_::nGain

Definition at line 103 of file rwr.h.

◆ nScore

short Rwr_Node_t_::nScore

Definition at line 102 of file rwr.h.

◆ p0

Rwr_Node_t* Rwr_Node_t_::p0

Definition at line 110 of file rwr.h.

◆ p1

Rwr_Node_t* Rwr_Node_t_::p1

Definition at line 111 of file rwr.h.

◆ pNext

Rwr_Node_t* Rwr_Node_t_::pNext

Definition at line 112 of file rwr.h.

◆ TravId

int Rwr_Node_t_::TravId

Definition at line 101 of file rwr.h.

◆ uTruth

unsigned Rwr_Node_t_::uTruth

Definition at line 105 of file rwr.h.

◆ Volume

unsigned Rwr_Node_t_::Volume

Definition at line 106 of file rwr.h.


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