diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

trace the total number of choice-points created in profiling mode.

Browse Source
This commit is contained in:
Vítor Santos Costa
2011-02-08 21:02:10 +00:00
parent 7fd6faea64
commit d0a5571900
7 changed files with 36 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
C/tracer.c
View File

@@ -372,6 +372,16 @@ static Int p_start_low_level_trace(void)
return(TRUE);
}
static Int p_total_choicepoints(void)
{
return Yap_unify(MkIntegerTerm(Yap_total_choicepoints),ARG1);
}
static Int p_reset_total_choicepoints(void)
{
Yap_total_choicepoints = 0;
}
static Int p_show_low_level_trace(void)
{
fprintf(stderr,"Call counter=%lld\n",vsc_count);
@@ -414,6 +424,8 @@ Yap_InitLowLevelTrace(void)
#endif
Yap_InitCPred("stop_low_level_trace", 0, p_stop_low_level_trace, SafePredFlag);
Yap_InitCPred("show_low_level_trace", 0, p_show_low_level_trace, SafePredFlag);
Yap_InitCPred("total_choicepoints", 1, p_total_choicepoints, SafePredFlag);
Yap_InitCPred("reset_total_choicepoints", 0, p_reset_total_choicepoints, SafePredFlag);
Yap_InitCPred("vsc_wait", 0, p_vsc_wait, SafePredFlag);
}