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,[_,_]),
|
