public abstract static class Prover.AssrtProver extends java.lang.Object implements Prover
Prover.prove(WorksheetInfo, ParseNode)
method describes one stage of
this, with an input goal and output an assrt and a list of subgoals.Prover.AssrtProver, Prover.HypProver, Prover.HypProverResult, Prover.ProverResult
Constructor and Description |
---|
AssrtProver(Assrt assrt) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |