Package ptolemy.codegen.rtmaude.data.expr

The ptolemy.codegen.rtmaude.data.expr package.

See:
Description

Class Summary

PropertyParameter	The PropertyParameter is a StringParameter with RTMaude LTL formula.
Variable	Generate RTMaude code for a Variable in DE domain.

Package ptolemy.codegen.rtmaude.data.expr Description

The ptolemy.codegen.rtmaude.data.expr package.

Since:

Ptolemy II 7.2