Class TokenMgrError

java.lang.Object
java.lang.Throwable
java.lang.Error
org.tweetyproject.preferences.io.TokenMgrError
All Implemented Interfaces:
Serializable

public class TokenMgrError extends Error
Token Manager Error.
See Also: