See: Description
Interface | Description |
---|---|
Job | |
Protocol | |
QueryFeedback |
Defines the interface to receive feedback from a verifier.
|
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.
|
QueryVerificationResult |
The verification result of the query
|
Enum | Description |
---|---|
KeyValueProtocol.Service |
Exception | Description |
---|---|
CannotEvaluateException |
The exception class for 'transition'
|
EngineException | |
ProtocolException | |
ServerException |
Copyright © 2014 Uppsala University and Aalborg University. All Rights Reserved.