1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
/**CFile****************************************************************
FileName [dsdApi.c]
PackageName [DSD: Disjoint-support decomposition package.]
Synopsis [Implementation of API functions.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 8.0. Started - September 22, 2003.]
Revision [$Id: dsdApi.c,v 1.0 2002/22/09 00:00:00 alanmi Exp $]
***********************************************************************/
#include "dsdInt.h"
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///
////////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////////
/// FUNCTION DEFINITIONS ///
////////////////////////////////////////////////////////////////////////
/**Function*************************************************************
Synopsis [APIs of the DSD node.]
Description [The node's type can be retrieved by calling
Dsd_NodeReadType(). The type is one of the following: constant 1 node,
the buffer (or the elementary variable), OR gate, EXOR gate, or
PRIME function (a non-DSD-decomposable function with more than two
inputs). The return value of Dsd_NodeReadFunc() is the global function
of the DSD node. The return value of Dsd_NodeReadSupp() is the support
of the global function of the DSD node. The array of DSD nodes
returned by Dsd_NodeReadDecs() is the array of decomposition nodes for
the formal inputs of the given node. The number of decomposition entries
returned by Dsd_NodeReadDecsNum() is the number of formal inputs.
The mark is explained below.]
SideEffects []
SeeAlso []
***********************************************************************/
Dsd_Type_t Dsd_NodeReadType( Dsd_Node_t * p ) { return p->Type; }
DdNode * Dsd_NodeReadFunc( Dsd_Node_t * p ) { return p->G; }
DdNode * Dsd_NodeReadSupp( Dsd_Node_t * p ) { return p->S; }
Dsd_Node_t ** Dsd_NodeReadDecs( Dsd_Node_t * p ) { return p->pDecs; }
Dsd_Node_t * Dsd_NodeReadDec ( Dsd_Node_t * p, int i ) { return p->pDecs[i]; }
int Dsd_NodeReadDecsNum( Dsd_Node_t * p ) { return p->nDecs; }
int Dsd_NodeReadMark( Dsd_Node_t * p ) { return p->Mark; }
/**Function*************************************************************
Synopsis [APIs of the DSD node.]
Description [This API allows the user to set the integer mark in the
given DSD node. The mark is guaranteed to persist as long as the
calls to the decomposition are not performed. In any case, the mark
is useful to associate the node with some temporary information, such
as its number in the DFS ordered list of the DSD nodes or its number in
the BLIF file that it being written.]
SideEffects []
SeeAlso []
***********************************************************************/
void Dsd_NodeSetMark( Dsd_Node_t * p, int Mark ){ p->Mark = Mark; }
/**Function*************************************************************
Synopsis [APIs of the DSD manager.]
Description [Allows the use to get hold of an individual leave of
the DSD tree (Dsd_ManagerReadInput) or an individual root of the
decomposition tree (Dsd_ManagerReadRoot). The root may have the
complemented attribute.]
SideEffects []
SeeAlso []
***********************************************************************/
Dsd_Node_t * Dsd_ManagerReadRoot( Dsd_Manager_t * pMan, int i ) { return pMan->pRoots[i]; }
Dsd_Node_t * Dsd_ManagerReadInput( Dsd_Manager_t * pMan, int i ) { return pMan->pInputs[i]; }
Dsd_Node_t * Dsd_ManagerReadConst1( Dsd_Manager_t * pMan ) { return pMan->pConst1; }
DdManager * Dsd_ManagerReadDd( Dsd_Manager_t * pMan ) { return pMan->dd; }
////////////////////////////////////////////////////////////////////////
/// END OF FILE ///
////////////////////////////////////////////////////////////////////////
|
