------
README
------

This file is part of EST package.

This file describes, how BDD module is builded.

1. INTRODUCTION
---------------

The short name of BDD module is 'bdd'. This name is placed in front of
all filenames and external identifiers related to the module.
It may appear in all lowercase, or with its first letter capitalized,
written as 'bdd' and 'Bdd', respectively.

There are three categories of C functions:
- exported functions are visible outside the package,
- internal functions are visible to all files within the package only,
- static functions are visible to the file only.

There are two C headers, external and internal. The external header file,
named 'bdd.h', defines features visible from outside the package.
The internal header file, named 'bddInt.h' defines features used in
multiple files inside the package, but not outside.

BDD module requires one of supported general BDD package. There are several
of them free available. However, the list of supported BDD packages is
currently limited to the following ones:

- Biddy (http://lms.uni-mb.si/biddy/)
- sorry, others are not supported, yet.

2. AN OVERVIEW
--------------

BDD module consists of the following files:

  README	    	- this file
  Makefile		    - Makefile
  Makefile-Biddy    - Makefile
  Makefile.Linux	- Makefile for GNU/Linux
  Makefile.SunOS	- Makefile for Solaris
  Makefile.MINGW	- Makefile for MS Windows
  Makefile.Darwin	- Makefile for MacOSX
  bdd.def	        - symbol definition for MS Windows
  bddstubs.def      - symbol definition for MS Windows

  bdd.h
  bddInt.h
  bddMain.c
  bddRel.c
  bddUtil.c
  bddOutput.c
  bddTcl.c
  bddDialog.tcl

  bdd.decls
  bddDecls.h
  bddStubInit.c
  bddStubLib.c

3. HEADER FILES
---------------

bdd.h:

bddInt.h:


4. SOURCE FILES
---------------

bddMain.c:

bddRel.c:

bddUtil.c:

bddOutput.c:

bddTcl.c:

bddDialog.tcl:
