From: Terrance S. <ts...@us...> - 2009-05-12 16:45:24
|
Update of /cvsroot/xsb/XSB/packages/altCDF/mknf In directory fdv4jf1.ch3.sourceforge.com:/tmp/cvs-serv31578 Modified Files: mknf_chkCon.P Log Message: Index: mknf_chkCon.P =================================================================== RCS file: /cvsroot/xsb/XSB/packages/altCDF/mknf/mknf_chkCon.P,v retrieving revision 1.1 retrieving revision 1.2 diff -u -r1.1 -r1.2 --- mknf_chkCon.P 12 May 2009 12:34:15 -0000 1.1 +++ mknf_chkCon.P 12 May 2009 16:45:16 -0000 1.2 @@ -346,6 +346,7 @@ getRelevantFacts_1(Id,maxAttr(Id,R,C,N)):- maxAttr(Id,R,C,N). getRelevantFacts_1(Id,necessCond(Id,Cond)):- +% necessCond(Id,Cond). mknf_necessCond(Id,Cond). %getRelevantFacts_1(Id,(H <= B)):- % compdlrule(_,H,B), |