Uses of Enum Class
com.articulate.sigma.tp.Vampire.Logic
Packages that use Vampire.Logic
-
Uses of Vampire.Logic in com.articulate.sigma.tp
Fields in com.articulate.sigma.tp declared as Vampire.LogicMethods in com.articulate.sigma.tp that return Vampire.LogicModifier and TypeMethodDescriptionstatic Vampire.LogicReturns 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.