Enum Constant and Description |
---|
Autocomplete
Means that logical hypotheses list should be empty and autocompleted by
autocomplete feature.
|
Correct
Means that logical hypotheses should be left in the original order.
|
HalfReverse
Means that the first half of logical hypotheses should be emitted in
canonical order, but the second part should be emitted in reverse order.
|
Randomized
Means that logical hypotheses should be randomized on exported proof
steps.
|
Reverse
Means that logical hypotheses should be emitted in reverse order.
|
SomeOrder
Means that the logical hypotheses should be emitted in some order,
depending on current debug goals.
|
Modifier and Type | Method and Description |
---|---|
abstract void |
reorder(java.lang.String[] hypStep) |
static HypsOrder |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static HypsOrder[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final HypsOrder Correct
public static final HypsOrder Randomized
public static final HypsOrder Reverse
public static final HypsOrder HalfReverse
public static final HypsOrder Autocomplete
This is not the order, actually. The generated derivation step will not have the hypotheses list - it should be autocompleted!
public static final HypsOrder SomeOrder
public static HypsOrder[] values()
for (HypsOrder c : HypsOrder.values()) System.out.println(c);
public static HypsOrder 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 abstract void reorder(java.lang.String[] hypStep)