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$

Author:

Thomas Huining Feng

Pt.AcceptedRating:

Red (tfeng)

Pt.ProposedRating:

Red (tfeng)

- Constructor Summary
  
  Constructors
  Constructor Description
  
  RTMOpTermGenerator(java.lang.String... operator)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method 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)