Deprecated API

Contents

• Methods

Methods

Method	Description
com.uppaal.model.io2.SimpleCharStream.getColumn()
com.uppaal.model.io2.SimpleCharStream.getLine()
com.uppaal.model.system.symbolic.SymbolicState.getLocationVector()	Replaced by SystemState.getLocations()