Package ptolemy.verification.kernel.maude

The ptolemy.verification.kernel.maude package.

See:
Description

Class Summary

RTMaudeUtility	This is an utility function for Ptolemy II models.
RTMExpTranslator	A Real-Time Maude Expression Translator.
RTMFragment	A Real-Time Maude fragment.
RTMList	A list of Real-Time Maude terms.
RTMObject	A Real-Time Maude object.
RTMOpTerm	A Real-Time Maude operation term.
RTMOpTermGenerator	A Real-Time Maude operation term generator.
RTMPtExp	A Real-Time Maude ptolemy term.
RTMTerm	A Real-Time Maude term.

Package ptolemy.verification.kernel.maude Description

The ptolemy.verification.kernel.maude package.

Since:

Ptolemy II 7.2