Serializable
, Comparable<Operator>
public enum Operator extends Enum<Operator>
Enum Constant | Description |
---|---|
Add |
|
And |
|
Assign |
|
Cut |
|
Debug |
|
Div |
|
Dot |
|
Eq |
|
ForAll |
|
Geq |
|
Gt |
|
In |
|
Isa |
|
Leq |
|
Lt |
|
Mod |
|
Mul |
|
Neq |
|
New |
|
Not |
|
Or |
|
Print |
|
Rem |
|
Sub |
|
Unify |
Modifier and Type | Method | Description |
---|---|---|
static Operator |
valueOf(String name) |
Returns the enum constant of this type with the specified name.
|
static Operator[] |
values() |
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final Operator Eq
public static final Operator Geq
public static final Operator Gt
public static final Operator Leq
public static final Operator Lt
public static final Operator Neq
public static final Operator Add
public static final Operator And
public static final Operator Assign
public static final Operator Cut
public static final Operator Debug
public static final Operator Div
public static final Operator Dot
public static final Operator ForAll
public static final Operator In
public static final Operator Isa
public static final Operator Mod
public static final Operator Mul
public static final Operator New
public static final Operator Not
public static final Operator Or
public static final Operator Print
public static final Operator Rem
public static final Operator Sub
public static final Operator Unify
public static Operator[] values()
for (Operator c : Operator.values()) System.out.println(c);
public static Operator 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 nullCopyright © 2021. All rights reserved.