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

#include <reo.h>

Collaboration diagram for _reo_plane:
Collaboration graph
[legend]

Public Attributes

int fSifted
 
int statsNodes
 
int statsWidth
 
double statsApl
 
double statsCost
 
double statsCostAbove
 
double statsCostBelow
 
reo_unit * pHead
 

Detailed Description

Definition at line 80 of file reo.h.

Member Data Documentation

◆ fSifted

int _reo_plane::fSifted

Definition at line 82 of file reo.h.

◆ pHead

reo_unit* _reo_plane::pHead

Definition at line 90 of file reo.h.

◆ statsApl

double _reo_plane::statsApl

Definition at line 85 of file reo.h.

◆ statsCost

double _reo_plane::statsCost

Definition at line 86 of file reo.h.

◆ statsCostAbove

double _reo_plane::statsCostAbove

Definition at line 87 of file reo.h.

◆ statsCostBelow

double _reo_plane::statsCostBelow

Definition at line 88 of file reo.h.

◆ statsNodes

int _reo_plane::statsNodes

Definition at line 83 of file reo.h.

◆ statsWidth

int _reo_plane::statsWidth

Definition at line 84 of file reo.h.

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