public static class Prover.HypProverResult extends Prover.ProverResult
Prover.HypProver
. There is a slight abuse of
inheritance here, since the subst
variable means something
different for HypProverResult than it does for ProverResult.Modifier and Type | Field and Description |
---|---|
VarHyp[] |
vars |
assrt, subst
Constructor and Description |
---|
HypProverResult(Assrt assrt,
VarHyp[] vars,
ParseNode[] subst) |
get, indexOf, set