Main Page Namespace List Class Hierarchy Alphabetical List Compound List File List Namespace Members Compound Members File Members

ntr.h File Reference

#include "dddmp.h"
#include "bnet.h"

Include dependency graph for ntr.h:

Go to the source code of this file.

Compounds

struct NtrHeap

struct NtrHeapSlot

struct NtrOptions

struct NtrPartTR

Defines

#define PI_PS_FROM_FILE   0

#define PI_PS_DFS   1

#define PI_PS_GIVEN   2

#define NTR_IMAGE_MONO   0

#define NTR_IMAGE_PART   1

#define NTR_IMAGE_CLIP   2

#define NTR_IMAGE_DEPEND   3

#define NTR_UNDER_APPROX   0

#define NTR_OVER_APPROX   1

#define NTR_FROM_NEW   0

#define NTR_FROM_REACHED   1

#define NTR_FROM_RESTRICT   2

#define NTR_FROM_COMPACT   3

#define NTR_FROM_SQUEEZE   4

#define NTR_FROM_UNDERAPPROX   5

#define NTR_FROM_OVERAPPROX   6

#define NTR_GROUP_NONE   0

#define NTR_GROUP_DEFAULT   1

#define NTR_GROUP_FIXED   2

#define STRING_EQUAL(s1, s2)   (strcmp((s1),(s2)) == 0)

Typedefs

typedef NtrOptions NtrOptions

typedef NtrHeapSlot NtrHeapSlot

typedef NtrHeap NtrHeap

typedef NtrPartTR NtrPartTR

Functions

EXTERN int Ntr_buildDDs ARGS ((BnetNetwork *net, DdManager *dd, NtrOptions *option, BnetNetwork *net2))

EXTERN NtrPartTR *Ntr_buildTR ARGS ((DdManager *dd, BnetNetwork *net, NtrOptions *option, int image))

EXTERN DdNode *Ntr_TransitiveClosure ARGS ((DdManager *dd, NtrPartTR *TR, NtrOptions *option))

EXTERN int Ntr_Trav ARGS ((DdManager *dd, BnetNetwork *net, NtrOptions *option))

EXTERN void Ntr_freeTR ARGS ((DdManager *dd, NtrPartTR *TR))

EXTERN NtrPartTR *Ntr_cloneTR ARGS ((NtrPartTR *TR))

EXTERN DdNode *Ntr_getStateCube ARGS ((DdManager *dd, BnetNetwork *net, char *filename, int pr))

EXTERN int Ntr_Envelope ARGS ((DdManager *dd, NtrPartTR *TR, FILE *dfp, NtrOptions *option))

EXTERN int Ntr_TestMinimization ARGS ((DdManager *dd, BnetNetwork *net1, BnetNetwork *net2, NtrOptions *option))

EXTERN int Ntr_TestDensity ARGS ((DdManager *dd, BnetNetwork *net1, NtrOptions *option))

EXTERN double Ntr_maximum01Flow ARGS ((DdManager *bdd, DdNode *sx, DdNode *ty, DdNode *E, DdNode **F, DdNode **cut, DdNode **x, DdNode **y, DdNode **z, int n, int pr))

EXTERN NtrHeap *Ntr_InitHeap ARGS ((int size))

EXTERN void Ntr_FreeHeap ARGS ((NtrHeap *heap))

EXTERN int Ntr_HeapInsert ARGS ((NtrHeap *heap, void *item, int key))

EXTERN int Ntr_HeapExtractMin ARGS ((NtrHeap *heap, void **item, int *key))

EXTERN NtrHeap *Ntr_HeapClone ARGS ((NtrHeap *source))

EXTERN int Ntr_TestHeap ARGS ((NtrHeap *heap, int i))

Define Documentation

#define NTR_FROM_COMPACT 3

Definition at line 53 of file ntr.h.

#define NTR_FROM_NEW 0

Definition at line 50 of file ntr.h.

#define NTR_FROM_OVERAPPROX 6

Definition at line 56 of file ntr.h.

#define NTR_FROM_REACHED 1

Definition at line 51 of file ntr.h.

#define NTR_FROM_RESTRICT 2

Definition at line 52 of file ntr.h.

#define NTR_FROM_SQUEEZE 4

Definition at line 54 of file ntr.h.

#define NTR_FROM_UNDERAPPROX 5

Definition at line 55 of file ntr.h.

#define NTR_GROUP_DEFAULT 1

Definition at line 59 of file ntr.h.

#define NTR_GROUP_FIXED 2

Definition at line 60 of file ntr.h.

#define NTR_GROUP_NONE 0

Definition at line 58 of file ntr.h.

#define NTR_IMAGE_CLIP 2

Definition at line 44 of file ntr.h.

#define NTR_IMAGE_DEPEND 3

Definition at line 45 of file ntr.h.

#define NTR_IMAGE_MONO 0

Definition at line 42 of file ntr.h.

#define NTR_IMAGE_PART 1

Definition at line 43 of file ntr.h.

#define NTR_OVER_APPROX 1

Definition at line 48 of file ntr.h.

#define NTR_UNDER_APPROX 0

Definition at line 47 of file ntr.h.

#define PI_PS_DFS 1

Definition at line 39 of file ntr.h.

#define PI_PS_FROM_FILE 0

CHeaderFile*****************************************************************
FileName [ntr.h]
PackageName [ntr]
Synopsis [Simple-minded package to do traversal.]
Description []
SeeAlso []
Author [Fabio Somenzi]
Copyright [This file was created at the University of Colorado at Boulder. The University of Colorado at Boulder makes no warranty about the suitability of this software for any purpose. It is presented on an AS IS basis.]
Revision [
Id:
ntr.h,v 1.1 2002/09/17 21:59:08 dlm Exp
]
Definition at line 38 of file ntr.h.

#define PI_PS_GIVEN 2

Definition at line 40 of file ntr.h.

#define STRING_EQUAL ( s1,
s2 ) (strcmp((s1),(s2)) == 0)

Macro***********************************************************************
Synopsis [Returns 1 if the two arguments are identical strings.]
Description []
SideEffects [none]
SeeAlso []
Definition at line 206 of file ntr.h.

Typedef Documentation

typedef struct NtrHeap NtrHeap

typedef struct NtrHeapSlot NtrHeapSlot

typedef struct NtrOptions NtrOptions

typedef struct NtrPartTR NtrPartTR

Function Documentation

EXTERN int Ntr_TestHeap ARGS ( (NtrHeap *heap, int i) )

EXTERN NtrHeap* Ntr_HeapClone ARGS ( (NtrHeap *source) )

EXTERN int Ntr_HeapExtractMin ARGS ( (NtrHeap *heap, void **item, int *key) )

EXTERN int Ntr_HeapInsert ARGS ( (NtrHeap *heap, void *item, int key) )

EXTERN int Ntr_HeapCount ARGS ( (NtrHeap *heap) )

EXTERN NtrHeap* Ntr_InitHeap ARGS ( (int size) )

EXTERN double Ntr_maximum01Flow ARGS ( (DdManager *bdd, DdNode *sx, DdNode *ty, DdNode *E, DdNode **F, DdNode **cut, DdNode **x, DdNode **y, DdNode **z, int n, int pr) )

EXTERN int Ntr_TestDecomp ARGS ( (DdManager *dd, BnetNetwork *net1, NtrOptions *option) )

EXTERN int Ntr_TestClipping ARGS ( (DdManager *dd, BnetNetwork *net1, BnetNetwork *net2, NtrOptions *option) )

EXTERN int Ntr_Envelope ARGS ( (DdManager *dd, NtrPartTR *TR, FILE *dfp, NtrOptions *option) )

EXTERN DdNode* Ntr_getStateCube ARGS ( (DdManager *dd, BnetNetwork *net, char *filename, int pr) )

EXTERN NtrPartTR* Ntr_cloneTR ARGS ( (NtrPartTR *TR) )

EXTERN void Ntr_freeTR ARGS ( (DdManager *dd, NtrPartTR *TR) )

EXTERN int Ntr_testISOP ARGS ( (DdManager *dd, BnetNetwork *net, NtrOptions *option) )

EXTERN DdNode* Ntr_TransitiveClosure ARGS ( (DdManager *dd, NtrPartTR *TR, NtrOptions *option) )

EXTERN NtrPartTR* Ntr_buildTR ARGS ( (DdManager *dd, BnetNetwork *net, NtrOptions *option, int image) )

EXTERN int Ntr_buildDDs ARGS ( (BnetNetwork *net, DdManager *dd, NtrOptions *option, BnetNetwork *net2) )

AutomaticStart************************************************************

Generated on Fri Jan 14 08:29:20 2005 for SystemC2.1beta11(excludingMSLib)(IncludingSCV)\nProvidedby:www.openverificationfoundation.org by

1.2.18


Compounds
struct	NtrHeap
struct	NtrHeapSlot
struct	NtrOptions
struct	NtrPartTR
Defines
#define	PI_PS_FROM_FILE 0
#define	PI_PS_DFS 1
#define	PI_PS_GIVEN 2
#define	NTR_IMAGE_MONO 0
#define	NTR_IMAGE_PART 1
#define	NTR_IMAGE_CLIP 2
#define	NTR_IMAGE_DEPEND 3
#define	NTR_UNDER_APPROX 0
#define	NTR_OVER_APPROX 1
#define	NTR_FROM_NEW 0
#define	NTR_FROM_REACHED 1
#define	NTR_FROM_RESTRICT 2
#define	NTR_FROM_COMPACT 3
#define	NTR_FROM_SQUEEZE 4
#define	NTR_FROM_UNDERAPPROX 5
#define	NTR_FROM_OVERAPPROX 6
#define	NTR_GROUP_NONE 0
#define	NTR_GROUP_DEFAULT 1
#define	NTR_GROUP_FIXED 2
#define	STRING_EQUAL(s1, s2) (strcmp((s1),(s2)) == 0)
Typedefs
typedef NtrOptions	NtrOptions
typedef NtrHeapSlot	NtrHeapSlot
typedef NtrHeap	NtrHeap
typedef NtrPartTR	NtrPartTR
Functions
EXTERN int Ntr_buildDDs	ARGS ((BnetNetwork net, DdManager dd, NtrOptions option, BnetNetwork net2))
EXTERN NtrPartTR *Ntr_buildTR	ARGS ((DdManager dd, BnetNetwork net, NtrOptions *option, int image))
EXTERN DdNode *Ntr_TransitiveClosure	ARGS ((DdManager dd, NtrPartTR TR, NtrOptions *option))
EXTERN int Ntr_Trav	ARGS ((DdManager dd, BnetNetwork net, NtrOptions *option))
EXTERN void Ntr_freeTR	ARGS ((DdManager dd, NtrPartTR TR))
EXTERN NtrPartTR *Ntr_cloneTR	ARGS ((NtrPartTR *TR))
EXTERN DdNode *Ntr_getStateCube	ARGS ((DdManager dd, BnetNetwork net, char *filename, int pr))
EXTERN int Ntr_Envelope	ARGS ((DdManager dd, NtrPartTR TR, FILE dfp, NtrOptions option))
EXTERN int Ntr_TestMinimization	ARGS ((DdManager dd, BnetNetwork net1, BnetNetwork net2, NtrOptions option))
EXTERN int Ntr_TestDensity	ARGS ((DdManager dd, BnetNetwork net1, NtrOptions *option))
EXTERN double Ntr_maximum01Flow	ARGS ((DdManager bdd, DdNode sx, DdNode ty, DdNode E, DdNode F, DdNode cut, DdNode x, DdNode y, DdNode **z, int n, int pr))
EXTERN NtrHeap *Ntr_InitHeap	ARGS ((int size))
EXTERN void Ntr_FreeHeap	ARGS ((NtrHeap *heap))
EXTERN int Ntr_HeapInsert	ARGS ((NtrHeap heap, void item, int key))
EXTERN int Ntr_HeapExtractMin	ARGS ((NtrHeap heap, void item, int key))
EXTERN NtrHeap *Ntr_HeapClone	ARGS ((NtrHeap *source))
EXTERN int Ntr_TestHeap	ARGS ((NtrHeap *heap, int i))