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 57044 2010-01-27 22:41:05Z cxh $

Author:

Thomas Huining Feng

Accepted Rating:

Red (tfeng)

Proposed Rating:

Red (tfeng)

Field Summary

private java.lang.String[]

op

Constructor Summary

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

Method Summary

RTMTerm

get(RTMTerm... args)

Methods inherited from class java.lang.Object

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

Field Detail

op

private java.lang.String[] op

Constructor Detail

RTMOpTermGenerator

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

Method Detail

get

public RTMTerm get(RTMTerm... args)