Package com.uppaal.engine

Provides support for connecting to the UPPAAL verification backend, the primary class to use is the Engine class.

Interface Summary

Interface	Description
Job
Protocol
QueryFeedback	Defines the interface to receive feedback from a verifier.

Class Summary

Class	Description
DotProtocol	This class implements the interface 'protocol'
Engine	State-less wrapper for a UPPAAL server connection.
EngineStub	A thin stub for the server protocol.
KeyValueProtocol	IMPORTANT
LexicalAnalyser	Lexical analyzer used by EngineStub.
Parser	Simple recursive decent parser for the communication protocol.
Problem	A representation of a syntax error or warning.
QueryResult	The verification result of the query

Enum Summary

Enum	Description
KeyValueProtocol.Service

Exception Summary

Exception	Description
CannotEvaluateException	The exception class for 'transition'
EngineException
ProtocolException
ServerException