001    /**
002     * @author paulk, Jul 26, 2002
003     */
004    package toolbus.process;
005    
006    import toolbus.TBTermFactory;
007    import toolbus.atom.Delta;
008    import toolbus.parsercup.PositionInformation;
009    import aterm.ATerm;
010    
011    public class IfThen extends IfElse{
012            
013            public IfThen(ATerm test, ProcessExpression Pthen, TBTermFactory tbfactory, PositionInformation posInfo){
014                    super(test, Pthen, new Delta(tbfactory, posInfo), tbfactory, posInfo);
015            }
016    }