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$

Author:

Thomas Huining Feng

Pt.AcceptedRating:

Red (tfeng)

Pt.ProposedRating:

Red (tfeng)

Field Summary

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

indentWidth

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	RTMOpTerm(java.lang.String[] op, RTMTerm[] args)

Method Summary

Modifier and Type	Method and Description
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

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