src/bdd/dsd/dsdApi.c File Reference

#include "dsdInt.h"

Include dependency graph for dsdApi.c:

Go to the source code of this file.

Functions
Dsd_Type_t	Dsd_NodeReadType (Dsd_Node_t *p)
DdNode *	Dsd_NodeReadFunc (Dsd_Node_t *p)
DdNode *	Dsd_NodeReadSupp (Dsd_Node_t *p)
Dsd_Node_t **	Dsd_NodeReadDecs (Dsd_Node_t *p)
Dsd_Node_t *	Dsd_NodeReadDec (Dsd_Node_t *p, int i)
int	Dsd_NodeReadDecsNum (Dsd_Node_t *p)
int	Dsd_NodeReadMark (Dsd_Node_t *p)
void	Dsd_NodeSetMark (Dsd_Node_t *p, int Mark)
Dsd_Node_t *	Dsd_ManagerReadRoot (Dsd_Manager_t *pMan, int i)
Dsd_Node_t *	Dsd_ManagerReadInput (Dsd_Manager_t *pMan, int i)
Dsd_Node_t *	Dsd_ManagerReadConst1 (Dsd_Manager_t *pMan)
DdManager *	Dsd_ManagerReadDd (Dsd_Manager_t *pMan)

---

Function Documentation

Dsd_Node_t* Dsd_ManagerReadConst1

(

Dsd_Manager_t *

pMan

)

Definition at line 92 of file dsdApi.c.

{ return pMan->pConst1;    } 

DdManager* Dsd_ManagerReadDd

(

Dsd_Manager_t *

pMan

)

Definition at line 93 of file dsdApi.c.

{ return pMan->dd;         } 

Dsd_Node_t* Dsd_ManagerReadInput	(	Dsd_Manager_t *	pMan,
		int	i
	)

Definition at line 91 of file dsdApi.c.

{ return pMan->pInputs[i]; } 

Dsd_Node_t* Dsd_ManagerReadRoot	(	Dsd_Manager_t *	pMan,
		int	i
	)

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 []

Definition at line 90 of file dsdApi.c.

{ return pMan->pRoots[i];  } 

Dsd_Node_t* Dsd_NodeReadDec	(	Dsd_Node_t *	p,
		int	i
	)

Definition at line 54 of file dsdApi.c.

{ return p->pDecs[i]; } 

Dsd_Node_t** Dsd_NodeReadDecs

(

Dsd_Node_t *

p

)

Definition at line 53 of file dsdApi.c.

{ return p->pDecs;    } 

int Dsd_NodeReadDecsNum

(

Dsd_Node_t *

p

)

Definition at line 55 of file dsdApi.c.

{ return p->nDecs;    } 

DdNode* Dsd_NodeReadFunc

(

Dsd_Node_t *

p

)

Definition at line 51 of file dsdApi.c.

{ return p->G;        } 

int Dsd_NodeReadMark

(

Dsd_Node_t *

p

)

Definition at line 56 of file dsdApi.c.

{ return p->Mark;     } 

DdNode* Dsd_NodeReadSupp

(

Dsd_Node_t *

p

)

Definition at line 52 of file dsdApi.c.

{ return p->S;        } 

Dsd_Type_t Dsd_NodeReadType

(

Dsd_Node_t *

p

)

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

] 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 []

Definition at line 50 of file dsdApi.c.

{ return p->Type;     } 

void Dsd_NodeSetMark	(	Dsd_Node_t *	p,
		int	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 []

Definition at line 74 of file dsdApi.c.

{ p->Mark = Mark;     }