File:BDD simple.svg
From Wikimedia Commons, the free media repository
BDD_simple.svg (SVG file, nominally 189 × 241 pixels, file size: 5 KB)
[edit] Summary
| Description |
BDD graph for the Boolean formula -x1 * -x2 * -x3 + x1 * x2 + x2 * x3 |
|---|---|
| Date |
20 October 2005 |
| Source |
self-made using CrocoPat, a tool for relational programming, and GraphViz dot, a tool for graph layout |
| Author | |
| Permission (Reusing this image) |
GFDL and cc-by-sa-2.5 |
| Other versions | From [1]; PNG version at image:BDD simple.png |
[edit] Summary
Other BDD pictures:
 BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a good variable ordering |
 BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a bad variable ordering |
 Visualization of the BDD for the Boolean formula x1 * x2 + x3 * x4 + ... + x19 * x20 using a bad variable ordering |
The following is the RML (Relational Manipulation Language) code that I fed to CrocoPat to produce the GraphViz dot files:
// RML program to generate a BDD graph for the formula
// !x1 & !x2 & !x3 | x1 & x2 | x2 & x3,
// using the variable ordering <x1, x2, x3>.
// "crocopat -e BDD_simple.rml" generates a file in dot format.
// "dot -Tsvg BDD_simple.dot -o BDD_Variable_Ordering_Bad.svg"
// generates a file in SVG format from the file in dot format.
// There are two ('Boolean') values for the variables x1, x2, x3.
DOM("0");
DOM("1");
// F is the name of the Boolean formula.
F(x1,x2,x3) := (x1="0" & x2="0" & x3="0")
| (x1="1" & x2="1")
| (x2="1" & x3="1");
// Prints the BDD as graph in GraphViz dot format.
PRINT GRAPH( F(x1,x2,x3) ) TO "BDD_simple.dot";
[edit] Licensing
|
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 18:35, 5 March 2007 | | 189×241 (5 KB) | Brighterorange (talk | contribs) | |
| 18:18, 5 March 2007 |  | 256×256 (5 KB) | Brighterorange (talk | contribs) | ({{Information| |Description = BDD graph for the Boolean formula -x1 * -x2 * -x3 + x1 * x2 + x2 * x3 |Source = self-made using [http://directory.fsf.org/math/CrocoPat.html CrocoPat], a tool for relational programming, and GraphViz dot, a tool for graph) |
- Edit this file using an external application (See the setup instructions for more information)
File links
The following 2 pages link to this file:
Global file usage
The following other wikis use this file:
- Usage of BDD simple.svg on enwiki
![[1]](http://mtc.epfl.ch/~beyer/CrocoPat/BDD-Visualization/BDD_simple.svg){kind=link}
