001 package toolbus; 002 003 import aterm.AFun; 004 import aterm.ATerm; 005 import aterm.ATermList; 006 import aterm.pure.ATermApplImpl; 007 008 public abstract class AbstractTBTerm extends ATermApplImpl{ 009 protected final TBTermFactory tbfactory; 010 011 public AbstractTBTerm(TBTermFactory tbfactory, ATermList annos, AFun fun, ATerm[] args){ 012 super(tbfactory, annos, fun, args); 013 this.tbfactory = tbfactory; 014 } 015 }