public static enum RewriterFactory.RewriterEnum extends java.lang.Enum<RewriterFactory.RewriterEnum>
Enum Constant | Description |
---|---|
FAIRNESS |
|
MODAL |
|
MODAL_ITERATIVE |
|
PULLUP_X |
|
PUSHDOWN_X |
Modifier and Type | Method | Description |
---|---|---|
java.util.function.Function<Formula,Formula> |
getRewriter() |
|
static RewriterFactory.RewriterEnum |
valueOf(java.lang.String name) |
Returns the enum constant of this type with the specified name.
|
static RewriterFactory.RewriterEnum[] |
values() |
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final RewriterFactory.RewriterEnum MODAL
public static final RewriterFactory.RewriterEnum PULLUP_X
public static final RewriterFactory.RewriterEnum MODAL_ITERATIVE
public static final RewriterFactory.RewriterEnum PUSHDOWN_X
public static final RewriterFactory.RewriterEnum FAIRNESS
public static RewriterFactory.RewriterEnum[] values()
for (RewriterFactory.RewriterEnum c : RewriterFactory.RewriterEnum.values()) System.out.println(c);
public static RewriterFactory.RewriterEnum 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