public enum PropositionalConnective extends java.lang.Enum<PropositionalConnective> implements java.io.Serializable
Enum Constant and Description |
---|
AND
Conjunction.
|
EQ
IFF (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 PropositionalConnective |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static PropositionalConnective[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final PropositionalConnective NOT
public static final PropositionalConnective AND
public static final PropositionalConnective OR
public static final PropositionalConnective IMPLIES
public static final PropositionalConnective EQ
public static PropositionalConnective[] values()
for (PropositionalConnective c : PropositionalConnective.values()) System.out.println(c);
public static PropositionalConnective 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<PropositionalConnective>