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

profiling

Browse Source
This commit is contained in:
Vítor Santos Costa
2013-10-16 16:19:03 +01:00
parent 94cb9b7563
commit 5ad10a1057
8 changed files with 83 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
packages/cuda/cuda.c
View File

@@ -395,6 +395,12 @@ static int cuda_count( void )
return YAP_Unify(YAP_ARG2, YAP_MkIntTerm(n));
}
static int cuda_statistics( void )
{
Cuda_Statistics();
return TRUE;
}
static int first_time = TRUE;
void
@@ -417,5 +423,6 @@ init_cuda(void)
YAP_UserCPredicate("cuda_eval", cuda_eval, 2);
YAP_UserCPredicate("cuda_coverage", cuda_coverage, 4);
YAP_UserCPredicate("cuda_count", cuda_count, 2);
YAP_UserCPredicate("cuda_statistics", cuda_statistics, 0);
}