Class Summary |
LocationVarEntry |
Entity class representing a location variable entry in an SSM Schema definition XML stream. |
SSMHandler |
Deprecated. Use WSDLSSMFactory instead! |
SSMHelper |
Helper class containing different static utilities for conversion, etc. |
SSMSchemaModel |
This class takes an SSM schema definition URL, parses the stream and
builds a memory object model of the data found in the schema instance. |
SwitchEntry |
Entity class representing a switch entry in an SSM Schema definition XML stream. |
WSDLSSMFactory |
Factory class for generating a SymbolicTransitionSystem, if an SSM schema
definition URL is given. |