Package | Description |
---|---|
de.uni_due.inf.ti.raven.io |
Classes to load, save and print data.
|
Modifier and Type | Class and Description |
---|---|
class |
DotPrinter
This class provides methods to print BDDs, cospan decompositions or graphs to files in
DOT format.
|