001    // Java tool interface TideControlTif
002    // This file is generated automatically, please do not edit!
003    // generation time: Feb 20, 2007 2:36:36 PM
004    
005    package nl.cwi.sen1.tide;
006    
007    import aterm.*;
008    
009    public interface TideControlTif
010    {
011      public void recTerminate(ATerm t0);
012    }