[Yap-commits] CVS: cplint lpadsld.pl,1.10,1.11

[Fabrizio R. <rz...@us...>]

Update of /cvsroot/yap/cplint
In directory ddv4jf1.ch3.sourceforge.com:/tmp/cvs-serv29179

Modified Files:
	lpadsld.pl 
Log Message:
Removed printing of memory information

Index: lpadsld.pl
===================================================================
RCS file: /cvsroot/yap/cplint/lpadsld.pl,v
retrieving revision 1.10
retrieving revision 1.11
diff -u -r1.10 -r1.11
--- lpadsld.pl	9 Jun 2008 17:57:30 -0000	1.10
+++ lpadsld.pl	6 Feb 2009 14:06:32 -0000	1.11
@@ -70,7 +70,7 @@
 		CPUTime1 is CT1/1000,
 		statistics(walltime,[_,WT1]),
 		WallTime1 is WT1/1000,
-		print_mem,
+%		print_mem,
 		build_formula(L,Formula,[],Var,0,Conj),
 		length(L,ND),
 		length(Var,NV),
@@ -87,7 +87,7 @@
 		statistics(walltime,[_,WT2]),
 		WallTime2 is WT2/1000
 	;
-		print_mem,
+%		print_mem,
 		Prob=0.0,
 		statistics(cputime,[_,CT1]),
 		CPUTime1 is CT1/1000,
@@ -96,9 +96,9 @@
 		CPUTime2 =0.0,
 		statistics(walltime,[_,WT2]),
 		WallTime2 =0.0
-	),!,
-	format(user_error,"~nMemory after inference~n",[]),
-	print_mem.
+	),!.
+%	format(user_error,"~nMemory after inference~n",[]),
+%	print_mem.
 
 si(GoalsList,ProbL,ProbU,CPUTime):-
         statistics(cputime,[_,_]),
@@ -239,7 +239,7 @@
 	(setof(DerivE,find_deriv(Evidence,DerivE),LDupE)->
 		rem_dup_lists(LDupE,[],LE),
 		(setof(DerivGE,find_deriv_GE(LE,Goals,DerivGE),LDupGE)->
-			print_mem,
+%			print_mem,
 			rem_dup_lists(LDupGE,[],LGE),
 			build_formula(LE,FormulaE,[],VarE),
 			var2numbers(VarE,0,NewVarE),
@@ -249,15 +249,15 @@
 			call_compute_prob(NewVarGE,FormulaGE,ProbGE),
 			Prob is ProbGE/ProbE
 		;
-			print_mem,
+%			print_mem,
 			Prob=0.0
 		)
 	;
-		print_mem,
+%		print_mem,
 		Prob=undefined
-	),
-	format(user_error,"~nMemory after inference~n",[]),
-	print_mem.
+	).
+%	format(user_error,"~nMemory after inference~n",[]),
+%	print_mem.
 
 sci(Goals,Evidence,ProbL,ProbU,CPUTime):-
 	statistics(cputime,[_,_]),