public class ConfiguredTheoremProver extends java.lang.Object implements ferram.rtoptions._NamedArgument<java.lang.Class<_Prover>>
Constructor and Description |
---|
ConfiguredTheoremProver(java.lang.String name,
java.lang.String description,
java.lang.Class<_Prover> value) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getDescription()
Returns the description given to the prover in the launcher configuration.
|
java.lang.String |
getName()
Returns the name given to the prover in the launcher configuration.
|
java.lang.Class<_Prover> |
getValue()
Returns the class of the prover.
|
public ConfiguredTheoremProver(java.lang.String name, java.lang.String description, java.lang.Class<_Prover> value)
public java.lang.String getName()
getName
in interface ferram.rtoptions._NamedArgument<java.lang.Class<_Prover>>
public java.lang.String getDescription()
getDescription
in interface ferram.rtoptions._NamedArgument<java.lang.Class<_Prover>>