Sophie: mona-examples-1.4r13-3.fc12 x86

mona-examples-1.4r13-3.fc12.x86_64.rpm

Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse

var1 i,j,k;

((j>k => i=0) &
 (j<=k => ((j+1<k => i=j+1) &
           (j+1=k => i=0) &
           ((j=k & k>1) => i=1) &
           ((j=k & k<=1) => i=0))))

 <=>

i=j+1%k;