Class Hierarchy
- java.lang.Object
- com.uppaal.engine.DotProtocol (implements com.uppaal.engine.Protocol)
- com.uppaal.engine.Engine
- com.uppaal.engine.EngineStub
- com.uppaal.engine.KeyValueProtocol (implements com.uppaal.engine.Protocol)
- com.uppaal.engine.LexicalAnalyser
- com.uppaal.engine.Parser
- com.uppaal.engine.Problem
- com.uppaal.engine.QueryResult
- java.lang.Throwable (implements java.io.Serializable)
- java.lang.Exception
- com.uppaal.engine.CannotEvaluateException
- com.uppaal.engine.EngineException
- com.uppaal.engine.ProtocolException
- com.uppaal.engine.ServerException
- java.lang.Exception
Interface Hierarchy
- com.uppaal.engine.Job
- com.uppaal.engine.Protocol
- com.uppaal.engine.QueryFeedback
Enum Hierarchy
- java.lang.Object
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
- com.uppaal.engine.KeyValueProtocol.Service
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)