# Ludwig script of naive 3-counter implementation # Requires Ludwig 1.0 # PGL 18/9/98 FORK = FILE "fork.ndf" DW31 = FILE "3-1-decision-wait.ndf" MERGE = FILE "merge.ndf" IWIRE = FILE "i-wire.ndf" C3 = FILE "3-counter.ndf" F0 = RENAME [a? b! c!] TO [c00? m0! a1!] IN FORK F1 = RENAME [a? b! c!] TO [c10? m1! a2!] IN FORK F2 = RENAME [a? b! c!] TO [c20? q! x!] IN FORK M = RENAME [a? b? c!] TO [ m0? m1? p!] IN MERGE DW = RENAME [b0?] TO [a?] IN DW31 I = RENAME [a? b!] TO [x? a0!] IN IWIRE COMP = DW || F0 || F1 || F2 || I || M MYC3 = MINIMIZE COMP PRINT "andif" MYC3 # now verify wether we got it right: QUERY TAKE MYC3 FROM C3