public enum SmtKeyword extends java.lang.Enum<SmtKeyword>
Enum Constant and Description |
---|
ADD |
AND |
BVADD |
BVAND |
BVASHL |
BVASHR |
BVCONCAT |
BVEXTRACT |
BVLSHL |
BVLSHR |
BVMUL |
BVNAND |
BVNEG |
BVNOR |
BVNOT |
BVOR |
BVREPEAT |
BVROL |
BVROR |
BVSDIV |
BVSGE |
BVSGT |
BVSIGNEXT |
BVSLE |
BVSLT |
BVSMOD |
BVSREM |
BVSUB |
BVUDIV |
BVUGE |
BVUGT |
BVULE |
BVULT |
BVUREM |
BVXNOR |
BVXOR |
BVZEROEXT |
DIV |
EQ |
EQCASE |
GREATER |
GREATEREQ |
IMPL |
INT2BV |
ITE |
LESS |
LESSEQ |
MINUS |
MOD |
MUL |
NOT |
NOTEQ |
NOTEQCASE |
OR |
PLUS |
POWER |
SELECT |
STORE |
SUB |
XOR |
Modifier and Type | Method and Description |
---|---|
static boolean |
isKeyword(java.lang.String word)
Checks that the argument is a keyword in SMT-LIB language.
|
static SmtKeyword |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static SmtKeyword[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final SmtKeyword EQ
public static final SmtKeyword NOTEQ
public static final SmtKeyword EQCASE
public static final SmtKeyword NOTEQCASE
public static final SmtKeyword AND
public static final SmtKeyword OR
public static final SmtKeyword NOT
public static final SmtKeyword XOR
public static final SmtKeyword IMPL
public static final SmtKeyword ITE
public static final SmtKeyword MINUS
public static final SmtKeyword PLUS
public static final SmtKeyword ADD
public static final SmtKeyword SUB
public static final SmtKeyword MUL
public static final SmtKeyword DIV
public static final SmtKeyword MOD
public static final SmtKeyword GREATER
public static final SmtKeyword GREATEREQ
public static final SmtKeyword LESS
public static final SmtKeyword LESSEQ
public static final SmtKeyword POWER
public static final SmtKeyword BVADD
public static final SmtKeyword BVSUB
public static final SmtKeyword BVNEG
public static final SmtKeyword BVMUL
public static final SmtKeyword BVUDIV
public static final SmtKeyword BVSDIV
public static final SmtKeyword BVUREM
public static final SmtKeyword BVSREM
public static final SmtKeyword BVSMOD
public static final SmtKeyword BVLSHL
public static final SmtKeyword BVASHL
public static final SmtKeyword BVLSHR
public static final SmtKeyword BVASHR
public static final SmtKeyword INT2BV
public static final SmtKeyword BVCONCAT
public static final SmtKeyword BVREPEAT
public static final SmtKeyword BVEXTRACT
public static final SmtKeyword BVROL
public static final SmtKeyword BVROR
public static final SmtKeyword BVZEROEXT
public static final SmtKeyword BVSIGNEXT
public static final SmtKeyword BVOR
public static final SmtKeyword BVXOR
public static final SmtKeyword BVAND
public static final SmtKeyword BVNOT
public static final SmtKeyword BVNAND
public static final SmtKeyword BVNOR
public static final SmtKeyword BVXNOR
public static final SmtKeyword BVULE
public static final SmtKeyword BVULT
public static final SmtKeyword BVUGE
public static final SmtKeyword BVUGT
public static final SmtKeyword BVSLE
public static final SmtKeyword BVSLT
public static final SmtKeyword BVSGE
public static final SmtKeyword BVSGT
public static final SmtKeyword SELECT
public static final SmtKeyword STORE
public static SmtKeyword[] values()
for (SmtKeyword c : SmtKeyword.values()) System.out.println(c);
public static SmtKeyword 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 static boolean isKeyword(java.lang.String word)
word
- The object to be checked.true
if the argument is a keyword in a SMT-LIB language,
false
otherwise.