Package com.uppaal.engine

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

See: Description

Interface Summary

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

Class Summary

Class	Description
DotProtocol
Engine	State-less wrapper for a UPPAAL server connection.
EngineStub	A thin stub for the server protocol.
KeyValueProtocol
LexicalAnalyser	Lexical analyser used by EngineStub.
Parser	Simple recursive decent parser for the communication protocol.
Problem	A representation of a syntax error or warning.

Enum Summary

Enum	Description
KeyValueProtocol.Service

Exception Summary

Exception	Description
EngineException
ProtocolException
ServerException

Package com.uppaal.engine Description

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