Uses of Enum Class
com.articulate.sigma.KBmanager.Prover

Packages that use KBmanager.Prover

Package	Description
com.articulate.sigma	Provides classes for the Sigma knowledge engineering environment version developed at Articulate Software Inc.

Uses of KBmanager.Prover in com.articulate.sigma

Fields in com.articulate.sigma declared as KBmanager.Prover

Modifier and Type	Field	Description
KBmanager.Prover	KBmanager.prover

Methods in com.articulate.sigma that return KBmanager.Prover

Modifier and Type	Method	Description
static KBmanager.Prover	KBmanager.Prover.valueOf(String name)	Returns the enum constant of this class with the specified name.
static KBmanager.Prover[]	KBmanager.Prover.values()	Returns an array containing the constants of this enum class, in the order they are declared.