Prover.AssrtProver, Prover.HypProver, Prover.HypProverResult, Prover.ProverResult
Constructor and Description |
---|
ArrayProver() |
Modifier and Type | Method and Description |
---|---|
void |
addProver(Prover.AssrtProver prover) |
Prover.ProverResult |
prove(mmj.transforms.WorksheetInfo info,
ParseNode root)
Prove the given expression from scratch.
|
abstract java.lang.String |
selectProver(mmj.transforms.WorksheetInfo info,
ParseNode root) |
public void addProver(Prover.AssrtProver prover)
public Prover.ProverResult prove(mmj.transforms.WorksheetInfo info, ParseNode root)
Prover
null
if this prover doesn't know how to prove the theorem
using its assrt, or the list of hypothesis subgoals that result.public abstract java.lang.String selectProver(mmj.transforms.WorksheetInfo info, ParseNode root)