public class ConcreteSuccessor extends Object
Modifier and Type | Field and Description |
---|---|
protected ConcreteState |
state |
protected ConcreteTransition[] |
transitions |
Constructor and Description |
---|
ConcreteSuccessor(ConcreteState state,
ConcreteTransition[] transitions) |
protected ConcreteState state
protected ConcreteTransition[] transitions
public ConcreteSuccessor(ConcreteState state, ConcreteTransition[] transitions)
public ConcreteState getState()
public ConcreteTransition[] getTransitions()
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.