Constructor and Description |
---|
CallEdge(State state)
Constructs a new edge object.
|
Modifier and Type | Method and Description |
---|---|
State |
getState()
Returns the state at this edge.
|
void |
setState(State s)
Sets the state at this edge.
|
Copyright © 2009-2019 Aarhus University