ProofPrinter (Whiley Theorem Prover (WyTP) 0.6.8 API)

public class ProofPrinter
extends Object

Constructors
Constructor and Description
`ProofPrinter(OutputStream writer)`
`ProofPrinter(PrintWriter writer)`
`ProofPrinter(Writer writer)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`flush()`
`void`	`print(int depth, Proof.State step)`
`void`	`print(Proof p)`
`void`	`printBoxContents(int depth, Proof.State step)`
`ProofPrinter`	`setShowAll(boolean flag)`
`ProofPrinter`	`setWidth(int width)`
`void`	`tab(int indent)`

public ProofPrinter(OutputStream writer)

public ProofPrinter(PrintWriter writer)

public ProofPrinter setWidth(int width)

public ProofPrinter setShowAll(boolean flag)

public void print(int depth,
                  Proof.State step)

public void printBoxContents(int depth,
                             Proof.State step)

Class ProofPrinter