---

bnet.h File Reference

#include "util.h"
#include "st.h"
#include "cudd.h"

Include dependency graph for bnet.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Compounds
struct	BnetNetwork
struct	BnetNode
struct	BnetTabline
Defines
#define	BNET_CONSTANT_NODE   0
#define	BNET_INPUT_NODE   1
#define	BNET_PRESENT_STATE_NODE   2
#define	BNET_INTERNAL_NODE   3
#define	BNET_OUTPUT_NODE   4
#define	BNET_NEXT_STATE_NODE   5
#define	BNET_LOCAL_DD   0
#define	BNET_GLOBAL_DD   1
#define	EXTERN   extern
#define	ARGS(protos)   ()
#define	TRUE   1
#define	FALSE   0
Typedefs
typedef BnetTabline	BnetTabline
typedef BnetNode	BnetNode
typedef BnetNetwork	BnetNetwork
Functions
EXTERN BnetNetwork *Bnet_ReadNetwork	ARGS ((FILE *fp, int pr))
EXTERN void Bnet_PrintNetwork	ARGS ((BnetNetwork *net))
EXTERN int Bnet_BuildNodeBDD	ARGS ((DdManager *dd, BnetNode *nd, st_table *hash, int params, int nodrop))
EXTERN int Bnet_DfsVariableOrder	ARGS ((DdManager *dd, BnetNetwork *net))
EXTERN int Bnet_bddDump	ARGS ((DdManager *dd, BnetNetwork *network, char *dfile, int dumpFmt, int reencoded))
EXTERN int Bnet_bddArrayDump	ARGS ((DdManager *dd, BnetNetwork *network, char *dfile, DdNode **outputs, char **onames, int noutputs, int dumpFmt))
EXTERN int Bnet_ReadOrder	ARGS ((DdManager *dd, char *ordFile, BnetNetwork *net, int locGlob, int nodrop))
EXTERN int Bnet_PrintOrder	ARGS ((BnetNetwork *net, DdManager *dd))

---

Define Documentation

#define ARGS (  protos    )     ()

Definition at line 139 of file bnet.h.

#define BNET_CONSTANT_NODE   0

CHeaderFile***************************************************************** FileName [bnet.h] PackageName [bnet] Synopsis [Simple-minded package to read a blif file.] 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: bnet.h,v 1.1 2002/09/17 21:59:08 dlm Exp ] Definition at line 40 of file bnet.h.

#define BNET_GLOBAL_DD   1

Definition at line 49 of file bnet.h.

#define BNET_INPUT_NODE   1

Definition at line 41 of file bnet.h.

#define BNET_INTERNAL_NODE   3

Definition at line 43 of file bnet.h.

#define BNET_LOCAL_DD   0

Definition at line 48 of file bnet.h.

#define BNET_NEXT_STATE_NODE   5

Definition at line 45 of file bnet.h.

#define BNET_OUTPUT_NODE   4

Definition at line 44 of file bnet.h.

#define BNET_PRESENT_STATE_NODE   2

Definition at line 42 of file bnet.h.

#define EXTERN   extern

Definition at line 132 of file bnet.h.

#define FALSE   0

Definition at line 147 of file bnet.h.

#define TRUE   1

Definition at line 144 of file bnet.h.

---

Typedef Documentation

typedef struct BnetNetwork BnetNetwork

typedef struct BnetNode BnetNode

typedef struct BnetTabline BnetTabline

---

Function Documentation

EXTERN int Bnet_PrintOrder ARGS (  (BnetNetwork *net, DdManager *dd)    )

EXTERN int Bnet_ReadOrder ARGS (  (DdManager *dd, char *ordFile, BnetNetwork *net, int locGlob, int nodrop)    )

EXTERN int Bnet_bddArrayDump ARGS (  (DdManager *dd, BnetNetwork *network, char *dfile, DdNode **outputs, char **onames, int noutputs, int dumpFmt)    )

EXTERN int Bnet_bddDump ARGS (  (DdManager *dd, BnetNetwork *network, char *dfile, int dumpFmt, int reencoded)    )

EXTERN int Bnet_DfsVariableOrder ARGS (  (DdManager *dd, BnetNetwork *net)    )

EXTERN int Bnet_BuildNodeBDD ARGS (  (DdManager *dd, BnetNode *nd, st_table *hash, int params, int nodrop)    )

EXTERN void Bnet_FreeNetwork ARGS (  (BnetNetwork *net)    )

EXTERN BnetNetwork* Bnet_ReadNetwork ARGS (  (FILE *fp, int pr)    )

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

---