Package relaxngcc.automaton
Class Head
java.lang.Object
relaxngcc.automaton.Head
Place holder for the description of HEAD(x).
HEAD(x) is defined for both states and transitions.
Informally, HEAD(t) is a set of all non-reference alphabets that can cause a valid transition by 't'. Similarly, HEAD(s) is a set of all non-reference alphabets that can cause a valid transition from 's'.
- Author:
- Kohsuke Kawaguchi (kk@kohsuke.org)
-
Field Summary
FieldsModifier and TypeFieldDescriptionstatic final Object
A special alphabet that means "all other alphabets". -
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
EVERYTHING_ELSE
A special alphabet that means "all other alphabets".
-
-
Constructor Details
-
Head
public Head()
-