[Xsb-commits] CVS: XSB/syslib machine.P,1.78,1.79 machine.xwam,1.36,1.37

[David S. W. <dw...@us...>]

Update of /cvsroot/xsb/XSB/syslib
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv3237

Modified Files:
	machine.P machine.xwam 
Log Message:
Fixed bug in psc_tabled, which broke predicate_property for getting tabled
properties.


Index: machine.P
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/machine.P,v
retrieving revision 1.78
retrieving revision 1.79
diff -u -r1.78 -r1.79
--- machine.P	29 Sep 2005 15:53:04 -0000	1.78
+++ machine.P	14 Oct 2005 15:58:39 -0000	1.79
@@ -82,12 +82,14 @@
 	 ->	psc_set_env(PSC, Bool, T_TABLED)
 	 ;	true
 	).
-psc_tabled(PSC, Tabled) :- psc_get_env(PSC, Tabled, T_TABLED).
+psc_tabled(PSC, Tabled) :-
+	psc_get_set_env_byte(PSC,255,0,Res), % check if either bit ot T_TABLED is on
+	(Res /\ T_TABLED =\= 0 -> Tabled = 1 ; Tabled = 0).
 
 psc_set_env(PSC,Bool,Mask) :-
 	Or is Bool*Mask, And is \(Mask),
 	psc_get_set_env_byte(PSC,And,Or,_).
-psc_get_env(PSC,Bool,Mask) :-
+psc_get_env(PSC,Bool,Mask) :-	% Checks if all bits of Mask are on
 	psc_get_set_env_byte(PSC,255,0,Res), Bool is (Res /\ Mask) // Mask.
 psc_get_set_env_byte(_PSC, _And, _Or, _Res) :- '_$builtin'(PSC_GET_SET_ENV_BYTE).
 

Index: machine.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/machine.xwam,v
retrieving revision 1.36
retrieving revision 1.37
diff -u -r1.36 -r1.37
Binary files /tmp/cvsn58eK7 and /tmp/cvseIaO62 differ