public class Provers
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
Provers.ArrayProver |
static class |
Provers.UseWhenPossible
A Prover which uses the given assrt whenever it matches the current goal.
|
static interface |
Provers.UseWhenPossibleListener |