relaxngcc.builder
Class TransitionTable.Entry

java.lang.Object
  extended by relaxngcc.builder.TransitionTable.Entry
Enclosing class:
TransitionTable

public static class TransitionTable.Entry
extends java.lang.Object


Field Summary
 java.util.Vector alphabets
           
 Transition transition
           
 
Constructor Summary
TransitionTable.Entry(Transition tr, Alphabet a)
           
 
Method Summary
 void addAlphabet(Alphabet a)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

transition

public Transition transition

alphabets

public java.util.Vector alphabets
Constructor Detail

TransitionTable.Entry

public TransitionTable.Entry(Transition tr,
                             Alphabet a)
Method Detail

addAlphabet

public void addAlphabet(Alphabet a)