public static enum ReductionTrackerL.Rule extends java.lang.Enum<ReductionTrackerL.Rule>
Enum Constant and Description |
---|
ABSTRACTION |
ABSTRACTIONREDUCE |
LDPLACE |
LDPLACEREDUCE |
LDTRAN |
LDTRANREDUCE |
RENAME |
Modifier and Type | Method and Description |
---|---|
static ReductionTrackerL.Rule |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static ReductionTrackerL.Rule[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final ReductionTrackerL.Rule ABSTRACTION
public static final ReductionTrackerL.Rule LDPLACE
public static final ReductionTrackerL.Rule LDTRAN
public static final ReductionTrackerL.Rule ABSTRACTIONREDUCE
public static final ReductionTrackerL.Rule LDPLACEREDUCE
public static final ReductionTrackerL.Rule LDTRANREDUCE
public static final ReductionTrackerL.Rule RENAME
public static ReductionTrackerL.Rule[] values()
for (ReductionTrackerL.Rule c : ReductionTrackerL.Rule.values()) System.out.println(c);
public static ReductionTrackerL.Rule 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