|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use StyledDocumentPrinter | |
---|---|
edu.toronto.cs.ctl | CTL Abstract Syntax Tree |
edu.toronto.cs.gui | Graphical Interaface to XChek multi-valued model-checker |
Uses of StyledDocumentPrinter in edu.toronto.cs.ctl |
---|
Methods in edu.toronto.cs.ctl with parameters of type StyledDocumentPrinter | |
---|---|
static void |
CTLStyledPrinter.print(CTLNode node,
StyledDocumentPrinter styledPrinter)
|
void |
CTLStyledPrinter.printNode(CTLNode node,
StyledDocumentPrinter styledPrinter)
|
Uses of StyledDocumentPrinter in edu.toronto.cs.gui |
---|
Methods in edu.toronto.cs.gui that return StyledDocumentPrinter | |
---|---|
StyledDocumentPrinter |
OutputPanel.getStyledPrinter()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |