User Tools

Site Tools


stats:proc:addparticipant

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
stats:proc:addparticipant [2012/05/22 09:59]
Patrick Michel
stats:proc:addparticipant [2012/06/06 15:32]
Patrick Michel
Line 7: Line 7:
  
   assume exists //​exams/​exam[id];​ # implicitly true in OO implementations   assume exists //​exams/​exam[id];​ # implicitly true in OO implementations
-  assume ​exists ​count (studentId, //​accounts/​account/​student/​id) = 1;+  assume count (studentId, //​accounts/​account/​student/​id) = 1;
   ​   ​
   assume not exists //​exams/​exam[id]/​results/​participant[studentId];​   assume not exists //​exams/​exam[id]/​results/​participant[studentId];​
stats/proc/addparticipant.txt ยท Last modified: 2013/07/10 12:34 (external edit)