Class Head

java.lang.Object
relaxngcc.automaton.Head

public class Head extends Object
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 Details

    • EVERYTHING_ELSE

      public static final Object EVERYTHING_ELSE
      A special alphabet that means "all other alphabets".
  • Constructor Details

    • Head

      public Head()