Printable (AutomataLib 0.11.0 API)

All Known Subinterfaces:

FormulaNode<L,AP>

All Known Implementing Classes:

AbstractBinaryFormulaNode, AbstractFixedPointFormulaNode, AbstractFormulaNode, AbstractModalFormulaNode, AbstractPrintable, AbstractUnaryFormulaNode, AFNode, AGNode, AndNode, AtomicNode, AUNode, AWUNode, BoxNode, DiamondNode, EFNode, EGNode, EUNode, EWUNode, FalseNode, GfpNode, LfpNode, NotNode, OrNode, Pair, Triple, TrueNode, VariableNode, Word
```
public interface Printable
```
Interface that allows outputting to an Appendable (e.g., a StringBuilder) instead of simply using Object.toString().

Method Summary

All Methods Static Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`void`	`print(Appendable a)`	Outputs the current object.
`static String`	`toString(Printable p)`

- Method Detail
  - toString
```
static String toString(Printable p)
```
  - print
```
void print(Appendable a)
    throws IOException
```
    Outputs the current object.
    
    Parameters:
    
    a - the appendable.
    
    Throws:
    
    IOException - if an error occurs during appending.