Package | Description |
---|---|
de.uni_due.inf.ti.raven.actions |
General Action Classes.
|
Constructor and Description |
---|
PrintDotAction(DotPrinter printer,
Graph graph)
Creates an action which prints a graph to a given printer.
|
PrintDotAction(DotPrinter printer,
RavenBDD bdd)
Creates an action which prints a BDD to a given printer.
|