Uses of Enum Class
dev.civl.sarl.IF.config.ProverInfo.ProverKind

Packages that use ProverInfo.ProverKind

Package	Description
dev.civl.sarl.IF.config	The config module provides a SARLConfig type, which encapsulates configuration information such as the list of available theorem provers with information on each.

Uses of ProverInfo.ProverKind in dev.civl.sarl.IF.config

Methods in dev.civl.sarl.IF.config that return ProverInfo.ProverKind

Modifier and Type	Method	Description
ProverInfo.ProverKind	ProverInfo.getKind()	The kind of theorem prover this is.
static ProverInfo.ProverKind	ProverInfo.ProverKind.valueOf(String name)	Returns the enum constant of this class with the specified name.
static ProverInfo.ProverKind[]	ProverInfo.ProverKind.values()	Returns an array containing the constants of this enum class, in the order they are declared.

Methods in dev.civl.sarl.IF.config with parameters of type ProverInfo.ProverKind

Modifier and Type	Method	Description
ProverInfo	SARLConfig.getProverWithKind(ProverInfo.ProverKind kind)	Finds a prover of the given kind supported by this configuration.
void	ProverInfo.setKind(ProverInfo.ProverKind value)	Sets the prover kind.