public static enum SMTTermQuant.Quant extends java.lang.Enum<SMTTermQuant.Quant>
Modifier and Type | Method and Description |
---|---|
SMTTermQuant.Quant |
sign(boolean pol) |
static SMTTermQuant.Quant |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static SMTTermQuant.Quant[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final SMTTermQuant.Quant FORALL
public static final SMTTermQuant.Quant EXISTS
public static SMTTermQuant.Quant[] values()
for (SMTTermQuant.Quant c : SMTTermQuant.Quant.values()) System.out.println(c);
public static SMTTermQuant.Quant valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is nullpublic SMTTermQuant.Quant sign(boolean pol)