001    // Java tool interface RStoreContainerTif
002    // This file is generated automatically, please do not edit!
003    // generation time: Aug 14, 2007 5:22:04 PM
004    
005    package nl.cwi.sen1.visbase.rstorecontainer;
006    
007    import aterm.*;
008    
009    public interface RStoreContainerTif
010    {
011      public ATerm rcUnloadRstore(int i0);
012      public ATerm rcGetFactData(int i0, int i1);
013      public ATerm rcGetRstore(int i0);
014      public ATerm rcGetRstoreFacts(int i0);
015      public ATerm rcLoadRstore(String s0);
016      public ATerm rcLoadRstore(String s0, ATerm t1);
017      public void recAckEvent(ATerm t0);
018      public void recTerminate(ATerm t0);
019    }