Uses of Enum Class
dev.civl.sarl.IF.type.SymbolicIntegerType.IntegerKind

Packages that use SymbolicIntegerType.IntegerKind

Package	Description
dev.civl.sarl.IF.type	The type package provides interfaces for all of the symbolic types.

Uses of SymbolicIntegerType.IntegerKind in dev.civl.sarl.IF.type

Methods in dev.civl.sarl.IF.type that return SymbolicIntegerType.IntegerKind

Modifier and Type	Method	Description
SymbolicIntegerType.IntegerKind	SymbolicIntegerType.integerKind()	a method to return the kind of the integer type.
static SymbolicIntegerType.IntegerKind	SymbolicIntegerType.IntegerKind.valueOf(String name)	Returns the enum constant of this class with the specified name.
static SymbolicIntegerType.IntegerKind[]	SymbolicIntegerType.IntegerKind.values()	Returns an array containing the constants of this enum class, in the order they are declared.