Class XTAReaderTokenManager

java.lang.Object
com.uppaal.model.io2.XTAReaderTokenManager
All Implemented Interfaces:
XTAReaderConstants

public class XTAReaderTokenManager
extends Object
implements XTAReaderConstants
Token Manager.