User Tools

Site Tools


stats:proc:creategrade

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:creategrade [2012/01/11 14:39]
Patrick Michel
stats:proc:creategrade [2012/08/07 17:52]
Patrick Michel
Line 11: Line 11:
   assume count(minPoints,​ //​exams/​exam[id]/​grades/​grade/​minPoints) = 0;   assume count(minPoints,​ //​exams/​exam[id]/​grades/​grade/​minPoints) = 0;
   ​   ​
-  assume //​exams/​exam[id]/​grades/​grade[x]/​value < value -> //​exams/​exam[id]/​grades/​grade[x]/​minPoints > minPoints;​ +  assume ​exists //​exams/​exam[id]/​grades/​grade[x] && ​//​exams/​exam[id]/​grades/​grade[x]/​value < value -> //​exams/​exam[id]/​grades/​grade[x]/​minPoints > minPoints;​ 
-  assume value < //​exams/​exam[id]/​grades/​grade[x]/​value -> minPoints > //​exams/​exam[id]/​grades/​grade[x]/​minPoints;​+  assume ​exists //​exams/​exam[id]/​grades/​grade[x] && ​value < //​exams/​exam[id]/​grades/​grade[x]/​value -> minPoints > //​exams/​exam[id]/​grades/​grade[x]/​minPoints;​
   ​   ​
   insert //​exams/​exam[id]/​grades <grade id=[gradeId] name=[name] value=[value] minPoints=[minPoints] />;   insert //​exams/​exam[id]/​grades <grade id=[gradeId] name=[name] value=[value] minPoints=[minPoints] />;
 } }
 </​code>​ </​code>​
- 
stats/proc/creategrade.txt · Last modified: 2013/07/10 12:43 (external edit)