mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 01:13:30 +00:00
75ff9d58c5
Estimated hours taken: 0.2 Import Peter Schachte's ROBDD package into the Mercury repository as `mercury/robdd'. Vendor tag is `robdd'. Release tag is `REL_1_0'.
26 lines
890 B
Plaintext
26 lines
890 B
Plaintext
This directory contains source code for handling Reduced Ordered
|
|
Binary Decision Diagrams (ROBDDs). bryant.c contains almost all of
|
|
the code; bryantPrint.c contains only code for printing ROBDDs.
|
|
|
|
This code could really use a good spring cleaning. My apologies for
|
|
not taking the time to do that yet. Much of the complication of the
|
|
code stems from maintaining several different versions of the code in
|
|
a single file. For users of this code these versions are probably not
|
|
very interesting. They are there for experimenting with various
|
|
implementations.
|
|
|
|
|
|
Building the ROBDD code:
|
|
|
|
A Makefile is provided; if you just wish to link the ROBDD code with
|
|
your own code, making bryant.o and maybe bryantPrint.o should be
|
|
enough.
|
|
|
|
If you wish to use this ROBDD code as part of my groundness analyzer,
|
|
then you just want to do
|
|
|
|
make bryant.so
|
|
|
|
and then move bryant.so to ../analyzer/rep.so
|
|
|