Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

algorithms
Class StateIdFactory

java.lang.Object
  extended by algorithms.StateIdFactory

public class StateIdFactory
extends java.lang.Object

Constructor Summary
StateIdFactory()
           
 
Method Summary
static StateManager.StateId createId(java.lang.String name)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

StateIdFactory

public StateIdFactory()
Method Detail

createId

public static StateManager.StateId createId(java.lang.String name)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD