Constructor and Description |
---|
PrintAction(AutomatonPrinter printer,
Automaton automaton)
Creates an action which prints an automaton to a given printer.
|
PrintAction(BDDPrinter printer,
RavenBDD bdd)
Creates an action which prints a BDD to a given printer.
|
PrintAction(CospanPrinter printer,
Cospan cospan)
Creates an action which prints a cospan to a given printer.
|
PrintAction(DecompositionPrinter printer,
CospanDecomposition decomposition)
Creates an action which prints a graph decomposition to a given printer.
|
PrintAction(DecompositionPrinter printer,
GraphDecomposition decomposition)
Creates an action which prints a graph decomposition to a given printer.
|
PrintAction(GraphPrinter printer,
Graph graph)
Creates an action which prints a graph to a given printer.
|
PrintAction(SignaturePrinter printer,
Signature signature)
Creates an action which prints a signature to a given printer.
|
public PrintAction(AutomatonPrinter printer, Automaton automaton)
printer
- the printer to be usedautomaton
- the automaton to be printedpublic PrintAction(BDDPrinter printer, RavenBDD bdd)
printer
- the printer to be usedbdd
- the BDD to be printedpublic PrintAction(CospanPrinter printer, Cospan cospan)
printer
- the printer to be usedcospan
- the cospan to be printedpublic PrintAction(DecompositionPrinter printer, CospanDecomposition decomposition)
printer
- the printer to be useddecomposition
- the graph decomposition to be printedpublic PrintAction(GraphPrinter printer, Graph graph)
printer
- the printer to be usedgraph
- the graph to be printedpublic PrintAction(DecompositionPrinter printer, GraphDecomposition decomposition)
printer
- the printer to be useddecomposition
- the graph decomposition to be printedpublic PrintAction(SignaturePrinter printer, Signature signature)
printer
- the printer to be usedsignature
- the signature to be printed