public final class ProofC extends CommandBase
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
Name |
Constructor and Description |
---|
ProofC(Identifier ident)
Create a "proof" command.
|
Modifier and Type | Method and Description |
---|---|
void |
printCore(java.io.PrintWriter out)
Prints text representation on out (without new line termination).
|
void |
process()
Process command: print proof of formula respectively current proof
|
getName, toCommand, toNode, toString
public static final java.lang.String Name
public ProofC(Identifier ident)
ident
- identifier of corresponding formula (null, if current
proof is processed)public void process()
public void printCore(java.io.PrintWriter out)
printCore
in class CommandBase
out
- the stream on which the text is written