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.