001 package toolbus.atom; 002 003 import aterm.ATerm; 004 005 public class Ref{ 006 public ATerm value; 007 008 public Ref(ATerm at){ 009 this.value = at; 010 } 011 012 public String toString(){ 013 return "Ref(" + value + ")"; 014 } 015 }