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.
|
public PrintDotAction(DotPrinter printer, Graph graph)
printer
- the printer to be usedgraph
- the graph to be printedpublic PrintDotAction(DotPrinter printer, RavenBDD bdd)
printer
- the printer to be usedbdd
- the BDD to be printed