public class PredecessorResolver extends Object
Constructor and Description |
---|
PredecessorResolver(StateMachine s) |
public PredecessorResolver(StateMachine s)
public Set<Transition> getPredecessors(State s)
Copyright © 2008-2012 Anders Møller & Mathias Schwarz.