public enum FunctionDeclarationKind extends Enum<FunctionDeclarationKind>
FunctionDeclarationImpl| Enum Constant and Description |
|---|
ADD
Addition over integers and rationals.
|
AND |
DISTINCT |
DIV
Division over rationals and integer division over integers.
|
EQ
Equality over integers and rationals.
|
GT
Greater-than over integers and rationals.
|
GTE
Greater-than-or-equal over integers and rationals.
|
IFF
If and only if.
|
IMPLIES |
ITE
If-then-else operator.
|
LT
Less-than over integers and rationals.
|
LTE
Less-than-or-equal over integers and rationals.
|
MODULO
Modulo operator over integers.
|
MUL
Multiplication over integers and rationals.
|
NOT |
OR |
OTHER
Solvers support a lot of different built-in theories.
|
SELECT |
STORE
Store and select on arrays
|
SUB
Subtraction over integers and rationals.
|
UF
Uninterpreted function.
|
VAR
User-defined variable.
|
XOR
Exclusive OR over two variables.
|
| Modifier and Type | Method and Description |
|---|---|
static FunctionDeclarationKind |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static FunctionDeclarationKind[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final FunctionDeclarationKind AND
public static final FunctionDeclarationKind NOT
public static final FunctionDeclarationKind OR
public static final FunctionDeclarationKind IFF
public static final FunctionDeclarationKind ITE
public static final FunctionDeclarationKind XOR
public static final FunctionDeclarationKind IMPLIES
public static final FunctionDeclarationKind DISTINCT
public static final FunctionDeclarationKind STORE
public static final FunctionDeclarationKind SELECT
public static final FunctionDeclarationKind SUB
public static final FunctionDeclarationKind ADD
public static final FunctionDeclarationKind DIV
public static final FunctionDeclarationKind MUL
public static final FunctionDeclarationKind MODULO
public static final FunctionDeclarationKind UF
public static final FunctionDeclarationKind VAR
public static final FunctionDeclarationKind LT
public static final FunctionDeclarationKind LTE
public static final FunctionDeclarationKind GT
public static final FunctionDeclarationKind GTE
public static final FunctionDeclarationKind EQ
IFF.public static final FunctionDeclarationKind OTHER
public static FunctionDeclarationKind[] values()
for (FunctionDeclarationKind c : FunctionDeclarationKind.values()) System.out.println(c);
public static FunctionDeclarationKind 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