Biddy  1.7.1
An academic Binary Decision Diagrams package
biddyInt.h File Reference

File biddyInt.h contains declaration of internal data structures. More...

#include "biddy.h"
#include <assert.h>
#include <string.h>
#include <ctype.h>
#include <gmp.h>

Go to the source code of this file.

Detailed Description

File biddyInt.h contains declaration of internal data structures.

Description

PackageName [Biddy]
Synopsis    [Biddy provides data structures and algorithms for the
             representation and manipulation of Boolean functions with
             ROBDDs. A hash table is used for quick search of nodes.
             Complement edges decreases the number of nodes. An automatic
             garbage collection with a system age is implemented.
             Variable swapping and sifting are implemented.]

FileName    [biddyInt.h]
Revision    [$Revision: 255 $]
Date        [$Date: 2017-03-20 19:48:30 +0100 (pon, 20 mar 2017) $]
Authors     [Robert Meolic (robert.meolic@um.si),
             Ales Casar (ales@homemade.net)]

Copyright

Copyright (C) 2006, 2017 UM-FERI, Smetanova ulica 17, SI-2000 Maribor, Slovenia

Biddy is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.

Biddy is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.

More info

See also: biddy.h

Definition in file biddyInt.h.