public enum TermType extends Enum<TermType>
| Enum Constant and Description |
|---|
Array |
Bitvector |
Boolean |
FloatingPoint |
Integer |
Real |
Uninterpreted |
| Modifier and Type | Method and Description |
|---|---|
static TermType |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static TermType[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final TermType Boolean
public static final TermType Uninterpreted
public static final TermType Integer
public static final TermType Real
public static final TermType FloatingPoint
public static final TermType Bitvector
public static final TermType Array
public static TermType[] values()
for (TermType c : TermType.values()) System.out.println(c);
public static TermType valueOf(String name)
name - the name of the enum constant to be returned.IllegalArgumentException - if this enum type has no constant with the specified nameNullPointerException - if the argument is null