public enum ModalConnective extends java.lang.Enum<ModalConnective> implements java.io.Serializable
Enum Constant and Description |
---|
AND
Conjunction.
|
BOX
Box
|
DIA
Dia (diamond)
|
EQ
If-and-only-if (Biconditional).
|
IMPLIES
Implication.
|
NOT
Negation.
|
OR
Disjunction.
|
Modifier and Type | Method and Description |
---|---|
int |
arity() |
java.lang.String |
getName() |
boolean |
isCommutative() |
java.lang.String |
toString() |
static ModalConnective |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static ModalConnective[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final ModalConnective NOT
public static final ModalConnective AND
public static final ModalConnective OR
public static final ModalConnective IMPLIES
public static final ModalConnective EQ
public static final ModalConnective BOX
public static final ModalConnective DIA
public static ModalConnective[] values()
for (ModalConnective c : ModalConnective.values()) System.out.println(c);
public static ModalConnective 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 java.lang.String getName()
public int arity()
public boolean isCommutative()
public java.lang.String toString()
toString
in class java.lang.Enum<ModalConnective>