toolbus.tifs
Class Do

java.lang.Object
  toolbus.tifs.Communication
      toolbus.tifs.Do

public class Do
extends Communication

Constructor Summary

Do(aterm.ATerm t)

Method Summary

java.lang.String

toString()

Methods inherited from class toolbus.tifs.Communication

create, fetchArgumentIterator, getName, getRepresentation, getResultType

Methods inherited from class java.lang.Object

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

Constructor Detail

Do

public Do(aterm.ATerm t)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object