ptolemy.verification.kernel.maude

Class RTMOpTermGenerator

java.lang.Object

ptolemy.verification.kernel.maude.RTMOpTermGenerator

public class RTMOpTermGenerator
extends java.lang.Object

A Real-Time Maude operation term generator.

Since:

Ptolemy II 8.0

Version:

$Id: RTMOpTermGenerator.java 70398 2014-10-22 23:44:32Z cxh $

Author:

Thomas Huining Feng

Accepted Rating:

Red (tfeng)

Proposed Rating:

Red (tfeng)

Constructor Summary

Constructors

Constructor and Description
RTMOpTermGenerator(java.lang.String... operator)

Method Summary

Modifier and Type	Method and Description
RTMTerm	get(RTMTerm... args)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RTMOpTermGenerator

public RTMOpTermGenerator(java.lang.String... operator)

Method Detail

get

public RTMTerm get(RTMTerm... args)