public abstract class ProofCommandBase extends CommandBase implements ProofCommand
Constructor and Description |
---|
ProofCommandBase(java.lang.String name)
construct proof command with denoted name.
|
Modifier and Type | Method and Description |
---|---|
void |
process()
apply command to current state of current proof.
|
ProofState[] |
process(ProofState state)
process proof state (in environment denoted by that state).
|
getName, printCore, toCommand, toNode, toString
public ProofCommandBase(java.lang.String name)
name
- the name of the proof commandpublic final ProofState[] process(ProofState state)
process
in interface ProofCommand
state
- the state to which the proof command is applied
(remains unchanged)