xmc.H

00001 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
00002 %%
00003 %%                      X M C  System
00004 %%              (C) 1998-1999, SUNY at Stony Brook
00005 %%
00006 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
00007 
00008 :- import str_cat/3 from string.
00009 %:- import models/2 from mucalculus.
00010 
00011 :- import parse/3 from xlparse.
00012 :- import typecheck/1 from typecheck.
00013 :- import comp_form/0 from formula.
00014 :- import xlcomp/0 from comp.
00015 
00016 :- import startstate/2, fdef/2 from usermod.

Generated on Wed Jul 26 13:30:46 2006 for XSB by  doxygen 1.4.5