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 }