Strategy primitives

round(M,rsL,rsLTO,nGas,rsTick,nTime,xPath)

=

Tick(M,rsTick,nTime,

tryObs(M,rsL,giveGas(cast(cfT),nGas),mt,false,

doAll(M,rsLTO,cast(cfT),mt,false,xPath)))

harounds(nzHT,nzHTO,nGas,nTime,nRounds,xPath)

=

simp(rounds(setHT(HELLO-TEST,nzHT,nzHTO),

netRuleSchemes@helloMsgSchemes,

helloTOSchemes,

nGas,tickRuleScheme,nTime,nRounds, xPath),

helloRules)

Previous slide

Next slide

Back to first slide

View graphic version