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
Next revision
Previous revision
stats:proc:addparticipant [2012/01/11 14:40]
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 ​//​accounts/​account/​student[studentId];+  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)