Enum SmtKeyword
- java.lang.Object
-
- java.lang.Enum<SmtKeyword>
-
- ru.ispras.fortress.expression.printer.SmtKeyword
-
- All Implemented Interfaces:
java.io.Serializable
,java.lang.Comparable<SmtKeyword>
public enum SmtKeyword extends java.lang.Enum<SmtKeyword>
This class contains SMT-LIBv2 language keywords.
-
-
Enum Constant Summary
Enum Constants Enum Constant 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
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method 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.
-
-
-
Enum Constant Detail
-
EQ
public static final SmtKeyword EQ
-
NOTEQ
public static final SmtKeyword NOTEQ
-
EQCASE
public static final SmtKeyword EQCASE
-
NOTEQCASE
public static final SmtKeyword NOTEQCASE
-
AND
public static final SmtKeyword AND
-
OR
public static final SmtKeyword OR
-
NOT
public static final SmtKeyword NOT
-
XOR
public static final SmtKeyword XOR
-
IMPL
public static final SmtKeyword IMPL
-
ITE
public static final SmtKeyword ITE
-
MINUS
public static final SmtKeyword MINUS
-
PLUS
public static final SmtKeyword PLUS
-
ADD
public static final SmtKeyword ADD
-
SUB
public static final SmtKeyword SUB
-
MUL
public static final SmtKeyword MUL
-
DIV
public static final SmtKeyword DIV
-
MOD
public static final SmtKeyword MOD
-
GREATER
public static final SmtKeyword GREATER
-
GREATEREQ
public static final SmtKeyword GREATEREQ
-
LESS
public static final SmtKeyword LESS
-
LESSEQ
public static final SmtKeyword LESSEQ
-
POWER
public static final SmtKeyword POWER
-
BVADD
public static final SmtKeyword BVADD
-
BVSUB
public static final SmtKeyword BVSUB
-
BVNEG
public static final SmtKeyword BVNEG
-
BVMUL
public static final SmtKeyword BVMUL
-
BVUDIV
public static final SmtKeyword BVUDIV
-
BVSDIV
public static final SmtKeyword BVSDIV
-
BVUREM
public static final SmtKeyword BVUREM
-
BVSREM
public static final SmtKeyword BVSREM
-
BVSMOD
public static final SmtKeyword BVSMOD
-
BVLSHL
public static final SmtKeyword BVLSHL
-
BVASHL
public static final SmtKeyword BVASHL
-
BVLSHR
public static final SmtKeyword BVLSHR
-
BVASHR
public static final SmtKeyword BVASHR
-
INT2BV
public static final SmtKeyword INT2BV
-
BVCONCAT
public static final SmtKeyword BVCONCAT
-
BVREPEAT
public static final SmtKeyword BVREPEAT
-
BVEXTRACT
public static final SmtKeyword BVEXTRACT
-
BVROL
public static final SmtKeyword BVROL
-
BVROR
public static final SmtKeyword BVROR
-
BVZEROEXT
public static final SmtKeyword BVZEROEXT
-
BVSIGNEXT
public static final SmtKeyword BVSIGNEXT
-
BVOR
public static final SmtKeyword BVOR
-
BVXOR
public static final SmtKeyword BVXOR
-
BVAND
public static final SmtKeyword BVAND
-
BVNOT
public static final SmtKeyword BVNOT
-
BVNAND
public static final SmtKeyword BVNAND
-
BVNOR
public static final SmtKeyword BVNOR
-
BVXNOR
public static final SmtKeyword BVXNOR
-
BVULE
public static final SmtKeyword BVULE
-
BVULT
public static final SmtKeyword BVULT
-
BVUGE
public static final SmtKeyword BVUGE
-
BVUGT
public static final SmtKeyword BVUGT
-
BVSLE
public static final SmtKeyword BVSLE
-
BVSLT
public static final SmtKeyword BVSLT
-
BVSGE
public static final SmtKeyword BVSGE
-
BVSGT
public static final SmtKeyword BVSGT
-
SELECT
public static final SmtKeyword SELECT
-
STORE
public static final SmtKeyword STORE
-
-
Method Detail
-
values
public static SmtKeyword[] values()
Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:for (SmtKeyword c : SmtKeyword.values()) System.out.println(c);
- Returns:
- an array containing the constants of this enum type, in the order they are declared
-
valueOf
public static SmtKeyword valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)- Parameters:
name
- the name of the enum constant to be returned.- Returns:
- the enum constant with the specified name
- Throws:
java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is null
-
isKeyword
public static boolean isKeyword(java.lang.String word)
Checks that the argument is a keyword in SMT-LIB language.- Parameters:
word
- The object to be checked.- Returns:
true
if the argument is a keyword in a SMT-LIB language,false
otherwise.
-
-