toolbus.tifs
Class Eval

java.lang.Object
  toolbus.tifs.Communication
      toolbus.tifs.Eval

public class Eval
extends Communication

Constructor Summary

Eval(aterm.ATerm t)

Method Summary

java.lang.String	getResultType()
java.lang.String	toString()

Methods inherited from class toolbus.tifs.Communication

create, fetchArgumentIterator, getName, getRepresentation

Methods inherited from class java.lang.Object

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

Constructor Detail

Eval

public Eval(aterm.ATerm t)

Method Detail

getResultType

public java.lang.String getResultType()

Overrides:

getResultType in class Communication

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object