public enum OrdState extends Enum<OrdState>
Enum Constant and Description |
---|
GEN
State of the HiddersMichiels - automaton.
|
GENSIB
State of the HiddersMichiels - automaton.
|
LIN
State of the HiddersMichiels - automaton.
|
MAX1
State of the HiddersMichiels - automaton.
|
SIB
State of the HiddersMichiels - automaton.
|
UNORD
State of the HiddersMichiels - automaton.
|
Modifier and Type | Method and Description |
---|---|
void |
init()
Initializes the order state.
|
OrdState |
updateOrdAncestor()
Changes the state according to a ancestor step.
|
OrdState |
updateOrdChild()
Changes the state according to a child step.
|
OrdState |
updateOrdDesc()
Changes the state according to a descendant/ descendant-or.self step.
|
OrdState |
updateOrdFollPre()
Changes the state according to a following/preceding step.
|
OrdState |
updateOrdFollPreSib()
Changes the state according to a following-sibling/preceding-sibling
step.
|
OrdState |
updateOrdParent()
Changes the state according to a parent step.
|
OrdState |
updateOrdUnion()
Changes the state according to a union step.
|
static OrdState |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static OrdState[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final OrdState LIN
public static final OrdState MAX1
public static final OrdState GENSIB
public static final OrdState GEN
public static final OrdState SIB
public static final OrdState UNORD
public static OrdState[] values()
for (OrdState c : OrdState.values()) System.out.println(c);
public static OrdState valueOf(String name)
name
- the name of the enum constant to be returned.IllegalArgumentException
- if this enum type has no constant
with the specified nameNullPointerException
- if the argument is nullpublic OrdState updateOrdChild()
public OrdState updateOrdUnion()
public OrdState updateOrdParent()
public OrdState updateOrdDesc()
public OrdState updateOrdFollPre()
public OrdState updateOrdFollPreSib()
public OrdState updateOrdAncestor()
public void init()
Copyright © 2013. All Rights Reserved.