ptolemy.verification.kernel.maude
Class RTMOpTerm

java.lang.Object
  ptolemy.verification.kernel.maude.RTMTerm
      ptolemy.verification.kernel.maude.RTMOpTerm

public class RTMOpTerm
extends RTMTerm

A Real-Time Maude operation term.

Since:

Ptolemy II 8.0

Version:

$Id: RTMOpTerm.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
private RTMTerm[]	terms

Fields inherited from class ptolemy.verification.kernel.maude.RTMTerm

indentWidth

Constructor Summary

protected

RTMOpTerm(java.lang.String[] op, RTMTerm[] args)

Method Summary

java.lang.String

print(int indent, boolean newline)

Methods inherited from class ptolemy.verification.kernel.maude.RTMTerm

front, transId

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

terms

private RTMTerm[] terms

Constructor Detail

RTMOpTerm

protected RTMOpTerm(java.lang.String[] op,
                    RTMTerm[] args)

Method Detail

print

public java.lang.String print(int indent,
                              boolean newline)

Specified by:

print in class RTMTerm