tip.node
Class RoutingAutomaton.Transition

java.lang.Object
  extended by tip.node.RoutingAutomaton.Transition
Enclosing class:
RoutingAutomaton<S extends Node,T extends Node>

static class RoutingAutomaton.Transition
extends java.lang.Object


Field Summary
(package private)  int[] sourceStates
           
(package private)  RoutingSymbol symbol
           
 
Constructor Summary
RoutingAutomaton.Transition(RoutingSymbol symbol, int[] sourceStates)
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

symbol

final RoutingSymbol symbol

sourceStates

final int[] sourceStates
Constructor Detail

RoutingAutomaton.Transition

RoutingAutomaton.Transition(RoutingSymbol symbol,
                            int[] sourceStates)