Package | Description |
---|---|
jtabwb.launcher |
Implementation of a command line launcher for provers.
|
Modifier and Type | Method and Description |
---|---|
<T extends _Prover> |
Launcher.configTheoremProver(java.lang.String name,
java.lang.Class<T> prover)
Adds to this launcher a theorem prover with the specified name and
implementation.
|
<T extends _Prover> |
Launcher.configTheoremProver(java.lang.String name,
java.lang.Class<T> prover,
boolean isDefault)
Adds a theorem prover with the specified name and implementation to this
launcher specifying if it is (
isDefault==true ) or not (
isDefault==false ) the default prover for this launcher. |