Package relaxngcc.builder
Class TransitionTable.Entry
- java.lang.Object
-
- relaxngcc.builder.TransitionTable.Entry
-
- Enclosing class:
- TransitionTable
public static class TransitionTable.Entry extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field Description java.util.Vector
alphabets
Transition
transition
-
Constructor Summary
Constructors Constructor Description Entry(Transition tr, Alphabet a)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addAlphabet(Alphabet a)
-
-
-
Field Detail
-
transition
public Transition transition
-
alphabets
public java.util.Vector alphabets
-
-
Constructor Detail
-
Entry
public Entry(Transition tr, Alphabet a)
-
-
Method Detail
-
addAlphabet
public void addAlphabet(Alphabet a)
-
-