| Method and Description |
|---|
| com.uppaal.model.io2.SimpleCharStream.getColumn() |
| com.uppaal.model.io2.SimpleCharStream.getLine() |
| com.uppaal.model.system.symbolic.SymbolicState.getLocationVector()
Replaced by
SystemState.getLocations() |
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.