| Enum Constant and Description | 
|---|
ALWAYS
S is a subset of T 
 | 
MAYBE
S intersection T is non empty and S - T is nonempty 
 | 
NEVER
S intersection T is empty 
 | 
UNKNOWN
nothing definitive is known about the relation between S and T 
 | 
| Modifier and Type | Method and Description | 
|---|---|
static When | 
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. 
 | 
static When[] | 
values()
Returns an array containing the constants of this enum type, in
the order they are declared. 
 | 
public static final When ALWAYS
public static final When UNKNOWN
public static final When MAYBE
public static final When NEVER
public static When[] values()
for (When c : When.values()) System.out.println(c);
public static When 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 null