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    }