Uses of Enum Class
com.articulate.sigma.tp.Vampire.Logic

Packages that use Vampire.Logic

Package	Description
com.articulate.sigma.tp

Uses of Vampire.Logic in com.articulate.sigma.tp

Fields in com.articulate.sigma.tp declared as Vampire.Logic

Modifier and Type	Field	Description
Vampire.Logic	Vampire.logic

Methods in com.articulate.sigma.tp that return Vampire.Logic

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