public static enum HoaPrintable.HoaOption extends java.lang.Enum<HoaPrintable.HoaOption>
Enum Constant | Description |
---|---|
ANNOTATIONS |
Print annotations, e.g.
|
SIMPLE_TRANSITION_LABELS |
Create one transition for each element of the AP-power-set instead of complex expressions
(which are not supported by all parsers).
|
Modifier and Type | Method | Description |
---|---|---|
static HoaPrintable.HoaOption |
valueOf(java.lang.String name) |
Returns the enum constant of this type with the specified name.
|
static HoaPrintable.HoaOption[] |
values() |
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final HoaPrintable.HoaOption ANNOTATIONS
public static final HoaPrintable.HoaOption SIMPLE_TRANSITION_LABELS
public static HoaPrintable.HoaOption[] values()
for (HoaPrintable.HoaOption c : HoaPrintable.HoaOption.values()) System.out.println(c);
public static HoaPrintable.HoaOption 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