|
From: Fabrizio R. <rz...@us...> - 2009-02-06 14:06:45
|
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,[_,_]), |