dsdApi.c File Reference

#include "dsdInt.h"

Include dependency graph for dsdApi.c:

Go to the source code of this file.

Functions
ABC_NAMESPACE_IMPL_START Dsd_Type_t	Dsd_NodeReadType (Dsd_Node_t *p)
	DECLARATIONS ///.
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)
word	Dsd_NodeReadMark (Dsd_Node_t *p)
void	Dsd_NodeSetMark (Dsd_Node_t *p, word 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_ManagerReadConst1()

Dsd_Node_t * Dsd_ManagerReadConst1

(

Dsd_Manager_t *

pMan

)

Definition at line 95 of file dsdApi.c.

{ return pMan->pConst1;    } 

Dsd_ManagerReadDd()

DdManager * Dsd_ManagerReadDd

(

Dsd_Manager_t *

pMan

)

Definition at line 96 of file dsdApi.c.

{ return pMan->dd;         } 

Dsd_ManagerReadInput()

Dsd_Node_t * Dsd_ManagerReadInput	(	Dsd_Manager_t *	pMan,
		int	i )

Definition at line 94 of file dsdApi.c.

{ return pMan->pInputs[i]; } 

Dsd_ManagerReadRoot()

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 93 of file dsdApi.c.

{ return pMan->pRoots[i];  } 

Dsd_NodeReadDec()

Dsd_Node_t * Dsd_NodeReadDec	(	Dsd_Node_t *	p,
		int	i )

Definition at line 57 of file dsdApi.c.

{ return p->pDecs[i]; } 

Dsd_NodeReadDecs()

Dsd_Node_t ** Dsd_NodeReadDecs

(

Dsd_Node_t *

p

)

Definition at line 56 of file dsdApi.c.

{ return p->pDecs;    } 

Dsd_NodeReadDecsNum()

int Dsd_NodeReadDecsNum

(

Dsd_Node_t *

p

)

Definition at line 58 of file dsdApi.c.

{ return p->nDecs;    } 

Dsd_NodeReadFunc()

DdNode * Dsd_NodeReadFunc

(

Dsd_Node_t *

p

)

Definition at line 54 of file dsdApi.c.

{ return p->G;        } 

Dsd_NodeReadMark()

word Dsd_NodeReadMark

(

Dsd_Node_t *

p

)

Definition at line 59 of file dsdApi.c.

{ return p->Mark;     } 

Dsd_NodeReadSupp()

DdNode * Dsd_NodeReadSupp

(

Dsd_Node_t *

p

)

Definition at line 55 of file dsdApi.c.

{ return p->S;        } 

Dsd_NodeReadType()

ABC_NAMESPACE_IMPL_START Dsd_Type_t Dsd_NodeReadType

(

Dsd_Node_t *

p

)

DECLARATIONS ///.

FUNCTION DEFINITIONS ///.

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

] 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 53 of file dsdApi.c.

{ return p->Type;     } 

Dsd_NodeSetMark()

void Dsd_NodeSetMark	(	Dsd_Node_t *	p,
		word	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 77 of file dsdApi.c.

{ p->Mark = Mark;     }