[Xsb-commits] CVS: XSB/emu context.h,1.61,1.62

[Terrance S. <ts...@us...>]

Update of /cvsroot/xsb/XSB/emu
In directory sc8-pr-cvs10.sourceforge.net:/tmp/cvs-serv32167

Modified Files:
	context.h 
Log Message:
Adding a few pointers to the thread context for smodels.


Index: context.h
===================================================================
RCS file: /cvsroot/xsb/XSB/emu/context.h,v
retrieving revision 1.61
retrieving revision 1.62
diff -u -r1.61 -r1.62
--- context.h	4 Sep 2007 00:49:08 -0000	1.61
+++ context.h	28 Sep 2007 21:28:37 -0000	1.62
@@ -145,7 +145,6 @@
 #define MAX_REGS 257
 
 /************************************************************************/
-
 struct th_context
 {
 /* System & user Flags */
@@ -194,6 +193,12 @@
   int _asynint_code;
   int _asynint_val;
 
+  CPtr _smodels;
+  CPtr _api;
+  CPtr _atoms;    
+  int _curatom;
+  int _totatoms;
+
   /*********** Global Variables for various tries --- some of this may
   be able to be changed to local variables.  Regarray size is the size
   of the reg_array, used for expanding the reg_array (and is