toolbus.atom
Class Ref

java.lang.Object
  toolbus.atom.Ref

public class Ref
extends java.lang.Object

Field Summary

aterm.ATerm

value

Constructor Summary

Ref(aterm.ATerm at)

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

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

Field Detail

value

public aterm.ATerm value

Constructor Detail

Ref

public Ref(aterm.ATerm at)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object