summaryrefslogtreecommitdiffstats
path: root/src/bdd/dsd/dsdApi.c
blob: 181dfb281cb496bef01e481af499ab84fd8a4a7b (plain)
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
98
99
100
101
102
/**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"

ABC_NAMESPACE_IMPL_START

 
////////////////////////////////////////////////////////////////////////
///                        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                            ///
////////////////////////////////////////////////////////////////////////
ABC_NAMESPACE_IMPL_END