ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
deco.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  Dec_Edge_t_
 
struct  Dec_Node_t_
 
struct  Dec_Graph_t_
 
struct  Dec_Man_t_
 

Macros

#define Dec_GraphForEachLeaf(pGraph, pLeaf, i)
 ITERATORS ///.
 
#define Dec_GraphForEachNode(pGraph, pAnd, i)
 

Macro Definition Documentation

◆ Dec_GraphForEachLeaf

#define Dec_GraphForEachLeaf ( pGraph,
pLeaf,
i )
Value:
for ( i = 0; (i < (pGraph)->nLeaves) && (((pLeaf) = Dec_GraphNode(pGraph, i)), 1); i++ )

ITERATORS ///.

Definition at line 98 of file deco.h.

98#define Dec_GraphForEachLeaf( pGraph, pLeaf, i ) \
99 for ( i = 0; (i < (pGraph)->nLeaves) && (((pLeaf) = Dec_GraphNode(pGraph, i)), 1); i++ )

◆ Dec_GraphForEachNode

#define Dec_GraphForEachNode ( pGraph,
pAnd,
i )
Value:
for ( i = (pGraph)->nLeaves; (i < (pGraph)->nSize) && (((pAnd) = Dec_GraphNode(pGraph, i)), 1); i++ )

Definition at line 101 of file deco.h.

101#define Dec_GraphForEachNode( pGraph, pAnd, i ) \
102 for ( i = (pGraph)->nLeaves; (i < (pGraph)->nSize) && (((pAnd) = Dec_GraphNode(pGraph, i)), 1); i++ )